Towards automated verification of multi-party consensus protocols

4 December 2021

Papers citing "Towards automated verification of multi-party consensus protocols"

4 / 4 papers shown

Title
Fast Probabilistic Consensus with Weighted Votes Sebastian Müller A. Penzkofer B. Kusmierz Darcy Camargo William J. Buchanan 110 17 0 01 Jun 2020
Scaling Hyperledger Fabric Using Pipelined Execution and Sparse Peers Parth Thakkar Senthil Nathan 35 27 0 11 Mar 2020
Exploiting statistical dependencies of time series with hierarchical correlation reconstruction J. Duda AI4TS 23 13 0 11 Jul 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 53 3,640 0 30 Jan 2018