Implementing an Untrusted Operating System on Trusted Hardware (2003)

by David Lie , Chandramohan A. Thekkath , Mark Horowitz
Venue:In Proceedings of the 19th ACM Symposium on Operating Systems Principles
Citations:48 - 0 self

Active Bibliography

2 Reducing the Trusted Computing Base for Applications on Commodity Systems – Jonathan M. Mccune - 2009
Separating Protection and Resource Management in Operating Systems – David Lie, Chandramohan A. Thekkath, Mark Horowitz - 2002
180 Architectural Support for Copy and Tamper Resistant Software – David Lie, Chandramohan Thekkath, Mark Mitchell, Patrick Lincoln, Dan Boneh, John Mitchell, Mark Horowitz - 2000
Optimal Parameter Selection for Efficient Memory Integrity Verification Using Merkle Hash – Dan Williams, Emin Gün Sirer
257 Terra: a virtual machine-based platform for trusted computing – Tal Garfinkel, Ben Pfaff, Jim Chow, Mendel Rosenblum, Dan Boneh - 2003
27 Architecture for Protecting Critical Secrets in Microprocessors – Ruby B. Lee , Peter C. S. Kwan, John P. McGregor, Jeffrey Dwoskin, Zhenghong Wang - 2005
2 SAFE-OPS: An approach to embedded software security – Joseph Zambreno, Alok Choudhary - 2005
48 Outbound Authentication for Programmable Secure Coprocessors – S. W. Smith - 2004
36 Experimenting with TCPA/TCG Hardware, Or: How I Learned to Stop Worrying and Love The Bear – John Marchesini, Sean Smith, Omen Wild, Rich Macdonald - 2003
Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers – Bryan Jeffrey Parno - 2010
9 Secure Quality of Service Handling: SQoSH – D. Scott Alexander, William A. Arbaugh, Angelos D. Keromytis, Steve Muir, Jonathan M. Smith - 2000
8 Chaining Layered Integrity Checks – William A. Arbaugh - 1999
Security Considerations of Commodity x86 Virtualization – Sami Vaarala - 2006
4 The AEGIS processor architecture for tamperevident and tamper resistant processing – Edward Suh, Dwaine Clarke, Blaise Gassend, Marten Van Dijk, Srini Devadas, G. Edward Suh, Dwaine Clarke, Blaise Gassend, Marten Van Dijk, Srinivas Devadas - 2003
78 AEGIS: Architecture for Tamper-Evident and Tamper-Resistant Processing – G. Edward Suh, Dwaine Clarke, Blaise Gassend, Marten van Dijk, Srinivas Devadas - 2003
Design and Implementation of a Distributed Virtual – Machine For Networked, Emin Gün Sirer, Robert Grimm, Arthur J. Gregory, Brian N. Bershad
54 Design and Implementation of a Distributed Virtual Machine for Networked Computers – Emin Gün Sirer, Robert Grimm, Arthur J. Gregory, Brian N. Bershad - 1999
38 Overshadow: A Virtualization-Based Approach to Retrofitting Protection in Commodity Operating Systems – Xiaoxin Chen, Tal Garfinkel, E. Christopher Lewis, Pratap Subrahmanyam, Carl A. Waldspurger, Dan Boneh, Jeffrey Dwoskin, Dan R. K. Ports - 2008
6 High-performance software protection using reconfigurable architectures – Joseph Zambreno, Student Member, Dan Honbo, Student Member - 2006