Nexus: a new operating system for trustworthy computing.

Alan Shieh, Dan Williams, Emin Gn Sirer, Fred B. Schneider

Browse the full SOSP paper archive.