Sophie Rain

According to our database, Sophie Rain authored at least 6 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Scaling Game-Theoretic Security Reasoning.

Sophie Rain, Lea Salome Brugger, Anja Petkovic Komel, Laura Kovács, Michael Rawson

CoRR, 2024

Scaling CheckMate for Game-Theoretic Security.

Sophie Rain, Lea Salome Brugger, Anja Petkovic Komel, Laura Kovács, Michael Rawson

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2023

Reshaping Unplugged Computer Science Workshops for Primary School Education.

Martina Landman, Sophie Rain, Laura Kovács, Gerald Futschek

Proceedings of the Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education, 2023

Towards a Game-Theoretic Security Analysis of Off-Chain Protocols.

Sophie Rain, Georgia Avarikioti, Laura Kovács, Matteo Maffei

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

CheckMate: Automated Game-Theoretic Security Reasoning.

Lea Salome Brugger, Laura Kovács, Anja Petkovic Komel, Sophie Rain, Michael Rawson

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2021

Summing up Smart Transitions.

Neta Elad, Sophie Rain, Neil Immerman, Laura Kovács, Mooly Sagiv

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021