Sybil attacks on identity-augmented Proof-of-Stake[J] COMPUTER NETWORKS 2021(199) Platt, Moritz McBurney, Peter
Validation and Verification of Smart Contracts: A Research Agenda[J] COMPUTER 2017(50) Magazzeni, Daniele McBurney, Peter Nash, William