Sophie Rain

Orcid: 0000-0002-8940-4989

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Scaling Game-Theoretic Security Reasoning.
CoRR, 2024

Scaling CheckMate for Game-Theoretic Security.
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2023
Reshaping Unplugged Computer Science Workshops for Primary School Education.
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.
Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

CheckMate: Automated Game-Theoretic Security Reasoning.
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2021
Summing up Smart Transitions.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021


  Loading...