0 Jakub Szefer Jason Bau John C. Mitchell Ruby B. Lee 2011 Trust but Verify: Trust Evidence for Hypervisor-Secure Virtualization Princeton University Department of Electrical Engineering Technical Report CE-L2011-008 Nov. 16, 2011