Brief Announcement: Holistic Verification of Blockchain Consensus

被引：3
|
作者：
Bertrand, Nathalie [1 ]
Gramoli, Vincent [2 ]
Konnov, Igor [3 ]
Lazic, Marijana [4 ]
Tholoniat, Pierre [5 ]
Widder, Josef [6 ]
机构：
[1] Univ Rennes, INRIA, CNRS, IRISA, Rennes, France
[2] Univ Sydney, Sydney, Australia
[3] Informal Syst, Vienna, Austria
[4] Tech Univ Munich, Munich, Germany
[5] Columbia Univ, New York, NY USA
[6] Informal Syst, Vienna, Austria
来源：
PROCEEDINGS OF THE 2022 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, PODC 2022 | 2022年
关键词：
D O I：
10.1145/3519270.3538468
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：424 / 426
页数：3
相关论文
共 50 条
  • [1] Self-stabilizing Byzantine Consensus for Blockchain (Brief Announcement)
    Binun, Alexander
    Dolev, Shlomi
    Hadad, Tal
    CYBER SECURITY CRYPTOGRAPHY AND MACHINE LEARNING, CSCML 2019, 2019, 11527 : 106 - 110
  • [2] Brief Announcement: Hierarchical Consensus
    Bengfort, Benjamin
    Keleher, Pete
    PROCEEDINGS OF THE ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC'17), 2017, : 355 - 357
  • [3] Brief Announcement: The Recoverable Consensus Hierarchy
    Golab, Wojciech
    PROCEEDINGS OF THE 2019 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC '19), 2019, : 212 - 214
  • [4] Brief Announcement: Object Oriented Consensus
    Afek, Yehuda
    Aspnes, James
    Cohen, Edo
    Vainstein, Danny
    PROCEEDINGS OF THE ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC'17), 2017, : 367 - 369
  • [5] Brief Announcement Blockguard: Adaptive Blockchain Security
    Rai, Shishir
    Hood, Kendric
    Nesterenko, Mikhail
    Sharma, Gokarna
    STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, SSS 2019, 2019, 11914 : 296 - 300
  • [6] Brief Announcement: Improved Consensus in Quantum Networks
    Hajiaghayi, MohammadTaghi
    Kowalski, Dariusz R.
    Olkowski, Jan
    PROCEEDINGS OF THE 2023 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, PODC 2023, 2023, : 286 - 289
  • [7] Brief Announcement: Anonymity, Failures, Detectors and Consensus
    Bouzid, Zohir
    Travers, Corentin
    DISTRIBUTED COMPUTING, DISC 2012, 2012, 7611 : 427 - +
  • [8] Brief Announcement: On the Uncontended Complexity of Anonymous Consensus
    Capdevielle, Claire
    Johnen, Colette
    Kuznetsov, Petr
    Milani, Alessia
    DISTRIBUTED COMPUTING (DISC 2015), 2015, 9363 : 667 - 668
  • [9] Brief Announcement: Consensus and Efficient Passive Replication
    Junqueira, Flavio
    Serafini, Marco
    DISTRIBUTED COMPUTING, DISC 2012, 2012, 7611 : 425 - 426
  • [10] Brief Announcement: A Tight Space Bound for Consensus
    Zhu, Leqi
    PROCEEDINGS OF THE 2016 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC'16), 2016, : 147 - 149
12345