Ivana Bocevska
Univ.Ass. Dipl.-Ing. / BSc
Role
-
PreDoc Researcher
Formal Methods in Systems Engineering, E192-04
Publications
-
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)