Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1909.07453
Cited By
v1
v2 (latest)
Formal Verification of Blockchain Byzantine Fault Tolerance
16 September 2019
Pierre Tholoniat
Vincent Gramoli
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Formal Verification of Blockchain Byzantine Fault Tolerance"
1 / 1 papers shown
Title
Loosely-self-stabilizing Byzantine-tolerant Binary Consensus for Signature-free Message-passing Systems
Chryssis Georgiou
Ioannis Marcoullis
Michel Raynal
E. Schiller
127
10
0
26 Mar 2021
1
