
Combining Static Analysis and Dynamic Symbolic Execution in a Toolchain to detect Fault Injection Vulnerabilities
Author(s) -
Guilhem Lacombe,
David Féliot,
Etienne Boespflug,
Marie-Laure Potet
Publication year - 2022
Publication title -
epic series in computing
Language(s) - English
Resource type - Conference proceedings
ISSN - 2398-7340
DOI - 10.29007/jp9w
Subject(s) - toolchain , computer science , fault injection , symbolic execution , static analysis , model checking , context (archaeology) , audit , execution time , fuzz testing , certification , program analysis , computer security , embedded system , distributed computing , software , programming language , paleontology , management , political science , law , economics , biology