Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs. - Anja F. Karl; Robert Schilling; Roderick Bloem; Stefan Mangard (VMCAI, 2019)

Placement of Runtime Checks to Counteract Fault Injections. - Benedikt Maderbacher; Anja F. Karl; Roderick Bloem (RV, 2020)