{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T01:28:52Z","timestamp":1775179732873,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,30]],"date-time":"2017-10-30T00:00:00Z","timestamp":1509321600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1254017"],"award-info":[{"award-number":["CNS-1254017"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,10,30]]},"DOI":"10.1145\/3133956.3134050","type":"proceedings-article","created":{"date-parts":[[2017,10,27]],"date-time":"2017-10-27T12:48:18Z","timestamp":1509108498000},"page":"2245-2262","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":70,"title":["FirmUSB"],"prefix":"10.1145","author":[{"given":"Grant","family":"Hernandez","sequence":"first","affiliation":[{"name":"University of Florida, Gainesville, FL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farhaan","family":"Fowze","sequence":"additional","affiliation":[{"name":"University of Florida, Gainesville, FL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dave (Jing)","family":"Tian","sequence":"additional","affiliation":[{"name":"University of Florida, Gainesville, FL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tuba","family":"Yavuz","sequence":"additional","affiliation":[{"name":"University of Florida, Gainesville, FL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin R.B.","family":"Butler","sequence":"additional","affiliation":[{"name":"University of Florida, Gainesville, FL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,10,30]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"amtal 2017. Binary Ninja 8051 Architecture Plugin. https:\/\/github.com\/amtal\/i8051. (2017)."},{"key":"e_1_3_2_2_2_1","volume-title":"Defending against malicious peripherals. arXiv preprint arXiv:1506.01449","author":"Angel Sebastian","year":"2015","unstructured":"Sebastian Angel, Riad S Wahby, Max Howald, Joshua B Leners, Michael Spilo, Zhen Sun, Andrew J Blumberg, and Michael Walfish 2015. Defending against malicious peripherals. arXiv preprint arXiv:1506.01449 (2015)."},{"key":"e_1_3_2_2_3_1","volume-title":"Proceedings of the Network and Distributed System Security Symposium, NDSS 2011","author":"Avgerinos Thanassis","year":"2011","unstructured":"Thanassis Avgerinos, Sang Kil Cha, Brent Lim Tze Hao, and David Brumley 2011. AEG: Automatic Exploit Generation. In Proceedings of the Network and Distributed System Security Symposium, NDSS 2011, San Diego, California, USA, 6th February - 9th February 2011."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541984"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2991079.2991114"},{"key":"e_1_3_2_2_6_1","volume-title":"Leveraging USB to Establish Host Identity Using Commodity Devices Proceedings of the 21st ISOC Network and Distributed System Security Symposium (NDSS'14)","author":"Bates Adam","unstructured":"Adam Bates, Ryan Leonard, Hannah Pruse, Daniel Lowd, and Kevin Butler 2014. Leveraging USB to Establish Host Identity Using Commodity Devices Proceedings of the 21st ISOC Network and Distributed System Security Symposium (NDSS'14). San Diego, CA, USA."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2831211.2831219"},{"key":"e_1_3_2_2_8_1","volume-title":"Version 2.0.","author":"Benchoff Brian","year":"2017","unstructured":"Brian Benchoff. 2017. The USB Killer, Version 2.0. (2017). https:\/\/hackaday.com\/2015\/10\/10\/the-usb-killer-version-2-0\/"},{"key":"e_1_3_2_2_9_1","first-page":"3","article-title":". Automated Detection of Parameter Tampering Opportunities and Vulnerabilities in Web Applications","volume":"22","author":"Bisht Prithvi","year":"2014","unstructured":"Prithvi Bisht, Timothy Hinrichs, Nazari Skrupsky, and V. N. Venkatakrishnan 2014. Automated Detection of Parameter Tampering Opportunities and Vulnerabilities in Web Applications. J. Comput. Secur., Vol. 22, 3 (May 2014), 415--465. 1145\/2810103.2813663","journal-title":"J. Comput. Secur."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813663"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2014.23229"}],"event":{"name":"CCS '17: 2017 ACM SIGSAC Conference on Computer and Communications Security","location":"Dallas Texas USA","acronym":"CCS '17","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3133956.3134050","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3133956.3134050","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3133956.3134050","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:03Z","timestamp":1750212663000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3133956.3134050"}},"subtitle":["Vetting USB Device Firmware using Domain Informed Symbolic Execution"],"short-title":[],"issued":{"date-parts":[[2017,10,30]]},"references-count":11,"alternative-id":["10.1145\/3133956.3134050","10.1145\/3133956"],"URL":"https:\/\/doi.org\/10.1145\/3133956.3134050","relation":{},"subject":[],"published":{"date-parts":[[2017,10,30]]},"assertion":[{"value":"2017-10-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}