Anja Felicitas Karl

Dipl.-Ing. BSc

Formal Methods, PhD student

Anja Karl is a Ph.D. student in the SCOS group at IAIK. Before joining the institute, she did her Bachelor and Master in Computer Science at the TU Graz. The focus of her research is a combination of formal verification and IT security, to prove or disprove the effectiveness of attack countermeasures.
At the moment, she currently focuses on the application of Error Detection Codes for Fault Injection Attacks.
Anja Felicitas Karl


I am contributing to several computer science lectures, including

If you are interested in writing a thesis on a related topic, doing a master project or an internship, justlet me know!


Small faults grow up - Verification of error masking robustness in arithmetically encoded programs

Karl, A., Schilling, R., Bloem, R. & Mangard, S.
Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Proceedings, Springer, 183-204, (Lecture Notes in Computer Science; vol. 11388)

More Publications