Login / Signup
Detecting fault injection vulnerabilities in binaries with symbolic execution.
Julien Lancia
Published 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