A secure processor architecture for encrypted computation on untrusted programs

Proceedings of the ACM Conference on Computer and Communications Security

Volumn , Issue , 2012, Pages 3-8

  Fletcher, Christopher ^a   Van Dijk, Marten ^b   Devadas, Srinivas ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b RSA Laboratories   (United States)

Author keywords

Encrypted computation; Secure processors

Indexed keywords

ARITHMETIC INSTRUCTIONS; DATA MEMORY; ENCRYPTED DATA; MEMORY ACCESS PATTERNS; PERIODIC ACCESS; PROCESSOR ARCHITECTURES; RUNNING-IN; SECURE PROCESSORS; SOFTWARE STACKS; UNTRUSTED SERVER;

COMPUTER ARCHITECTURE; DATA PRIVACY; RANDOM ACCESS STORAGE;

CRYPTOGRAPHY;

EID: 84869402047     PISSN: 15437221     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2382536.2382540     Document Type: Conference Paper

References (18)

1. Tiago Alves and Don Felton. Trustzone: Integrated hardware and software security. ARM white paper, July 2004.
2. Christopher Fletcher, Marten van Dijk, and Srinivas Devadas. Compilation techniques for efficient encrypted computation. Cryptology ePrint Archive, Report 2012/266, 2012.
3. C. Gentry. Fully homomorphic encryption using ideal lattices. In STOC'09, pages 169-178, 2009.
4. C. Gentry, S. Halevi, and N.P. Smart. Homomorphic Evaluation of the AES Circuit. IACR eprint archive, 2012.
5. O. Goldreich. Towards a theory of software protection and simulation on oblivious rams. In STOC, 1987.
6. Oded Goldreich and Rafail Ostrovsky. Software Protection and Simulation on Oblivious RAMs. Journal of the ACM, 43(3):431-473, 1996. (Pubitemid 126607640)
7. Darryl Gove. Cpu2006 working set size. SIGARCH Comput. Archit. News, 35(1):90-96, March 2007.
8. David Grawrock. The Intel Safer Computing Initiative: Building Blocks for Trusted Computing. Intel Press, 2006.
9. Dave Levin, John R. Douceur, Jacob R. Lorch, and Thomas Moscibroda. Trinc: Small trusted hardware for large distributed systems. In NSDI, 2009.
10. th Int'l Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-IX), pages 168-177, November 2000. (Pubitemid 32470896)
11. R. Ostrovsky. Efficient computation on oblivious rams. In STOC, 1990.
12. Luis F. G. Sarmenta, Marten van Dijk, Charles W. O'Donnell, Jonathan Rhodes, and Srinivas Devadas. Virtual Monotonic Counters and Count-Limited Objects using a TPM without a Trusted OS. In Proceedings of the 1st ACM CCS Workshop on Scalable Trusted Computing (STC'06), November 2006.
13. 3) worst-case cost. In Asiacrypt, pages 197-214, 2011.
14. E. Stefanov and E. Shi. Path O-RAM: An Extremely Simple Oblivious RAM Protocol. Cornell University Library, arXiv:1202.5150v1, 2012. arxiv.org/abs/1202.5150.
15. E. Stefanov, E. Shi, and D. Song. Towards practical oblivious ram. In NDSS, 2012.
16. th Int'l Conference on Supercomputing (MIT-CSAIL-CSG-Memo-474 is an updated version), New-York, June 2003. ACM.
17. Trusted Computing Group. Trusted Computing Platform Alliance (TCPA) Main Specification Version 1.1b. https://www.trustedcomputinggroup.org/specs/TPM/ TCPA-Main-TCG-Architecture-v1-1b.pdf, 2003.
18. Bennet S. Yee. Using Secure Coprocessors. PhD thesis, Carnegie Mellon University, 1994.