Formal Analysis of a Proof-of-Stake Blockchain.

Wai Yan Maung Maung Thin, Naipeng Dong, Guangdong Bai, Jin Song Dong

Browse the full ICECCS paper archive.