Automated Verification of Game-Theoretic Security Properties for Blockchain Protocols

Automated tool CheckMate enforces game-theoretic security in blockchain protocols.