Reusable Formal Verification of DAG-based Consensus Protocols

2 July 2024

Papers citing "Reusable Formal Verification of DAG-based Consensus Protocols"

3 / 3 papers shown

Title
Cordial Miners: Fast and Efficient Consensus for Every Eventuality I. Keidar O. Naor Ouri Poupko Ehud Shapiro 27 25 0 18 May 2022
Formal Verification of a Distributed Dynamic Reconfiguration Protocol William Schultz Ian Dardik S. Tripakis 27 11 0 24 Sep 2021
All You Need is DAG I. Keidar Eleftherios Kokoris-Kogias O. Naor Alexander Spiegelman 46 204 0 16 Feb 2021