FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution

Grant Hernandez, Farhaan Fowze, Dave (Jing) Tian, Tuba Yavuz, Kevin R. B. Butler. FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution. In Bhavani M. Thuraisingham, David Evans, Tal Malkin, Dongyan Xu, editors, Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017. pages 2245-2262, ACM, 2017. [doi]

Authors

Grant Hernandez

This author has not been identified. Look up 'Grant Hernandez' in Google

Farhaan Fowze

This author has not been identified. Look up 'Farhaan Fowze' in Google

Dave (Jing) Tian

This author has not been identified. Look up 'Dave (Jing) Tian' in Google

Tuba Yavuz

This author has not been identified. Look up 'Tuba Yavuz' in Google

Kevin R. B. Butler

This author has not been identified. Look up 'Kevin R. B. Butler' in Google