DOI,IST REx ID,Research Group,Title of publication
10.1145/3662158.3662769,17328,"KrCh,KrPi",Fully automated selfish mining analysis in efficient proof systems blockchains