Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities
Guilhem Lacombe, D. Féliot, Etienne Boespflug, Marie-Laure Potet
Journal of Cryptographic Engineering