Anja F. Karl

According to our database, Anja F. Karl authored at least 2 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Placement of Runtime Checks to Counteract Fault Injections.

Benedikt Maderbacher, Anja F. Karl, Roderick Bloem

Proceedings of the Runtime Verification - 20th International Conference, 2020

2019

Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs.

Anja F. Karl, Robert Schilling, Roderick Bloem, Stefan Mangard

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019