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 28 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 32 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ć 58 628 0 06 Jul 2017
A Framework for Certified Self-Stabilization K. Altisen P. Corbineau Stéphane Devismes 42 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

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.