David Lie, Chandramohan A. Thekkath, Mark Horowitz  Home/Search
Context Related
| stanford.edu/~lie/...esosp2003sub.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: nyu.edu/srg/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Recently, there has been considerable interest in providing "trusted computing platforms" using hardware --- TCPA and Palladium being the most publicly visible examples. In this paper we discuss our experience with building such a platform using a traditional time-sharing operating system executing on XOM --- a processor architecture that provides copy protection and tamper-resistance functions. In XOM, only the processor is trusted; main memory and the operating system are not trusted. (Update)
Cited by: More
RIFLE: An Architectural Framework for User-Centric - Information-Flow Security Neil (Correct)
A Survey of Some Implementation Techniques for Security Membranes - Lacoste (Correct)
Hardware and Binary Modification Support for Code Pointer .. - Tuck, Calder, Varghese (2004) (Correct)
Similar documents (at the sentence level):
5.7%: Separating Protection and Resource Management in Operating.. - Lie, Thekkath, Horowitz (2002) (Correct)
Active bibliography (related documents): More All
1.9: Architectural Support for Copy and Tamper-Resistant Software - Lie (2003) (Correct)
0.5: Architecture for Protecting Critical Secrets in Microprocessors - Ruby Lee Peter (Correct)
0.4: Specifying and Verifying Hardware for Tamper-Resistant.. - Lie, Mitchell.. (2003) (Correct)
Similar documents based on text: More All
0.5: Architectural Support for Copy and Tamper Resistant.. - Lie, Thekkath.. (2000) (Correct)
0.3: Latency Analysis of TCP on an ATM Network - Wolman, Voelker, Thekkath (1994) (Correct)
0.2: Implementing Network Protocols at User Level - Thekkath (1993) (Correct)
Related documents from co-citation: More All
5: A Secure and Reliable Bootstrap Architecture - Arbaugh, Farber et al. - 1997
5: aegis: Architecture for tamper-evident and tamper-resistant processing - Suh, Clarke et al. - 2003
4: A Note on the Confinement Problem - Lampson - 1973
BibTeX entry: (Update)
D. Lie, C. A. Thekkath, and M. Horowitz. Implementing an untrusted operating system on trusted hardware. In Proceedings of the nineteenth ACM symposium on Operating systems principles, pages 178--192. ACM Press, 2003. http://citeseer.ist.psu.edu/lie03implementing.html More
@misc{ lie03implementing,
author = "D. Lie and C. Thekkath and M. Horowitz",
title = "Implementing an untrusted operating system on trusted hardware",
text = "D. Lie, C. A. Thekkath, and M. Horowitz. Implementing an untrusted operating
system on trusted hardware. In Proceedings of the nineteenth ACM symposium
on Operating systems principles, pages 178--192. ACM Press, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/lie03implementing.html" }
Citations (may not include all citations):1529 A method for obtaining digital signatures and public key cry.. - Rivest, Shamir et al. - 1978
447 Exokernel: An operating system architecture for application-.. - Engler, Kaashoek et al. - 1995
444 Mach: A new kernel foundation for UNIX development (context) - Accetta, Baron et al. - 1986
253 Authentication in distributed systems: Theory and practice - Lampson, Abadi et al. - 1992
217 HMAC: Keyed-hashing for message authentication (context) - Krawczyk, Bellare et al. - 1997
194 The protection of information in computer systems (context) - Saltzer, Schroeder - 1975
63 A secure and reliable bootstrap architecture - Arbaugh, Farber et al. - 1997
57 programmable secure coprocessor (context) - Smith, Palmer et al. - 1998
54 Architectural support for copy and tamper resistant software - Lie, Thekkath et al. - 2000
49 possibility of obfuscating programs (context) - Barak, Goldreich et al. - 2001
39 EROS: a fast capability system - Shapiro, Smith et al. - 1999
33 How to build a trusted database system on untrusted storage (context) - Maheshwari, Vingralek et al. - 2000
32 Using Complete Machine Simulation to Understand Computer Sys.. (context) - Herrod - 1998
30 Microprocessor User's Manual (context) - Heinrich - 1996
25 Design and verification of secure systems - Rushby - 1981
25 Dyad: A system for using physically secure coprocessors - Tygar, Yee - 1991
11 Message authentication with MD (context) - Jr, Robshaw - 1995
8 Digital rights management operating system (context) - England, DeTreville et al. - 2001
6 The TrustNo1 cryptoprocessor concept (context) - Kuhn - 1997
5 Caches and Merkle trees for efficient memory authentication (context) - Gassend, Suh et al. - 2003
5 Specifying and verifying hardware for tamper-resistant softw.. - Lie, Mitchell et al. - 2003
4 Loading and identifying a digital rights management operatin.. (context) - England, DeTreville et al. - 2001
4 Hardware security for software privacy support (context) - Gilmont, Legat et al. - 2096
4 An architecture of security management unit for safe hosting.. - Gilmont, Legat et al. - 1998
2 Home Page (context) - IRIX - 2003
Documents on the same site (http://www.scs.cs.nyu.edu/srg/): More
Netbait: a Distributed Worm Detection Service - Chun, Lee, Weatherspoon (2003) (Correct)
A Case for End System Multicast - Yang-Hua Chu Sanjay (2001) (Correct)
Democratizing content publication with Coral - Freedman, Freudenthal, Mazières (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC