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…