Summing up Smart Transitions. - Neta Elad; Sophie Rain; Neil Immerman; Laura Kovács; Mooly Sagiv (CAV (1), 2021)

CheckMate: Automated Game-Theoretic Security Reasoning. - Lea Salome Brugger; Laura Kovács; Anja Petkovic Komel; Sophie Rain; Michael Rawson 001 (CCS, 2023)

Towards a Game-Theoretic Security Analysis of Off-Chain Protocols. - Sophie Rain; Georgia Avarikioti; Laura Kovács; Matteo Maffei (CSF, 2023)

Reshaping Unplugged Computer Science Workshops for Primary School Education. - Martina Landman; Sophie Rain; Laura Kovács; Gerald Futschek (ISSEP, 2023)

Scaling CheckMate for Game-Theoretic Security. - Sophie Rain; Lea Salome Brugger; Anja Petkovic Komel; Laura Kovács; Michael Rawson 001 (LPAR, 2024)

Scaling Game-Theoretic Security Reasoning. - Sophie Rain; Lea Salome Brugger; Anja Petkovic Komel; Laura Kovács; Michael Rawson 001 (CoRR, 2024)