MiniBox: A Two-Way Sandbox for x86 Native Code Yanlin Li, Adrian Perrig, Jonathan McCune, James Newsome, Brandon Baker, Will Drewry February 21, 2014 CMU-CyLab

First Page		Document Content
Date: 2015-06-01 09:06:11 Software System software Computing Trusted computing Hypervisor Protection ring Trusted Platform Module Xen Kernel Thread		MiniBox: A Two-Way Sandbox for x86 Native Code Yanlin Li, Adrian Perrig, Jonathan McCune, James Newsome, Brandon Baker, Will Drewry February 21, 2014 CMU-CyLab Add to Reading List Source URL: www.netsec.ethz.ch Download Document from Source Website File Size: 455,82 KB Share Document on Facebook

	Towards Verified C specification for TPM API Aybek Mukhamedov, Andy Gordon and Mark Ryan Trusted Platform Module DocID: 1uVol - View Document
	Towards a Verified Reference Implementation of a Trusted Platform Module Aybek Mukhamedov1,2 , Andrew D. Gordon1 , and Mark Ryan2 1 2 DocID: 1uKjY - View Document
	Trusted Platform Module (TPM) Element Manager DocID: 1sxEG - View Document
	Secure Embedded Systems Michael Vai, David J. Whelihan, Benjamin R. Nahill, Daniil M. Utin, Sean R. O’Melia, and Roger I. Khazan Developers seek to seamlessly integrate cyber DocID: 1qIlJ - View Document
	ETTM: A Scalable Fault Tolerant Network Manager Colin Dixon Hardeep Uppal Vjekoslav Brajkovic Dane Brandon Thomas Anderson Arvind Krishnamurthy University of Washington Abstract In this paper, we design, implement, and e DocID: 1qxEz - View Document