Login / Signup
Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities.
Guilhem Lacombe
David Féliot
Etienne Boespflug
Marie-Laure Potet
Published in:
J. Cryptogr. Eng. (2024)
Keyphrases
</>
static analysis
symbolic execution
java card
fault injection
dynamic analysis
source code
test generation
regular expressions
information security
specification language
real world
genetic algorithm
information systems
high level
query processing
test suite