Trust but Verify: Trust Evidence for Hypervisor-Secure Virtualization

Source:

Princeton University Department of Electrical Engineering Technical Report CE-L2011-008 (2011)