TY  - RPRT
TI  - FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution
AU  - Grant Hernandez
AU  - Farhaan Fowze
AU  - Dave Tian
AU  - Tuba Yavuz
AU  - Kevin R. B. Butler
PY  - 2017
DO  - 10.1145/3133956.3134050
UR  - https://arxiv.org/abs/1708.09114
ID  - 1708.09114
ER  -