John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve. Secure virtual architecture: a safe execution environment for commodity operating systems. In Thomas C. Bressoud, M. Frans Kaashoek, editors, Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, SOSP 2007, Stevenson, Washington, USA, October 14-17, 2007. pages 351-366, ACM, 2007. [doi]