0 Ganesha Bhaskara Timothy E. Levin Thuy D. Nguyen Cynthia E. Irvine Terry V. Benzel Jeffrey S. Dwoskin Ruby B. Lee 2006 Virtualization of a Processor-based Crypto-Protection Mechanism and Integration within a Separation Kernel Architecture Princeton University Department of Electrical Engineering Technical Report CE-L2006-006 November 2006 http://palms.ee.princeton.edu/PALMSopen/techreports/bhaskara06virtualization.pdf