Anja Petkovic Komel
Projektass.in Dr.in
Role
-
PostDoc Researcher
Formal Methods in Systems Engineering, E192-04
Publications
- Scaling CheckMate for Game-Theoretic Security / Rain, S., Brugger, L. S., Petković Komel, A., Kovács, L., & Rawson, M. (2024). Scaling CheckMate for Game-Theoretic Security. In N. Bjorner, M. Heule, & A. Voronkov (Eds.), Proceedings of 25th Conference on Logic for Pro gramming, Artificial Intelligence and Reasoning (pp. 222–231). https://doi.org/10.29007/llnq
-
CheckMate: Automated Game-Theoretic Security Reasoning
/
Brugger, L. S., Kovács, L., Petkovic Komel, A., Rain, S., & Rawson, M. (2023). CheckMate: Automated Game-Theoretic Security Reasoning. In CCS ’23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (pp. 1407–1421). Association for Computing Machinery. https://doi.org/10.1145/3576915.3623183
Download: PDF (1.15 MB)
Project: SFB SPyCoDe (2023–2026) -
Automating Security Analysis of Off-Chain Protocols
/
Brugger, L. S., Kovacs, L., Petkovic Komel, A., Rain, S., & Rawson, M. (2022, August 11). Automating Security Analysis of Off-Chain Protocols [Conference Presentation]. 4th International Workshop on Formal Methods for Blockchains, Haifa, Israel. https://doi.org/10.34726/3523
Download: PDF (265 KB)
Project: ARTIST (2021–2026) -
The essence of type-theoretic elaboration
/
Petkovic Komel, A. (2022, July 31). The essence of type-theoretic elaboration [Conference Presentation]. Women In Logic, Haifa, Israel. http://hdl.handle.net/20.500.12708/153703
Download: talk slides (1.34 MB) -
The essence of elaboration
/
Petkovic Komel, A. (2022, May 20). The essence of elaboration [Conference Presentation]. Workshop on Syntax and Semantics of Type Thoery, Stockholm, Sweden. http://hdl.handle.net/20.500.12708/153774
Download: talk slides (1.62 MB)
Project: ARTIST (2021–2026)