Analysis of a Measured Launch

First Page		Document Content
Date: 2008-06-23 13:59:25 Computer architecture Computer security System software Trusted computing Operating system kernels Boot loaders Cryptographic software Trusted Platform Module Trusted Execution Technology Trusted Computing Group Loadable kernel module Loader		Analysis of a Measured Launch Add to Reading List Source URL: evenmere.org Download Document from Source Website File Size: 342,14 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