Securing Proof-of-Stake Blockchain Protocols
Snow White: Provably Secure Proofs of Stake.