Placement of Runtime Checks to Counteract Fault Injections.
Proceedings of the Runtime Verification - 20th International Conference, 2020
Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019