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