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 条
  • [31] Brief Announcement: Computability and Anonymous Storage-Efficient Consensus with an Abstract MAC Layer
    Tseng, Lewis
    Zhang, Qinzi
    PROCEEDINGS OF THE 2022 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, PODC 2022, 2022, : 265 - 267
  • [32] Brief Announcement. The Price of Anonymity: Optimal Consensus despite Asynchrony, Crash and Anonymity
    Bonnet, Francois
    Raynal, Michel
    PODC'09: PROCEEDINGS OF THE 2009 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2009, : 294 - 295
  • [33] Brief Announcement: Decoupled and Consensus-Free Reconfiguration for Fault-Tolerant Storage
    Alchieri, Eduardo
    Bessani, Alysson
    Greve, Fabiola
    Fraga, Joni
    DISTRIBUTED COMPUTING, DISC 2012, 2012, 7611 : 443 - +
  • [34] Holistic Research on Blockchain's Consensus Protocol Mechanisms with Security and Concurrency Analysis Aspects of CPS
    Bhattacharjya, Aniruddha
    Wisniewski, Remigiusz
    Nidumolu, Venkatram
    ELECTRONICS, 2022, 11 (17)
  • [35] Brief announcement: Towards modular verification of stabilisation in self-adaptive embedded systems
    Schaefer, Ina
    Poetzsch-Heffter, Arnd
    STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS, 2006, 4280 : 584 - +
  • [36] Brief announcement.
    Alexander, S
    DEUTSCHE MEDIZINISCHE WOCHENSCHRIFT, 1928, 54 : 1261 - 1261
  • [37] Blockchain Assisted Data Edge Verification With Consensus Algorithm for Machine Learning Assisted IoT
    Vaiyapuri, Thavavel
    Shankar, K.
    Rajendran, Surendran
    Kumar, Sachin
    Acharya, Srijana
    Kim, Hyunil
    IEEE ACCESS, 2023, 11 : 55370 - 55379
  • [38] Formal verification of persistence and liveness in the trust-based blockchain crowdsourcing consensus protocol
    Afzaal, Hamra
    Imran, Muhammad
    Janjua, Muhammad Umar
    COMPUTER COMMUNICATIONS, 2022, 192 : 384 - 401
  • [39] Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset
    Basu, Ananda
    Bonakdarpour, Borzoo
    Bozga, Marius
    Sifakis, Joseph
    DISTRIBUTED COMPUTING, PROCEEDINGS, 2009, 5805 : 174 - 175
  • [40] Blockchain, Cryptography, and Consensus
    Cachin, Christian
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (261): : 1 - 1
12345