Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains.

Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic

Browse the full PODC paper archive.