Side effects are not sufficient to authenticate software

Proceedings of the 13th USENIX Security Symposium

Volumn , Issue , 2004, Pages

  Shankar, Umesh ^a   Chew, Monica ^a   Tygar, J D ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ON-MACHINES; REMOTE MACHINES; SIDE EFFECT; SUBSTITUTION ATTACK; TRUSTED HARDWARES; TRUSTED SOFTWARES;

EID: 85084162788     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. DoD. Standard department of defense trusted computer system evaluation criteria, December 1985.
2. Drew Dean and Adam Stubblefield. Using client puzzles to protect TLS. In 10th USENIX Security Symposium. USENIX Association, 2001.
3. Trusted Computing Group. Trusted computing group main specification, v1.1. Technical report, Trusted Computing Group, 2001.
4. Andrew Huang. Hacking the Xbox: an introduction to reverse engineering. No Starch Press, July 2003.
5. Intel. Model specific registers and functions. http://www.intel.com/design/intarch/techinfo/Pentium/mdelregs.htm, 2003.
6. Rick Kennell and Leah H. Jamieson. Establishing the genuinity of remote computer systems. In 12th USENIX Security Symposium, pages 295-310. USENIX Association, 2003.
7. Will E. Leland, Murad S. Taqq, Walter Willinger, and Daniel V. Wilson. On the self-similar nature of Ethernet traffic. In Deepinder P. Sidhu, editor, ACM SIGCOMM, pages 183-193, San Francisco, California, 1993.
8. Microsoft. Next generation secure computing base. http://www.microsoft.com/resources.
9. George C. Necula. Proof-carrying code. In Conference Record of POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 106-119, Paris, France, jan 1997.
10. NIST. The common criteria and evaluation scheme. http://niap.nist.gov/cc-scheme/, 2004.
11. Arvind Seshadri, Adrian Perrig, Leendert van Doorn, and Pradeep Khosla. Swatt: Software-based attestation for embedded devices. In IEEE Symposium on Security and Privacy, 2004.
12. S. Smith, R. Perez, S. Weingart, and V. Austel. Validating a high-performance, programmable secure coprocessor. In 22nd National Information Systems Security Conference, October 1999.
13. Bennett Yee and J. D. Tygar. Secure coprocessors in electronic commerce applications. In First USENIX Workshop on Electronic Commerce, pages 155-170, 1995.