Towards a Verified Reference Implementation of a Trusted Platform Module Aybek Mukhamedov1,2 , Andrew D. Gordon1 , and Mark Ryan2 1 2 - Trusted Platform Module - Document - PDFSEARCH.IO

First Page	Meta Content
	Towards a Verified Reference Implementation of a Trusted Platform Module Aybek Mukhamedov1,2 , Andrew D. Gordon1 , and Mark Ryan2 1 2 Add to Reading List Document Date: 2010-04-20 09:53:15 Open Document File Size: 389,27 KB Share Result on Facebook

Towards a Verified Reference Implementation of a Trusted Platform Module Aybek Mukhamedov1,2 , Andrew D. Gordon1 , and Mark Ryan2 1 2Add to Reading List