Lie, et al.. Implementing an Untrusted Operating System on Trusted Hardware. ACM Press, 2003, doi:10.1145/945461.945463.