Login / Signup
FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution.
Grant Hernandez
Farhaan Fowze
Dave Tian
Tuba Yavuz
Kevin R. B. Butler
Published in:
CoRR (2017)
Keyphrases
</>
symbolic execution
operating system
power consumption
static analysis
domain specific
source code
test generation
test data generation
multi agent systems
general purpose