HIDE: An infrastructure for efficiently protecting information leakage on the address bus

11th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS XI

Volumn , Issue , 2004, Pages 72-84

  Zhuang, Xiaotong ^a   Zhang, Tao ^a   Pande, Santosh ^a  

^a Georgia Institute of Technology   (United States)

Author keywords

Address Bus Leakage Protection; Secure Processor

Indexed keywords

ADDRESS BUS; HARDWARE SUPPORT FOR LEAKAGE IMMUNE DYNAMIC EXECUTION (HIDE); LEAKAGE PROTECTION; SECURE PROCESSORS;

COMPUTER ARCHITECTURE; COMPUTER CRIME; COMPUTER HARDWARE; CRYPTOGRAPHY; INTERFACES (COMPUTER); OPTIMIZATION; PROGRAM COMPILERS; PROGRAM PROCESSORS;

SECURITY OF DATA;

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

References (25)

1. D.Lie, C.Thekkath, M.Mitchell, P.Lincoln, D.Boneh, J.Mitchell, M.Horowitz, "Architectural Support for Copy and Tamper Resistant Software," International Conference on Architectural Support for Programming Languages and Operating Systems, Nov. 2000.
2. D.Lie, C.Thekkath, M.Horowitz, "Implementing an Untrusted Operating System on Trusted Hardware," 19th ACM Symposium on Operating Systems Principles (SOSP 2003), Oct. 2003.
3. J.Yang, Y.Zhang, L.Gao, "Fast Secure Processor for Inhibiting Software Piracy and Tampering," International Symposium on Microarchitecture, Dec. 2003.
4. E.Suh, D.Clarke, B.Gassend, M.v.Dijk, S.Devadas, "Efficient Memory Integrity Verification and Encryption for Secure Processors", International Symposium on Microarchitecture, Dec. 2003.
5. B.Gassend, G.E.Suh, D.Clarke, M.v.Dijk, S.Devadas, "Caches and Hash Trees for Efficient Memory Integrity Verification", International Symposium on High Performance Computer Architecture, Feb. 2003.
6. G.E.Suh, D.Clarke, B.Gassend, M.v.Dijk, S.Devadas, "AEGIS: Architecture for Tamper-Evident and Tamper-Resistant Processing," International Conference on Supercomputing, Jun. 2003.
7. M.G.Kuhn, "Cipher Instruction Search Attack on the Bus-Encryption Security Microcontroller DS5002FP," IEEE Transaction on Computers, Vol.47, No.10, pp.1153-1157, 1998.
8. M.Kuhn, "The TrustNo 1 Cryptoprocessor Concept," CS555 Report, Purdue Univ. 1997.
9. O.Goldreich, "Towards a Theory of Software Protection and Simulation by Oblivious RAMs," The 19th Annual ACM Symposium on Theory of Computing (STOC), 1987.
10. O.Goldreich, R. Ostrovsky, "Software Protection and Simulation on Oblivious RAMs," Journal of the ACM, Vol.43, No.3, 1996.
11. "DS5002FP secure microprocessor chip data sheet," Dallas Semiconductor.
12. J.R.Ullman, "An Algorithm for subgraph Isomorphism," Journal of the ACM, Vol.23, pp.31-42, 1976.
13. VFLib Graph Matching Library, http://amalfi.dis.unina.it/graph/db/vflib- 2.0/doc/vflib-1.html
14. P.C.Kocher, "Timing attacks on implementations of Die-Hellman, RSA, DSS, and other systems," International Cryptology Conference, 1996.
15. P.Kocher, J.Jaffe, B.Jun, "Differential Power Analysis", International Cryptology Conference, 1999.
16. K.Gandolfi, C.Mourtel, F.Olivier, "Electromagnetic Analysis: Concrete Cresults," In Workshop on Cryptographic hardware and Embedded Systems, 2001.
17. D.Burger, T.M.Austin. "The SimpleScalar Tool Set Version 2.0," TR. 1342, Univ. of Wisconsin-Madison, May 1997.
18. R.Anderson, M.Kuhn, "Low Cost Attacks on Tamper Resistant Devices," Security Protocols Workshop, 1997.
19. J. Kelsey, B. Schneier, D.Wagner, and C. Hall, "Side channel cryptanalysis of product ciphers," European Symposium on Research in Computer Security, Sep. 1998
20. T.Sherwood, E.Perelman, G.Hamerly, B.Calder, "Automatically Characterizing Large Scale Program Behavior," International Conference on Architectural Support for Programming Languages and Operating Systems Oct. 2002.
21. A.Huang, "Keeping Secrets in Hardware: the Microsoft Xbox (TM) Case Study," MIT TR. AIM-2002-008, May 26, 2002.
22. C. McClure, "Software Reuse Planning by Way of Domain Analysis," Technical Paper, Extended Intelligence, Inc. http://www.reusability.com.
23. D.E.Knuth, "Seminumerical Algorithms," The Art of Computer Programming, Vol. 3, Addison Wesley 1981.
24. T.Zhang, S.Pande, A.D.Santos, F.Bruecklmayer, "Leakage-proof Program Partitioning," International Conference on Compiler, Architecture and Synthesis for Embedded Systems, Oct. 2002.
25. T.Zhang, S.Pande, A.Valverde, "Tamper-resistant Whole Program Partitioning," International Conference on Languages, Compilers, and Tools for Embedded Systems, Jun. 2003.