Sophie Rain

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 8

Top Topics

Combinatorial Auctions

Pure Nash Equilibrium

Security Analysis

Top Venues

Publications

Sophie Rain, Lea Salome Brugger, Anja Petkovic Komel, Laura Kovács, Michael Rawson
Scaling Game-Theoretic Security Reasoning. CoRR (2024)
Sophie Rain, Lea Salome Brugger, Anja Petkovic Komel, Laura Kovács, Michael Rawson
Scaling CheckMate for Game-Theoretic Security. LPAR (2024)
Martina Landman, Sophie Rain, Laura Kovács, Gerald Futschek
Reshaping Unplugged Computer Science Workshops for Primary School Education. ISSEP (2023)
Lea Salome Brugger, Laura Kovács, Anja Petkovic Komel, Sophie Rain, Michael Rawson
CheckMate: Automated Game-Theoretic Security Reasoning. CCS (2023)
Sophie Rain, Georgia Avarikioti, Laura Kovács, Matteo Maffei
Towards a Game-Theoretic Security Analysis of Off-Chain Protocols. CSF (2023)
Neta Elad, Sophie Rain, Neil Immerman, Laura Kovács, Mooly Sagiv
Summing Up Smart Transitions. CoRR (2021)
Neta Elad, Sophie Rain, Neil Immerman, Laura Kovács, Mooly Sagiv
Summing up Smart Transitions. CAV (1) (2021)
Sophie Rain, Zeta Avarikioti, Laura Kovács, Matteo Maffei
Towards a Game-Theoretic Security Analysis of Off-Chain Protocols. CoRR (2021)