v1v2 (latest)

Correctness Analysis of IBFT

22 January 2019

Papers citing "Correctness Analysis of IBFT"

4 / 4 papers shown

Title
IBFT 2.0: A Safe and Live Variation of the IBFT Blockchain Consensus Protocol for Eventually Synchronous Networks Roberto Saltini David Hyland-Wood 44 21 0 23 Sep 2019
Formal Verification of Blockchain Byzantine Fault Tolerance Pierre Tholoniat Vincent Gramoli 48 2 0 16 Sep 2019
Atomic Crosschain Transactions for Ethereum Private Sidechains Peter Robinson David Hyland-Wood Roberto Saltini S. Johnson John G. Brainard LRM 70 46 0 26 Apr 2019
The Attack of the Clones Against Proof-of-Authority Parinya Ekparinya Vincent Gramoli Guillaume Jourjon 61 82 0 26 Feb 2019