Formal Verification of Blockchain Byzantine Fault Tolerance

Formal Verification of Blockchain Byzantine Fault Tolerance

16 September 2019

Pierre Tholoniat

Vincent Gramoli

Papers citing "Formal Verification of Blockchain Byzantine Fault Tolerance"

13 / 13 papers shown

Title
On the correctness of Egalitarian Paxos P. Sutra 28 19 0 26 Jun 2019
The Consensus Number of a Cryptocurrency (Extended Version) R. Guerraoui Petr Kuznetsov M. Monti Matej Pavlovic Dragos-Adrian Seredinschi 51 134 0 13 Jun 2019
Correctness Analysis of IBFT Roberto Saltini David Hyland-Wood 30 19 0 22 Jan 2019
Evaluating the Red Belly Blockchain Tyler Crain Christopher Natoli Vincent Gramoli 44 34 0 31 Dec 2018
Dissecting Tendermint Yackolley Amoussou-Guenou Antonella del Pozzo M. Potop-Butucaru Sara Tucci-Piergiovanni 34 42 0 26 Sep 2018
The latest gossip on BFT consensus Ethan Buchman Jae Kwon Zarko Milosevic 54 336 0 13 Jul 2018
Correctness and Fairness of Tendermint-core Blockchains Yackolley Amoussou-Guenou Antonella del Pozzo M. Potop-Butucaru Sara Tucci-Piergiovanni 46 33 0 22 May 2018
Analysis of the XRP Ledger Consensus Protocol Brad Chase Ethan MacBrough 34 123 0 20 Feb 2018
Revisiting Fast Practical Byzantine Fault Tolerance Ittai Abraham Guy Golan Gueta Dahlia Malkhi Lorenzo Alvisi R. Kotla Jean-Philippe Martin 40 106 0 04 Dec 2017
Casper the Friendly Finality Gadget Vitalik Buterin V. Griffith 50 620 0 25 Oct 2017
Blockchain Consensus Protocols in the Wild Christian Cachin Marko Vukolić 60 627 0 06 Jul 2017
A Framework for Certified Self-Stabilization K. Altisen P. Corbineau Stéphane Devismes 44 19 0 27 Oct 2016
A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms I. Konnov Marijana Lazić H. Veith Josef Widder 25 76 0 18 Aug 2016