It certainly explains why checkpoints were introduced! Nxt et. al. improved checkpoints by making transactions irreversible after 720 blocks. In fact, cynicSOB was invited to try attacking Nxt after he managed to double-spend a minor PoS alt.
Thanks to you both for your informative replies.
I should point out that these are decentralised checkpoints: every client is hardcoded not to allow reorganisations more than 720 blocks deep. Any attempt to do so for behind this (i.e. 'simply' take the keys of old accounts and build 'a better chain') are prevented from doing so.
I am surprised at cynicSOB's comments since this has been discussed with him previously. I for one would like him to finish his work if possible > https://nxtforum.org/testnet/nxt-security-audit-attack-simulations-on-testnet/
I don't think Nxt is as he expected it but would still like a small write up of any findings (none of his claims have stood up to scrutiny so far). I find many people talk about POS but don't realise there are multiply implementations of it. Akin to me asserting there are serious issues with scrypt POW and using that as evidence as why Bitcoin isn't secure.