Xiaoqi Lu, Scott F. Smith. A microkernel virtual machine: : building security with clear interfaces. In Vugranam C. Sreedhar, Steve Zdancewic, editors, Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, PLAS 2006, Ottawa, Ontario, Canada, June 10, 2006. pages 47-56, ACM, 2006. [doi]
Abstract is missing.