Holistic Verification of Blockchain Consensus

Holistic Verification of Blockchain Consensus

9 June 2022

Vincent Gramoli

Marijana Lazić

Pierre Tholoniat

Papers citing "Holistic Verification of Blockchain Consensus"

10 / 10 papers shown

Title
Complexity of Verification and Synthesis of Threshold Automata A. Balasubramanian Javier Esparza Marijana Lazić 8 11 0 13 Jul 2020
Towards a Verified Model of the Algorand Consensus Protocol in Coq Musab A. Alturki Jia Chen Victor Luchangco Brandon M. Moore Karl Palmskog Lucas Peña Grigore Roşu 14 15 0 11 Jul 2019
On the correctness of Egalitarian Paxos P. Sutra 13 19 0 26 Jun 2019
Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics Idan Berkovits Marijana Lazić Giuliano Losa Oded Padon Sharon Shoham 18 38 0 19 May 2019
Anonymity Preserving Byzantine Vector Consensus Christian Cachin Daniels Collins Tyler Crain Vincent Gramoli 21 9 0 26 Feb 2019
Reducing asynchrony to synchronized rounds A. Damian Cezara Dragoi Alexandru Militaru Josef Widder 11 33 0 19 Apr 2018
Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains Elli Androulaki Artem Barger V. Bortnikov Christian Cachin K. Christidis ... A. Sorniotti C. Stathakopoulou Marko Vukolić S. Cocco Jason Yellick 45 3,625 0 30 Jan 2018
Revisiting Fast Practical Byzantine Fault Tolerance Ittai Abraham Guy Golan Gueta Dahlia Malkhi Lorenzo Alvisi R. Kotla Jean-Philippe Martin 26 105 0 04 Dec 2017
Parameterized Verification of Algorithms for Oblivious Robots on a Ring Arnaud Sangnier Nathalie Sznajder M. Potop-Butucaru Sébastien Tixeuil 8 19 0 16 Jun 2017
A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms I. Konnov Marijana Lazić H. Veith Josef Widder 16 76 0 18 Aug 2016