Holistic Verification of Blockchain Consensus

9 June 2022

Vincent Gramoli

Papers citing "Holistic Verification of Blockchain Consensus"

4 / 4 papers shown

Title
Verifying Randomized Consensus Protocols with Common Coins Song Gao Bohua Zhan Zhilin Wu Lijun Zhang 113 0 0 26 Sep 2024
Stabl: Blockchain Fault Tolerance V. Gramoli R. Guerraoui A. Lebedev Gauthier Voron 29 0 0 20 Sep 2024
Reusable Formal Verification of DAG-based Consensus Protocols Nathalie Bertrand Pranav Ghorpade Sasha Rubin Bernhard Scholz Pavle Subotić 58 2 0 02 Jul 2024
Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata Tom Baumeister Paul Eichler Swen Jacobs Mouhammad Sakr Marcus Völp 20 1 0 28 Jun 2024