@article { , title = {Trust but Verify: Trust Evidence for Hypervisor-Secure Virtualization}, journal = {Princeton University Department of Electrical Engineering Technical Report CE-L2011-008}, year = {2011}, month = {Nov. 16, 2011}, author = {Jakub Szefer and Jason Bau and John C. Mitchell and Ruby B. Lee} }