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 条
  • [41] The Future of Blockchain Consensus
    Gramoli, Vincent
    Tang, Qiang
    COMMUNICATIONS OF THE ACM, 2023, 66 (07) : 79 - 80
  • [42] The Future of Blockchain Consensus
    Gramoli, Vincent
    Tang, Qiang
    COMMUNICATIONS OF THE ACM, 2024, 67 (07) : 79 - 80
  • [43] Blockchain Contract: A Complete Consensus using Blockchain
    Watanabe, Hiroki
    Fujimura, Shigeru
    Nakadaira, Atsushi
    Miyazaki, Yasuhiko
    Akutsu, Akihito
    Kishigami, Jay
    2015 IEEE 4TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS (GCCE), 2015, : 577 - 578
  • [44] Evolution of blockchain consensus algorithms: a review on the latest milestones of blockchain consensus algorithms
    Hussein, Ziad
    Salama, May A.
    El-Rahman, Sahar A.
    CYBERSECURITY, 2023, 6 (01)
  • [45] Evolution of blockchain consensus algorithms: a review on the latest milestones of blockchain consensus algorithms
    Ziad Hussein
    May A. Salama
    Sahar A. El-Rahman
    Cybersecurity, 6
  • [46] Brief Announcement: Gracefully Degrading Consensus and k-Set Agreement under Dynamic Link Failures
    Schwarz, Manfred
    Winkler, Kyrill
    Schmid, Ulrich
    Biely, Martin
    Robinson, Peter
    PROCEEDINGS OF THE 2014 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC'14), 2014, : 341 - 343
  • [47] Brief Announcement: Monotonic Stabilization
    Yamauchi, Yukiko
    Tixeuil, Sebastien
    PODC 2010: PROCEEDINGS OF THE 2010 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2010, : 406 - 407
  • [48] Brief Announcement: Linearizability: A Typo
    Sela, Gal
    Herlihy, Maurice
    Petrank, Erez
    PROCEEDINGS OF THE 2021 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC '21), 2021, : 561 - 564
  • [49] Brief Announcement: Open Cilk
    Schardl, Tao B.
    Lee, I-Ting Angelina
    Leiserson, Charles E.
    SPAA'18: PROCEEDINGS OF THE 30TH ACM SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES, 2018, : 351 - 353
  • [50] Brief Announcement: Suffix Analysis
    Luck, Carter
    McGuffey, Charles
    PROCEEDINGS OF THE 36TH ACM SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES, SPAA 2024, 2024, : 301 - 303
12345