{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T17:03:06Z","timestamp":1773766986981,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T00:00:00Z","timestamp":1550275200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,2,16]]},"DOI":"10.1145\/3293883.3303705","type":"proceedings-article","created":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T20:44:12Z","timestamp":1549399452000},"page":"439-440","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Blockchain abstract data type"],"prefix":"10.1145","author":[{"given":"Emmanuelle","family":"Anceaume","sequence":"first","affiliation":[{"name":"CNRS, IRISA, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonella Del","family":"Pozzo","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris-Saclay, Palaiseau, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Romaric","family":"Ludinard","sequence":"additional","affiliation":[{"name":"IMT Atlantique, IRISA, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria","family":"Potop-Butucaru","sequence":"additional","affiliation":[{"name":"Sorbonne Universit\u00e9, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sara","family":"Tucci-Piergiovanni","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris-Saclay, Palaiseau, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,2,16]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1","article-title":"The Blockchain Consensus Layer and BFT","volume":"3","author":"Abraham Ittai","year":"2017","unstructured":"Ittai Abraham and Dahlia Malkhi . 2017 . The Blockchain Consensus Layer and BFT . Bulletin of the EATCS 3 , 123 (2017), 1 -- 23 . Ittai Abraham and Dahlia Malkhi. 2017. The Blockchain Consensus Layer and BFT. Bulletin of the EATCS 3, 123 (2017), 1--23.","journal-title":"Bulletin of the EATCS"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-69084-1_34"},{"key":"e_1_3_2_1_3_1","volume-title":"Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains. https:\/\/arxiv.org\/pdf\/1801.10228v1.pdf.","author":"Androulaki E.","year":"2018","unstructured":"E. Androulaki , A. Barger , V. Bortnikov , C. Cachin , K. Christidis , A. De Caro , D. Enyeart , C. Ferris , G. Laventman , Y. Manevich , S. Muralidharan , C. Murthy , B. Nguyen , M. Sethi , G. Singh , K. Smith , A. Sorniotti , C. Stathakopoulou , M. Vukoli\u00c4\u011e , S. Weed Cocco , and J. Yellick . 2018 . Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains. https:\/\/arxiv.org\/pdf\/1801.10228v1.pdf. E. Androulaki, A. Barger, V. Bortnikov, C. Cachin, K. Christidis, A. De Caro, D. Enyeart, C. Ferris, G. Laventman, Y. Manevich, S. Muralidharan, C. Murthy, B. Nguyen, M. Sethi, G. Singh, K. Smith, A. Sorniotti, C. Stathakopoulou, M. Vukoli\u00c4\u011e, S. Weed Cocco, and J. Yellick. 2018. Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains. https:\/\/arxiv.org\/pdf\/1801.10228v1.pdf."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3232679.3232691"},{"key":"e_1_3_2_1_5_1","volume-title":"21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19-23, 2001, Proceedings. Springer","author":"Cachin Christian","year":"2001","unstructured":"Christian Cachin , Klaus Kursawe , Frank Petzold , and Victor Shoup . 2001 . Secure and Efficient Asynchronous Broadcast Protocols. In Advances in Cryptology - CRYPTO 2001 , 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19-23, 2001, Proceedings. Springer , Berlin, Germany, 524--541. Christian Cachin, Klaus Kursawe, Frank Petzold, and Victor Shoup. 2001. Secure and Efficient Asynchronous Broadcast Protocols. In Advances in Cryptology - CRYPTO 2001, 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19-23, 2001, Proceedings. Springer, Berlin, Germany, 524--541."},{"key":"e_1_3_2_1_6_1","unstructured":"T. Crain V. Gramoli M. Larrea and M. Raynal. 2017. (Leader\/Randomization\/Signature)-free Byzantine Consensus for Consortium Blockchains. http:\/\/arxiv.org\/abs\/1702.03068.  T. Crain V. Gramoli M. Larrea and M. Raynal. 2017. (Leader\/Randomization\/Signature)-free Byzantine Consensus for Consortium Blockchains. http:\/\/arxiv.org\/abs\/1702.03068."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2833312.2833321"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132757"},{"key":"e_1_3_2_1_9_1","volume-title":"Monotonic Prefix Consistency in Distributed Systems. In International Conference on Formal Techniques for Distributed Objects, Components, and Systems. Springer","author":"Girault Alain","year":"2018","unstructured":"Alain Girault , Gregor G\u00f6ssler , Rachid Guerraoui , Jad Hamza , and Dragos-Adrian Seredinschi . 2018 . Monotonic Prefix Consistency in Distributed Systems. In International Conference on Formal Techniques for Distributed Objects, Components, and Systems. Springer , Berlin, Germany, 41--57. Alain Girault, Gregor G\u00f6ssler, Rachid Guerraoui, Jad Hamza, and Dragos-Adrian Seredinschi. 2018. Monotonic Prefix Consistency in Distributed Systems. In International Conference on Formal Techniques for Distributed Objects, Components, and Systems. Springer, Berlin, Germany, 41--57."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/114005.102808"},{"key":"e_1_3_2_1_11_1","volume-title":"25th USENIX Security Symposium, USENIX Security 16","author":"Kokoris-Kogias Eleftherios","year":"2016","unstructured":"Eleftherios Kokoris-Kogias , Philipp Jovanovic , Nicolas Gailly , Ismail Khoffi , Linus Gasser , and Bryan Ford . 2016 . Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing . In 25th USENIX Security Symposium, USENIX Security 16 , Austin, TX, USA , August 10-12, 2016. USENIX Association, Berkeley, CA, USA, 279--296. Eleftherios Kokoris-Kogias, Philipp Jovanovic, Nicolas Gailly, Ismail Khoffi, Linus Gasser, and Bryan Ford. 2016. Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing. In 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016. USENIX Association, Berkeley, CA, USA, 279--296."},{"key":"e_1_3_2_1_12_1","volume-title":"Bitcoin: A Peer-to-Peer Electronic Cash System. https:\/\/bitcoin.org\/bitcoin.pdf.","author":"Nakamoto S.","year":"2008","unstructured":"S. Nakamoto . 2008 . Bitcoin: A Peer-to-Peer Electronic Cash System. https:\/\/bitcoin.org\/bitcoin.pdf. S. Nakamoto. 2008. Bitcoin: A Peer-to-Peer Electronic Cash System. https:\/\/bitcoin.org\/bitcoin.pdf."},{"key":"e_1_3_2_1_13_1","volume-title":"Lecture Notes in Computer Science","volume":"9057","author":"Oswald Elisabeth","year":"2015","unstructured":"Elisabeth Oswald and Marc Fischlin ( Eds .). 2015 . The Bitcoin Backbone Protocol: Analysis and Applications . Lecture Notes in Computer Science , Vol. 9057 . Springer. Elisabeth Oswald and Marc Fischlin (Eds.). 2015. The Bitcoin Backbone Protocol: Analysis and Applications. Lecture Notes in Computer Science, Vol. 9057. Springer."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3087801.3087809"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2851141.2851170"},{"key":"e_1_3_2_1_16_1","unstructured":"G. Wood. 2014. Ethereum: A secure decentralised generalised transaction ledger. http:\/\/gavwood.com\/Paper.pdf.  G. Wood. 2014. Ethereum: A secure decentralised generalised transaction ledger. http:\/\/gavwood.com\/Paper.pdf."}],"event":{"name":"PPoPP '19: 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","location":"Washington District of Columbia","acronym":"PPoPP '19","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing"]},"container-title":["Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3293883.3303705","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3293883.3303705","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:01:47Z","timestamp":1750208507000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3293883.3303705"}},"subtitle":["poster"],"short-title":[],"issued":{"date-parts":[[2019,2,16]]},"references-count":16,"alternative-id":["10.1145\/3293883.3303705","10.1145\/3293883"],"URL":"https:\/\/doi.org\/10.1145\/3293883.3303705","relation":{},"subject":[],"published":{"date-parts":[[2019,2,16]]},"assertion":[{"value":"2019-02-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}