Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2206.04489
Cited By
Holistic Verification of Blockchain Consensus
International Symposium on Distributed Computing (DISC), 2022
9 June 2022
N. Bertrand
Vincent Gramoli
I. Konnov
Marijana Lazić
Pierre Tholoniat
Josef Widder
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Holistic Verification of Blockchain Consensus"
4 / 4 papers shown
Verifying Randomized Consensus Protocols with Common Coins
Dependable Systems and Networks (DSN), 2024
Song Gao
Bohua Zhan
Zhilin Wu
Lijun Zhang
256
1
0
26 Sep 2024
Stabl: Blockchain Fault Tolerance
V. Gramoli
R. Guerraoui
A. Lebedev
Gauthier Voron
217
4
0
20 Sep 2024
Reusable Formal Verification of DAG-based Consensus Protocols
Nathalie Bertrand
Pranav Ghorpade
Sasha Rubin
Bernhard Scholz
Pavle Subotić
228
6
0
02 Jul 2024
Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata
Tom Baumeister
Paul Eichler
Swen Jacobs
Mouhammad Sakr
Marcus Völp
173
1
0
28 Jun 2024
1
Page 1 of 1
