Anja Felicitas Karl
Dipl.-Ing. BScPhD Students, Team Bloem
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.
Teaching
Anja is contributing to several computer science lectures, including
- Verification and Testing (VO & UE)
- Selected Topics of Design and Verification
- Advising Bachelor and Master Thesis
If you are interested in writing a thesis on a related topic, doing a master project or an internship, don’t hesitate to contact me!