Casper the Friendly Ghost: A "Correct-by-Construction" Blockchain Consensus Protocol - SBC '19 Скачать
Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts - BPASE '18 Скачать
Liquidity.Network and REVIVE: Secure Payment Hubs supporting Off-Blockchain Rebalancing - BPASE '18 Скачать