No photo of Anja Felicitas Karl

Anja Felicitas Karl

BSc, Dipl.-Ing.

If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Anja Felicitas Karl is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles
Masking Mathematics
Fault Mathematics
Robustness Mathematics
Flip Mathematics
Soft Error Mathematics
Interaction Mathematics
Correctness Mathematics
Exceed Mathematics

Research Output 2019 2019

  • 1 Conference contribution

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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
Soft Error