Secure virtual architecture: A safe execution environment for commodity operating systems (2007)

by J Criswell, A Lenharth, D Dhurjati, V Adve
Venue:In ACM SIGOPS Symposium on Operating Systems Principles (SOSP