16 citations · 16 across the 2 of their papers we have counts for
2 papers
cs.SE2023★ 16 cited
Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities
Guilhem Lacombe, David Feliot, Etienne Boespflug +1
Certification through auditing allows to ensure that critical embedded systems are secure. This entails reviewing their critical components and checking for dangerous execution pat…
cs.CR2023
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…