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

First Page		Document Content
Date: 2010-04-20 09:53:15		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 Source URL: www.cs.bham.ac.uk Download Document from Source Website File Size: 389,27 KB Share Document on Facebook