A case for secure and scalable hypervisor using safe language.

Haibo Chen, Binyu Zang

Browse the full PPoPP paper archive.