FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution.

Grant Hernandez, Farhaan Fowze, Dave (Jing) Tian, Tuba Yavuz, Kevin R. B. Butler

Browse the full CCS paper archive.