Implementing an untrusted operating system on trusted hardware.

David Lie, Chandramohan A. Thekkath, Mark Horowitz

Browse the full SOSP paper archive.