A microkernel virtual machine: : building security with clear interfaces.

Xiaoqi Lu, Scott F. Smith

Browse the full PLDI paper archive.