Login / Signup
Anja F. Karl
ORCID
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 2
Top Topics
Symbolic Execution
Fault Management
Run Length
Fault Detection
Top Venues
VMCAI
RV
</>
Publications
</>
Benedikt Maderbacher
,
Anja F. Karl
,
Roderick Bloem
Placement of Runtime Checks to Counteract Fault Injections.
RV
(2020)
Anja F. Karl
,
Robert Schilling
,
Roderick Bloem
,
Stefan Mangard
Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs.
VMCAI
(2019)