Ivana Bocevska

Univ.Ass. Dipl.-Ing. / BSc

Role

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)