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!