Jonathan McCune
Amit Vasudevan, Emmanuel Owusu, Zongwei Zhou, James Newsome, and Jonathan McCune CMU CyLab Technical Report CMU-CyLab-11-023, November, 2011 Memoir---Formal Specs and Correctness Proofs John R Douceur, Jacob R Lorch, Bryan Parno, James Mickens, and Jonathan M McCune MSR-TR-2011-19, February 2011 Trust and Trusted Computing Platforms...