CheckMate: Automated Game-Theoretic Security Reasoning.

Lea Salome Brugger, Laura Kovcs, Anja Petkovic Komel, Sophie Rain, Michael Rawson

Browse the full CCS paper archive.