CryptoPage: An efficient secure architecture with memory encryption, integrity and information leakage protection

Proceedings - Annual Computer Security Applications Conference, ACSAC

Volumn , Issue , 2006, Pages 483-492

  Duc, Guillaume ^a   Keryell, Ronan ^a  

^a ECOLE DES MINES DE NANTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTHENTICATION; COMPUTER ARCHITECTURE; DATA STORAGE EQUIPMENT; INFORMATION DISSEMINATION;

COMPUTING HARDWARE ARCHITECTURES; COUNTER MODE; CRYPTOPAGE ARCHITECTURE; TAMPER RESISTANT ENVIRONMENT;

PUBLIC KEY CRYPTOGRAPHY;

EID: 39049169674     PISSN: 10639527     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSAC.2006.21     Document Type: Conference Paper

References (30)

1. T. Austin, E. Larson, and D. Ernst. SIMPLESCALAR: An infrastructure for computer system modeling. Computer, 35(2):59-67, Feb. 2002.
2. M. Bellare, A. Desai, E. Jokipii, and P. Rogaway. A concrete security treatment of symmetric encryption. In Proceedings of the 38th Annual Symposium on Foundations of Computer Science (FOCS '97), pages 394-403. IEEE Computer Society, Oct. 1997.
3. M. Bellare and C. Namprempre. Authenticated encryption: Relations among notions and analysis of the generic composition paradigm. In Springer-Verlag, editor, Advances in Cryptology - Asiacrypt 2000 Proceedings, volume 1976 of Lecture Notes in Computer Science, 2000.
4. D. Clarke, G. E. Suh, B. Gassend, A. Sudan, M. van Dijk, and S. Devadas. Towards constant bandwidth overhead integrity checking of untrusted data. In Proceedings of the 2005 IEEE Symposium on Security and Privacy, pages 139153. IEEE Computer Society, May 2005.
5. G. Duc. CRYPTOPAGE -an architecture to run secure processes. Diplôme d'Études Approfondies, École Nationale Supérieure des Télécommunications de Bretagne, DEA de l'Université de Rennes 1, June 2004. http://enstb.org/~gduc/dea/rapport/ rapport.pdf.
6. G. Duc, R. Keryell, and C. Lauradoux. CRYPTOPAGE : Support matériel pour cryptoprocessus. Technique et Science Informatiques, 24:667-701, 2005.
7. B. Gassend, G. E. Suh, D. Clarke, M. van Dijk, and S. Devadas. Caches and hash trees for efficient memory integrity verification. In Proceedings of the 9th International Symposium on High-Performance Computer Architecture (HPCA '03), pages 295-306, Feb. 2003.
8. O. Goldreich and R. Ostrovsky. Software protection and simulation on oblivious RAMs. Journal of the ACM, 43(3):431-473, 1996.
9. J. L. Henning. SPEC CPU2000: measuring CPU performance in the new millennium. IEEE Computer, 33(7):28-35, July 2000.
10. A. Huang. Keeping secrets in hardware: the Microsoft XBox (TM) case study. Technical Report AI Memo 2002-008, MIT, May 2002.
11. ISO/EC 9797. Data cryptographic techniques -data integrity mechanism using a cryptographic check function employing a block cipher algorithm, 1989.
12. R. Keryell. CRYPTOPAGE-1 : vers la fin du piratage informatique ? In Symposium d'Architecture (SYMPA '6), pages 35-44, Besançon, June 2000.
13. P. C. Kocher. Timing attacks on implementations of DIFFIE-HELLMAN, RSA, DSS, and other systems. In Proceedings of the 16th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO '96), number 1109, pages 104-113. Springer-Verlag, Aug. 1996.
14. P. C. Kocher, J. Jaffe, and B. Jun. Differential power analysis. In Proceedings of the 19th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO '99), number 1666, pages 388-397. Springer-Verlag, Aug. 1999.
15. C. Lauradoux and R. Keryell. CRYPTOPAGE-2 : un processeur sécurisé contre le rejeu. In Symposium en Architecture et Adéquation Algorithme Architecture (SYMPAAA'2003), pages 314-321, La Colle sur Loup, France, Oct. 2003.
16. D. Lie, C. Thekkath, M. Mitchell, P. Lincoln, D. Boneh, J. Mitchell, and M. Horowitz. Architectural support for copy and tamper resistant software. In Proceedings of the Ninth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS IX), pages 168-177, Oct. 2000.
17. D. Lie, C. A. Trekkath, and M. Horowitz. Implementing an untrusted operating system on trusted hardware. In Proceedings of the 9th ACM Symposium on Operating Systems Principles (SOSP'03), pages 178-192, Oct. 2003.
18. D. J. Lie. Architectural support for copy and tamper-resistant software. PhD thesis, Stanford University, 2004.
19. D. A. McGrew and J. Viega. The galois/counter mode of operation. Submission to NIST Modes of Operation Process, May 2005. http://csrc.nist.gov/ CryptoToolkit/modes/proposedmodes.
20. R. C. Merkle. A certified digital signature. In Proceedings on Advanced in Cryptology (CRYPTO '89), volume 435, pages 218-238. Springer-Verlag New York, Inc., 1989.
21. Microsoft Corporation. NGSCB: Trusted Computing Base and Software Authentication, 2003. http://www.microsoft.com/resources/ngscb/ documents/ngscb.tcb.doc.
22. Microsoft Corporation. Security Model for the Next-Generation Secure Computing Base, 2003. http://www.microsoft.com/resources/ngscb/documents/ NGSCB_Security-Model.doc.
23. NIST. Computer data authentication, May 1985. Federal Information Processing Standards Publication 113.
24. NIST. Recommendation for block cipher modes of operation, Dec. 2001. Special Publication 800-38A.
25. W. Shi, H.-H. S. Lee, M. Ghosh, C. Lu, and A. Boldyreva. High efficiency counter mode security architecture via prediction and precomputation. In Proceedings of the 32nd Annual International Symposium on Computer Architecture (ISCA'05), pages 14-24. IEEE Computer Society, June 2005.
26. G. E. Suh, D. Clarke, B. Gassend, M. van Dijk, and S. Devadas. AEGIS: Architecture for tamper-evident and tamper-resistant processing. In Proceedings of the 17th International Conference on Supercomputing (ICS '03), pages 160171, June 2003.
27. G. E. Suh, C. W. O'Donnell, I. Sachdev, and S. Devadas. Design and implementation of the AEGIS single-chip secure processor using physical random functions. In Proceedings of the 32nd Annual International Symposium on Computer Architecture (ISCA '05), pages 25-36. IEEE Computer Society, June 2005.
28. Trusted Computing Group, Mar. 2005. http://www.trustedcomputinggroup.org.
29. C. Yan, D. Englender, M. Prvulovic, B. Rogers, and Y. Solihin. Improving cost, performance, and security of memory encryption and authentication. In Proceedings of the 33rd International Symposium on Computer Architecture (ISCA'06), pages 179-190. IEEE Computer Society, June 2006.
30. X. Zhuang, T. Zhang, and S. Pande. HIDE: an infrastructure for efficiently protecting information leakage on the address bus. In Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-XI), pages 72-84. ACM Press, Oct. 2004.