{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T13:20:56Z","timestamp":1775913656924,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":4,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,20]],"date-time":"2022-07-20T00:00:00Z","timestamp":1658275200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000923","name":"Australian Research Council","doi-asserted-by":"publisher","award":["180100496"],"award-info":[{"award-number":["180100496"]}],"id":[{"id":"10.13039\/501100000923","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,7,20]]},"DOI":"10.1145\/3519270.3538468","type":"proceedings-article","created":{"date-parts":[[2022,7,21]],"date-time":"2022-07-21T16:23:51Z","timestamp":1658420631000},"page":"424-426","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Brief Announcement: Holistic Verification of Blockchain Consensus"],"prefix":"10.1145","author":[{"given":"Nathalie","family":"Bertrand","sequence":"first","affiliation":[{"name":"INRIA, Rennes, France"}]},{"given":"Vincent","family":"Gramoli","sequence":"additional","affiliation":[{"name":"University of Sydney, Sydney, Australia"}]},{"given":"Igor","family":"Konnov","sequence":"additional","affiliation":[{"name":"Informal Systems, Vienna, Austria"}]},{"given":"Marijana","family":"Lazic","sequence":"additional","affiliation":[{"name":"TUM, Munich, Germany"}]},{"given":"Pierre","family":"Tholoniat","sequence":"additional","affiliation":[{"name":"Columbia University, New York City, NY, USA"}]},{"given":"Josef","family":"Widder","sequence":"additional","affiliation":[{"name":"Informal Systems, Vienna, Austria"}]}],"member":"320","published-online":{"date-parts":[[2022,7,21]]},"reference":[{"key":"e_1_3_2_2_2_1","volume-title":"DBFT: Efficient Leaderless Byzantine Consensus and its Applications to Blockchains","author":"Crain Tyler","year":"2018","unstructured":"Tyler Crain , Vincent Gramoli , Mikel Larrea , and Michel Raynal . 2018 . DBFT: Efficient Leaderless Byzantine Consensus and its Applications to Blockchains . In IEEE NCA. 1--8. Tyler Crain, Vincent Gramoli, Mikel Larrea, and Michel Raynal. 2018. DBFT: Efficient Leaderless Byzantine Consensus and its Applications to Blockchains. In IEEE NCA. 1--8."},{"key":"e_1_3_2_2_3_1","volume-title":"Red Belly: A Secure, Fair and Scalable Open Blockchain","author":"Crain Tyler","year":"2021","unstructured":"Tyler Crain , Christopher Natoli , and Vincent Gramoli . 2021 . Red Belly: A Secure, Fair and Scalable Open Blockchain . In IEEE S &P. 466--483. Tyler Crain, Christopher Natoli, and Vincent Gramoli. 2021. Red Belly: A Secure, Fair and Scalable Open Blockchain. In IEEE S&P. 466--483."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"crossref","unstructured":"Igor Konnov Marijana Lazic Helmut Veith and Josef Widder. 2017. A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms. In ACM POPL. 719--734.  Igor Konnov Marijana Lazic Helmut Veith and Josef Widder. 2017. A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms. In ACM POPL. 719--734.","DOI":"10.1145\/3093333.3009860"},{"key":"e_1_3_2_2_5_1","unstructured":"Achour Most\u00e9faoui Hamouna Moumen and Michel Raynal. 2014. Signature-free Asynchronous Byzantine Consensus with (2) Messages. In ACM PODC. 2--9.  Achour Most\u00e9faoui Hamouna Moumen and Michel Raynal. 2014. Signature-free Asynchronous Byzantine Consensus with (2) Messages. In ACM PODC. 2--9."}],"event":{"name":"PODC '22: ACM Symposium on Principles of Distributed Computing","location":"Salerno Italy","acronym":"PODC '22","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519270.3538468","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3519270.3538468","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:12:21Z","timestamp":1750191141000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519270.3538468"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,20]]},"references-count":4,"alternative-id":["10.1145\/3519270.3538468","10.1145\/3519270"],"URL":"https:\/\/doi.org\/10.1145\/3519270.3538468","relation":{},"subject":[],"published":{"date-parts":[[2022,7,20]]},"assertion":[{"value":"2022-07-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}