A tool assisted methodology to harden programs against multi-faults injections

Etienne Boespflug, Abderrahmane Bouguern, Laurent Mounier +1

Fault attacks consist in changing the program behavior by injecting faults at run-time in order to break some expected security properties. Applications are hardened against fault…