research
∙
10/05/2020
Specification of the Giskard Consensus Protocol
The Giskard consensus protocol is used to validate transactions and comp...
share
research
∙
07/11/2019
Towards a Verified Model of the Algorand Consensus Protocol in Coq
The Algorand blockchain is a secure and decentralized public ledger base...
research
∙
10/25/2018
All-Path Reachability Logic
This paper presents a language-independent proof system for reachability...
research
∙
04/04/2018
