Ivana Bocevska
Univ.Ass. Dipl.-Ing. / BSc
Research Areas
- Formal Methods, Computational Logic, Cybersecurity, Automated Reasoning, Software Verification
Role
-
PreDoc Researcher
Formal Methods in Systems Engineering, E192-04
Courses
Publications
-
Divide and Conquer: A Compositional Approach to Game-Theoretic Security
/
Bocevska, I., Petković Komel, A., Kovacs, L., Rain, S., & Rawson, M. (2025). Divide and Conquer: A Compositional Approach to Game-Theoretic Security. Proceedings of the ACM on Programming Languages, 9(OOPSLA2), 1949–1973. https://doi.org/10.1145/3763120
Projects: ARTIST (2021–2026) / ForSmart (2023–2027) / QuAT (2024–2025) / SFB SPyCoDe (2023–2030) -
Extending game-theoretic security of blockchain protocols with compositional reasoning and conditional actions
/
Bocevska, I. (2025). Extending game-theoretic security of blockchain protocols with compositional reasoning and conditional actions [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.128542
Download: PDF (1.1 MB)