Formally Verified Hardening of C Programs against Hardware Fault Injection.

Basile Pesin, Sylvain Boulm, David Monniaux, Marie-Laure Potet

Browse the full CPP paper archive.