Detecting fault injection vulnerabilities in binaries with symbolic execution.
Julien LanciaPublished in: ECAI (2022)
Keyphrases
- symbolic execution
- fault injection
- static analysis
- java card
- source code
- test generation
- open source
- test data generation
- countermeasures
- data flow
- software systems
- control flow
- fault model
- specification language
- high level
- genetic algorithm
- information security
- regular expressions
- smart card
- pattern matching
- information systems