Brief Announcement: Holistic Verification of Blockchain Consensus - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2022

Dates and versions

hal-03819744 , version 1 (18-10-2022)

Identifiers

Cite

Nathalie Bertrand, Vincent Gramoli, Igor Konnov, Marijana Lazić, Josef Widder, et al.. Brief Announcement: Holistic Verification of Blockchain Consensus. PODC 2022 - 41st ACM Symposium on Principles of Distributed Computing, Jul 2022, Salerno, Italy. pp.1-2, ⟨10.1145/3519270.3538468⟩. ⟨hal-03819744⟩
46 View
49 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More