David J. Lie  Home/Search
Context Related
| stanford.edu/papers/djl_thesis.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: stanford.edu/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Recently, there has been intense interest in the implementation of a trusted computing platform. Industry projects such as the Trusted Computing Platform Alliance, Microsoft's Palladium Project, and Intel's LaGrand Technologies all aim to embed hardware to support some amount of protection for applications so that they can be tamper-resistant. (Update)
Cited by: More
RIFLE: An Architectural Framework for User-Centric - Information-Flow Security Neil (Correct)
A Combined Hardware and Software Architecture for - Secure Computing Org (Correct)
A new Encryption and Hashing Scheme for the - Security Architecture For (Correct)
Similar documents (at the sentence level):
11.0%: Specifying and Verifying Hardware for Tamper-Resistant.. - Lie, Mitchell.. (2003) (Correct)
Active bibliography (related documents): More All
1.9: Implementing an Untrusted Operating System on Trusted Hardware - Lie, Thekkath, Horowitz (2003) (Correct)
0.8: Separating Protection and Resource Management in Operating.. - Lie, Thekkath, Horowitz (2002) (Correct)
0.5: Fast Secure Processor for Inhibiting Software Piracy and.. - Jun Yang Youtao (2003) (Correct)
Similar documents based on text: More All
0.1: Solving Fair Exchange with Mobile Agents - Pagnia, Vogt, Gärtner, Wilhelm (2000) (Correct)
0.1: Security in Ad Hoc Networks - Yan (Correct)
0.0: The "Ticket" Concept for Copy Control Based on Embedded Signalling - Linnartz (1998) (Correct)
Related documents from co-citation: More All
24: aegis: Architecture for tamper-evident and tamper-resistant processing - Suh, Clarke et al. - 2003
19: programmable secure coprocessor (context) - Smith, Perez et al. - 1999
11: Stackguard: Automatic adaptive detection and prevention of buffer-overflow attac.. - Cowan, Pu et al. - 1998
BibTeX entry: (Update)
David Lie, Chandramohan Thekkath, Mark Mitchell, Patrick Lincoln, Dan Boneh, John Mitchell, and Mark Horowitz. Architectural support for copy and tamper resistant software. In Architectural Support for Programming Languages and Operating Systems, pages 168--177, Cambridge, MA, November 2000. http://citeseer.ist.psu.edu/article/lie03architectural.html More
@inproceedings{ lie00architectural,
author = "David Lie and Chandramohan A. Thekkath and Mark Mitchell and Patrick Lincoln and Dan Boneh and John C. Mitchell and Mark Horowitz",
title = "Architectural Support for Copy and Tamper Resistant Software",
booktitle = "Architectural Support for Programming Languages and Operating Systems",
pages = "168-177",
year = "2000",
url = "citeseer.ist.psu.edu/article/lie03architectural.html" }
Citations (may not include all citations):1529 A method for obtaining digital signatures and public key cry.. - Rivest, Shamir et al. - 1978
601 A public-key cryptosystem and signature scheme based on disc.. (context) - ElGamal - 1985
404 A calculus for cryptographic protocols: the spi calculus - Abadi, Gordon
317 IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
274 The existence of refinement mappings - Abadi, Lamport - 1991
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
184 Automated analysis of cryptographic protocols using murphi - Mitchell, Mitchell et al.
173 Protocol verification as a hardware design aid - Dill, Drexler et al. - 1992
115 Low cost attacks on tamper resistant devices - Anderson, Kuhn - 1997
114 A probabilistic poly-time framework for protocol analysis - Lincoln, Mitchell et al. - 1998
109 A type system for object initialization in the java bytecode.. - Freund, Mitchell - 1999
99 Modelling and verifying key-exchange protocols using CSP and.. - Roscoe - 1995
98 Security properties and CSP - Schneider
77 Certificate revocation and certificate update - Naor, Nissim - 1998
69 Disco: Running commodity operating systems on scalable multi.. - Bugnion, Devine et al. - 1997
66 Embra: Fast and flexible machine simulation - Witchel, Rosenblum - 1996
61 Towards sound approaches to counteract power analysis attack.. (context) - Chari, Jutla et al. - 1999
57 Software protection and simulation on oblivious RAMs - Goldreich, Ostrovsky - 1996
57 programmable secure coprocessor (context) - Smith, Perez et al. - 1999
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
49 Survey of virtual machine research (context) - Goldberg - 1974
48 On certificate revocation and validation (context) - Kocher - 1998
48 A sanctuary for mobile agents - Yee - 1997
43 The spin model checker (context) - Holzmann - 1997
40 A taxonomy of obfuscating transformations - Collberg, Thomborson et al. - 1997
38 Formal verification of the gigamax cache consistency protoco.. (context) - McMillan, Schwalbe - 1991
35 Implementation of an authenticated dictionary with skip list.. - Goodrich, Tamassia et al. - 2001
35 Automatic verification of the SCI cache coherence protocol - Stern, Dill - 1995
32 American national standard for financial institution key man.. (context) - Revised - 1985
32 Using Complete Machine Simulation to Understand Computer Sys.. (context) - Herrod - 1998
31 Memory bandwidth and machine balance in current high perform.. (context) - McCalpin - 1995
30 Microprocessor User's Manual (context) - Heinrich - 1996
28 Analysis of a fair exchange protocol - Shmatikov, Mitchell - 2000
25 Dyad: A system for using physically secure coprocessors - Tygar, Yee - 1991
24 Fast digital identity revocation (context) - Aiello, Lodha et al. - 1998
22 A simple method for extracting models from protocol code - Lie, Chou et al. - 2001
13 Comments to NIST concerning AES-modes of operations: CTR-mod.. - Lipmaa, Rogaway et al. - 2000
12 CERT Coordination Center (context) - CC, vulnerability et al. - 2002
10 Keeping secrets in hardware: The microsoft XBox case study (context) - Huang
9 How to manage persistent state in DRM systems - Shapiro, Vingralek - 2001
9 Specifying Systems (context) - Lamport - 2002
8 Digital rights management operating system (context) - England, DeTreville et al. - 2001
6 The TrustNo1 cryptoprocessor concept (context) - Kuhn - 1997
6 National Institute of Standards and Technology (context) - Daemen, Rijmen et al. - 2000
5 Caches and Merkle trees for efficient memory authentication (context) - Gassend, Suh et al. - 2003
4 Informing memory operations: Memory performance feedback mec.. - Horowitz, Martonoisi et al. - 1998
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.
4 An architecture of security management unit for safe hosting.. - Gilmont, Legat et al. - 1998
2 A block-cipher mode of operation for efficient authenticated.. (context) - Rogaway, Bellare et al. - 2001
2 XOR MAC's: New methods for message authentication using fini.. (context) - Bellare, Guerin et al. - 1995
2 Home Page (context) - IRIX - 2003
2 Enhancing the security in the memory management unit (context) - Gilmont, Legat et al. - 1999
1 gbps full-AES crypto design with a twisted-BDD S-Box archite.. (context) - Morioka, Satoh
1 Non-invasive timing analysis of IBM G6 microprocessor L1 cac.. (context) - Polonsky, Knebel et al. - 2000
1 internet PKI online certificate status protocol - OCSP (context) - Myers, Ankney et al. - 1999
1 IBM PCI Cryptographic Coprocessor: General Information Manua.. (context) - Corporation
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://mos.stanford.edu/papers/): More
Architecture and Circuit Techniques for a Reconfigurable Memory .. - Ken Mai Ron (Correct)
Burst Mode Packet Receiver Using a Second Order DLL - Lee, Yue, Palermo, Mai.. (Correct)
A Framework For Designing Reusable Analog Circuits - And The Committee (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