Login / Signup
FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution.
Grant Hernandez
Farhaan Fowze
Dave (Jing) Tian
Tuba Yavuz
Kevin R. B. Butler
Published in:
CCS (2017)
Keyphrases
</>
symbolic execution
domain specific
static analysis
test generation
operating system
domain independent
test data generation
power consumption
neural network
artificial intelligence
source code
genetic programming
pattern matching
specification language