arXiv:1708.09114v1 [cs.CR] 30 AugFirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution Grant Hernandez∗

First Page		Document Content
Date: 2018-08-19 13:20:33 Embedded systems Computer hardware Computing USB Electronics Firmware Intel MCS-51 Microcontroller Human interface device Computer USB human interface device class		arXiv:1708.09114v1 [cs.CR] 30 AugFirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution Grant Hernandez∗ Add to Reading List Source URL: arxiv.org Download Document from Source Website File Size: 898,61 KB Share Document on Facebook

	Implementing Minimized Multivariate PKC on Low-Resource Embedded Systems Bo-Yin Yang1, , Chen-Mou Cheng2 , Bor-Rong Chen2 , and Jiun-Ming Chen3 1 3 DocID: 1xVOQ - View Document
	Static Analysis of Real-Time Embedded Systems with REK Arie Gurfinkel1 DocID: 1xUHI - View Document
	F e b r uar yGuiding Embedded Designers on Systems and Technologies Engineers’ Guide to PC/104 & Embedded SFF DocID: 1xUCn - View Document
	1 Postquantum SSL/TLS for embedded systems Yun-An Chang† , Ming-Shing Chen†‡ , Jong-shian Wu† , Bo-Yin Yang‡ , of Electrical Engineering, National Taiwan University, Taiwan ‡ Institute of Information Science DocID: 1xTwc - View Document
	Protecting Bare-metal Embedded Systems With Privilege Overlays Abraham A. Clements∗ , Naif Saleh Almakhdhub† , Khaled S. Saab‡ , Prashast Srivastava† , Jinkyu Koo† , Saurabh Bagchi† , Mathias Payer† ∗ Pur DocID: 1xTbD - View Document