TY  - RPRT
TI  - Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities
AU  - Guilhem Lacombe
AU  - David Feliot
AU  - Etienne Boespflug
AU  - Marie-Laure Potet
PY  - 2023
DO  - 10.1007/s13389-023-00310-8
UR  - https://arxiv.org/abs/2303.03999
ID  - 2303.03999
ER  -