The trusted execution module: Commodity general-purpose trusted computing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5189 LNCS, Issue , 2008, Pages 133-148

  Costan, Victor ^a   Sarmenta, Luis F G ^a   Van Dijk, Marten ^a   Devadas, Srinivas ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; MOBILE AGENTS; SMART CARDS; SPECIFICATIONS; CRYPTOGRAPHY; FIXED PLATFORMS; INTERNET; TRANSPORTATION;

ADVANCED APPLICATIONS; APPLICATION-SPECIFIC; CRYPTOGRAPHIC FUNCTIONS; ENCRYPTION KEYS; INTERNATIONAL CONFERENCES; MULTI-PLAYER ONLINE GAMES; NEW APPLICATIONS; OFF-LINE PAYMENT; PEER-TO-PEER; PRE-PROGRAMMING; SMART CARD; TRUSTED COMPUTING; TRUSTED ENVIRONMENT; TRUSTED PLATFORM MODULE;

CRYPTOGRAPHY; TRUSTED COMPUTING;

CRYPTOGRAPHIC FUNCTIONS; HIGH LEVEL SPECIFICATION; MULTI-PLAYER ONLINE GAMES; NEW APPLICATIONS; OFFLINE PAYMENTS; OR APPLICATIONS; PRE-PROGRAMMING; SECURE EXECUTION;

EID: 52949106502     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85893-5_10     Document Type: Conference Paper

References (27)

1. Costan, V.: A commodity trusted computing module. Master's thesis, Massachusetts Institute of Technology (2008), http://tem.rubyforge.org
2. Arnold, T., Van Doom, L.: The IBM PCIXCC: A new cryptographic coprocessor for the IBM eServer. IBM Journal of Research and Development 48, 475-487 (2004)
3. Suh, G., Clarke, D., Gassend, B., van Dijk, M., Devadas, S.: AEGIS: architecture for tamper-evident and tamper-resist ant processing. In: Proceedings of the 17th annual international conference on Supercomputing, pp. 160-171 (2003)
4. Hendry, M.: Smart Card Security and Applications. Artech House (2001)
5. Husemann, D.: Standards in the smart card world. Computer Networks 36, 473-487 (2001)
6. Maosco, L.: (MultOS), http://www.multos.com/ [cited May, 2008]
7. Sun Microsystems, I.: Java Card Platform Specification 2.2.1 (2003), http://java.sun.com/javacard/specs.html [cited May, 2008]
8. Lawson, N.: TPM hardware attacks. root labs rdist (2007), http://rdist.root.org/2007/07/16/tpm-hardware-attacks/ [cited May, 2008]
9. Lawson, N.: TPM hardware attacks (part 2). root labs rdist (2007), http://rdist.root.org/2007/07/17/tpm-hardware-attacks-part-2/ [cited May, 2008]
10. Sarmenta, L., van Dijk, M., O'Donnell, C., Rhodes, J., Devadas, S.: Virtual monotonic counters and count-limited objects using a TPM without a trusted OS. In: Proceedings of the first ACM workshop on Scalable trusted computing, pp. 27-42 (2006)
11. Group, T.C.: Trusted platform module main (2007), https://www. trustedcomputinggroup.org/specs/TPM/ [cited May, 2008]
12. Housley, R., Polk, W., Ford, W., Solo, D.: Internet X. 509 Public Key Infrastructure Certificate and Certificate Revocation List (CRL) Profile (2002)
13. Lindholm, T., Yellin, F.: Java Virtual Machine Specification. Addison-Wesley Longman Publishing Co., Inc, Boston (1999)
14. Sussman, G.J.: Guy Lewis Steele, J.: Scheme: An interpreter for extended lambda calculus. Technical Report AI Lab Memo AIM-349, MIT AI Lab (1975)
15. Guy Lewis Steele, J.: Lambda: The ultimate declarative. Technical Report AI Lab Memo AIM-379, MIT AI Lab (1976)
16. Guy Lewis Steele, J., Sussman, G.J.: Lambda: The ultimate imperative. Technical Report AI Lab Memo AIM-353, MIT AI Lab (1976)
17. For Standardizing Information, E.A., Systems, C: 262: ECMAScript Language Specification. ECMA, Geneva, Switzerland, third edition (1999), http://www.ecma-international.org/publications/files/ECMA-ST/Ecma-262.pdf
18. Cox, B.: Object oriented programming: an evolutionary approach. Addison-Wesley Longman Publishing Co., Inc., Boston (1986)
19. Guy Lewis Steele, J.: Rabbit: A compiler for scheme. Master's thesis, MIT AI Lab (1978)
20. Eastlake, D., Jones, P.: RFC 3174: US Secure Hash Algorithm 1 (SHA1). Internet RFCs (2001)
21. Leach, P., Mealling, M., Salz, R.: RFC 4122: A Universally Unique IDentifier (UUID) URN Namespace (2005)
22. Freier, A., Karlton, P., Kocher, P.: Secure Socket Layer 3.0. IETF draft (1996)
23. Sasada, K.: YARV: yet another RubyVM: innovating the ruby interpreter. In: Conference on OOP Systems Languages and Applications, pp. 158-159 (2005)
24. Merkle, R.: Protocols for public key cryptosystems. In: Proceedings of the IEEE Symposium on Security and Privacy, pp. 122-133 (1980)
25. Gassend, B., Clarke, D., van Dijk, M., Devadas, S.: Silicon physical random functions. In: Proceedings of the 9th ACM conference on Computer and communications security, pp. 148-160 (2002)
26. Cuadrado, J., Molina, J.: Building Domain-Specific Languages for Model-Driven Development, Software, IEEE 24, 48-55 (2007)
27. Cunningham, H.: Reflexive metaprogramming in Ruby: tutorial presentation. Journal of Computing Sciences in Colleges 22, 145-146 (2007)