{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T12:11:40Z","timestamp":1781007100568,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,6,17]],"date-time":"2024-06-17T00:00:00Z","timestamp":1718582400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100020668","name":"European Research Council","doi-asserted-by":"publisher","award":["ERC-2020-CoG 863818"],"award-info":[{"award-number":["ERC-2020-CoG 863818"]}],"id":[{"id":"10.13039\/100020668","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001459","name":"Ministry of Education - Singapore","doi-asserted-by":"publisher","award":["MOE-T2EP20122-0014"],"award-info":[{"award-number":["MOE-T2EP20122-0014"]}],"id":[{"id":"10.13039\/501100001459","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,6,17]]},"DOI":"10.1145\/3662158.3662769","type":"proceedings-article","created":{"date-parts":[[2024,6,5]],"date-time":"2024-06-05T14:38:06Z","timestamp":1717598286000},"page":"268-278","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4561-241X","authenticated-orcid":false,"given":"Krishnendu","family":"Chatterjee","sequence":"first","affiliation":[{"name":"IST Austria, Klosterneuburg, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9887-4341","authenticated-orcid":false,"given":"Amirali","family":"Ebrahimzadeh","sequence":"additional","affiliation":[{"name":"Sharif University of Technology, Tehran, Iran"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-5253-9170","authenticated-orcid":false,"given":"Mehrdad","family":"Karrabi","sequence":"additional","affiliation":[{"name":"IST Austria, Klosterneuburg, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9139-1654","authenticated-orcid":false,"given":"Krzysztof","family":"Pietrzak","sequence":"additional","affiliation":[{"name":"IST Austria, Klosterneuburg, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-3676-4809","authenticated-orcid":false,"given":"Michelle","family":"Yeo","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4681-1699","authenticated-orcid":false,"given":"\u0110or\u0111e","family":"\u017dikeli\u0107","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,6,17]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Adam Back. 1997. Hashcash. http:\/\/hashcash.org\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3560829.3563559"},{"key":"e_1_3_2_1_3_1","volume-title":"Formal Barriers to Longest-Chain Proof-of-Stake Protocols. CoRR abs\/1809.06528","author":"Brown-Cohen Jonah","year":"2018","unstructured":"Jonah Brown-Cohen, Arvind Narayanan, Christos-Alexandros Psomas, and S. Matthew Weinberg. 2018. Formal Barriers to Longest-Chain Proof-of-Stake Protocols. CoRR abs\/1809.06528 (2018). arXiv:1809.06528 http:\/\/arxiv.org\/abs\/1809.06528"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2019.02.001"},{"key":"e_1_3_2_1_6_1","unstructured":"Bram Cohen and Krzysztof Pietrzak. 2019. The chia network blockchain. https:\/\/docs.chia.net\/assets\/files\/Precursor-ChiaGreenPaper-82cb50060c575f3f71444a4b7430fb9d.pdf"},{"key":"e_1_3_2_1_7_1","unstructured":"Bram Cohen and Krzysztof Pietrzak. 2023. Chia Greenpaper. https:\/\/docs.chia.net\/green-paper-abstract"},{"key":"e_1_3_2_1_8_1","volume-title":"Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake protocol. IACR Cryptol. ePrint Arch.","author":"David Bernardo Machado","year":"2017","unstructured":"Bernardo Machado David, Peter Gazi, Aggelos Kiayias, and Alexander Russell. 2017. Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake protocol. IACR Cryptol. ePrint Arch. (2017), 573. http:\/\/eprint.iacr.org\/2017\/573"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48000-7_29"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3212998"},{"key":"e_1_3_2_1_11_1","volume-title":"How to Mimic Nakamoto's Design via Proof-of-Stake). IACR Cryptol. ePrint Arch.","author":"Fan Lei","year":"2017","unstructured":"Lei Fan and Hong-Sheng Zhou. 2017. iChing: A Scalable Proof-of-Stake Blockchain in the Open Setting (or, How to Mimic Nakamoto's Design via Proof-of-Stake). IACR Cryptol. ePrint Arch. (2017), 656. http:\/\/eprint.iacr.org\/2017\/656"},{"key":"e_1_3_2_1_12_1","volume-title":"S. Matthew Weinberg, and Catherine Yu.","author":"Ferreira Matheus V. X.","year":"2022","unstructured":"Matheus V. X. Ferreira, Ye Lin Sally Hahn, S. Matthew Weinberg, and Catherine Yu. 2022. Optimal Strategic Mining Against Cryptographic Self-Selection in Proof-of-Stake. In EC. ACM, 89--114."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3465456.3467636"},{"key":"e_1_3_2_1_14_1","volume-title":"Competitive Markov decision processes","author":"Filar Jerzy","unstructured":"Jerzy Filar and Koos Vrieze. 2012. Competitive Markov decision processes. Springer Science & Business Media."},{"key":"e_1_3_2_1_15_1","volume-title":"EUROCRYPT (2) (Lecture Notes in Computer Science","author":"Garay Juan A.","unstructured":"Juan A. Garay, Aggelos Kiayias, and Nikos Leonardos. 2015. The Bitcoin Backbone Protocol: Analysis and Applications. In EUROCRYPT (2) (Lecture Notes in Computer Science, Vol. 9057). Springer, 281--310."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Peter Gazi Aggelos Kiayias and Alexander Russell. 2020. Tight Consistency Bounds for Bitcoin. In CCS. ACM 819--838.","DOI":"10.1145\/3372297.3423365"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-021-00633-z"},{"key":"e_1_3_2_1_18_1","volume-title":"SquirRL: Automating Attack Analysis on Blockchain Incentive Mechanisms with Deep Reinforcement Learning","author":"Hou Charlie","unstructured":"Charlie Hou, Mingxun Zhou, Yan Ji, Phil Daian, Florian Tram\u00e8r, Giulia Fanti, and Ari Juels. 2021. SquirRL: Automating Attack Analysis on Blockchain Incentive Mechanisms with Deep Reinforcement Learning. In NDSS. The Internet Society."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"e_1_3_2_1_20_1","volume-title":"Bitcoin: A peer-to-peer electronic cash system. https:\/\/bitcoin.org\/bitcoin.pdf.","author":"Nakamoto Satoshi","year":"2008","unstructured":"Satoshi Nakamoto. 2008. Bitcoin: A peer-to-peer electronic cash system. https:\/\/bitcoin.org\/bitcoin.pdf."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-58387-6_26"},{"key":"e_1_3_2_1_22_1","volume-title":"EUROCRYPT (2) (Lecture Notes in Computer Science","author":"Pass Rafael","unstructured":"Rafael Pass, Lior Seeman, and Abhi Shelat. 2017. Analysis of the Blockchain Protocol in Asynchronous Networks. In EUROCRYPT (2) (Lecture Notes in Computer Science, Vol. 10211). 643--673."},{"key":"e_1_3_2_1_23_1","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"Puterman Martin L.","unstructured":"Martin L. Puterman. 1994. Markov Decision Processes: Discrete Stochastic Dynamic Programming. Wiley."},{"key":"e_1_3_2_1_24_1","volume-title":"Financial Cryptography (Lecture Notes in Computer Science","volume":"532","author":"Sapirshtein Ayelet","year":"2016","unstructured":"Ayelet Sapirshtein, Yonatan Sompolinsky, and Aviv Zohar. 2016. Optimal Selfish Mining Strategies in Bitcoin. In Financial Cryptography (Lecture Notes in Computer Science, Vol. 9603). Springer, 515--532."},{"key":"e_1_3_2_1_25_1","unstructured":"Roozbeh Sarenche Svetla Nikova and Bart Preneel. 2024. Deep Selfish Proposing in Longest-Chain Proof-of-Stake Protocols. In Financial Cryptography and Data Security."},{"key":"e_1_3_2_1_26_1","volume-title":"Sreeram Kannan, Sewoong Oh, David Tse, and Pramod Viswanath.","author":"Wang Xuechao","year":"2019","unstructured":"Xuechao Wang, Govinda M. Kamath, Vivek Kumar Bagaria, Sreeram Kannan, Sewoong Oh, David Tse, and Pramod Viswanath. 2019. Proof-of-Stake Longest Chain Protocols Revisited. CoRR abs\/1910.02218 (2019)."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Roi Bar Zur Ittay Eyal and Aviv Tamar. 2020. Efficient MDP Analysis for Selfish-Mining in Blockchains. In AFT. ACM 113--131.","DOI":"10.1145\/3419614.3423264"}],"event":{"name":"PODC '24: 43rd ACM Symposium on Principles of Distributed Computing","location":"Nantes France","acronym":"PODC '24","sponsor":["SIGACT ACM Special Interest Group on Algorithms and Computation Theory","SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3662158.3662769","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:43:41Z","timestamp":1750290221000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3662158.3662769"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,17]]},"references-count":26,"alternative-id":["10.1145\/3662158.3662769","10.1145\/3662158"],"URL":"https:\/\/doi.org\/10.1145\/3662158.3662769","relation":{},"subject":[],"published":{"date-parts":[[2024,6,17]]},"assertion":[{"value":"2024-06-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}