| Towards a game-theoretic security analysis of off-chain protocols S Rain, G Avarikioti, L Kovács, M Maffei 2023 IEEE 36th Computer Security Foundations Symposium (CSF), 107-122, 2023 | 11 | 2023 |
| Summing up smart transitions N Elad, S Rain, N Immerman, L Kovács, M Sagiv Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 10 | 2021 |
| CheckMate: Automated Game-Theoretic Security Reasoning LS Brugger, L Kovács, A Petkovic Komel, S Rain, M Rawson Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023 | 3 | 2023 |
| Reshaping Unplugged Computer Science Workshops for Primary School Education M Landman, S Rain, L Kovács, G Futschek International Conference on Informatics in Schools: Situation, Evolution …, 2023 | 2 | 2023 |
| Scaling CheckMate for Game-Theoretic Security S Rain, LS Brugger, AP Komel, L Kovács, M Rawson Proceedings of 25th Conference on Logic for Pro 100, 222-231, 2024 | | 2024 |
| Scaling Game-Theoretic Security Reasoning S Rain, LS Brugger, AP Komel, L Kovacs, M Rawson arXiv preprint arXiv:2403.10310, 2024 | | 2024 |
| Automating Security Analysis of Off-Chain Protocols LS Brugger, L Kovács, AP Komel, S Rain, M Rawson | | 2022 |
| First-order reasoning with aggregates S Rain Wien, 2020 | | 2020 |
