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

Grant Hernandez et al. (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics