Name Card

Full name Familienname, Vorname
Rain, Sophie
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-6 of 6 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Brugger-2023-CheckMate Automated Game-Theoretic Security Reasoning-vor.pdf.jpgBrugger, Lea Salome ; Kovács, Laura ; Petkovic Komel, Anja ; Rain, Sophie ; Rawson, Michael CheckMate: Automated Game-Theoretic Security ReasoningInproceedings Konferenzbeitrag 21-Nov-2023
22023-Reshaping Unplugged Computer Science Workshops forPrimary School Edu...-vor.pdf.jpgMartina Landman ; Sophie Rain ; Laura Kovács ; Gerald Futschek Reshaping Unplugged Computer Science Workshops for Primary School EducationInproceedings Konferenzbeitrag 1-Oct-2023
3Rain, Sophie ; Avarikioti, Georgia ; Kovacs, Laura ; Maffei, Matteo Towards a Game-Theoretic Security Analysis of Off-Chain ProtocolsInproceedings Konferenzbeitrag 2023
4Brugger-2022-Automating Security Analysis of Off-Chain Protocols-am.pdf.jpgBrugger, Lea Salome ; Kovacs, Laura ; Petkovic Komel, Anja ; Rain, Sophie ; Rawson, Michael Automating Security Analysis of Off-Chain ProtocolsPresentation Vortrag 11-Aug-2022
5Elad, Neta ; Rain, Sophie ; Immerman, Neil ; Sagiv, Mooly ; Kovacs, Laura Summing up Smart TransitionsKonferenzbeitrag Inproceedings 2021
6Rain Sophie - 2020 - First-order reasoning with aggregates.pdf.jpgRain, Sophie First-order reasoning with aggregatesThesis Hochschulschrift 2020

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Brugger Lea Salome - 2022 - Automating proofs of game-theoretic security...pdf.jpgBrugger, Lea Salome Automating proofs of game-theoretic security properties of off-chain protocolsThesis Hochschulschrift 2022