David Lie Chandramohan A. Thekkath Mark Horowitz Implementing an untrusted operating system on trusted hardware. 178-192 2003 conf/sosp/2003 SOSP http://doi.acm.org/10.1145/945445.945463 db/conf/sosp/sosp2003.html#LieTH03