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

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

Browse the full VMCAI paper archive.