Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic. Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains. In Ran Gelles, Dennis Olivetti, Petr Kuznetsov, editors, Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, PODC 2024, Nantes, France, June 17-21, 2024. pages 268-278, ACM, 2024. [doi]
Abstract is missing.