%0 Journal Article %J Princeton University Department of Electrical Engineering Technical Report CE-L2011-008 %D 2011 %T Trust but Verify: Trust Evidence for Hypervisor-Secure Virtualization %A Szefer, Jakub %A Bau, Jason %A Mitchell, John %A Lee, Ruby %8 Nov. 16, 2011