Secure computation with information leaking to an adversary

Proceedings of the Annual ACM Symposium on Theory of Computing

Volumn , Issue , 2011, Pages 715-724

  Ajtai, Miklós ^a  

^a IBM ALMADEN RESEARCH CENTER   (United States)

Author keywords

boolean circuit; ram; sidechannel attack

Indexed keywords

COMPUTATION THEORY; EQUIVALENT CIRCUITS; LOGIC CIRCUITS; PROBABILITY; RANDOM ACCESS STORAGE; SEMICONDUCTOR STORAGE; SIDE CHANNEL ATTACK;

BOOLEAN CIRCUIT; INPUT/OUTPUT; MEMORY CELL; OUTPUT BITS; POSITIVE INTEGERS; SECURE COMPUTATION; SPACE REQUIREMENTS;

C (PROGRAMMING LANGUAGE);

EID: 79959763972     PISSN: 07378017     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1993636.1993731     Document Type: Conference Paper

References (13)

1. A. V. Aho, J. E. Hopcroft, and J. D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley Publishing Company, Reading, Massachusetts, 1974.
2. M. Ajtai. Oblivious RAMs without cryptographic assumptions. Electronic Colloquium on Computational Complexity (ECCC), 17:28, 2010.
3. M. Ajtai. Oblivious RAMs without cryptogrpahic assumptions. In L. J. Schulman, editor, Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, Massachusetts, USA, 5-8 June 2010, pages 181-190. ACM, 2010.
4. I. Damgård, S. Meldgaard, and J. B. Nielsen. Perfectly secure oblivious RAM without random oracles. Cryptology ePrint Archive, Report 2010/108, 2010. To appear in TCC 2011.
5. S. Faust, T. Rabin, L. Reyzin, E. Tromer, and V. Vaikuntanathan. Protecting circuits from leakage: the computationally-bounded and noisy cases. In H. Gilbert, editor, Advances in Cryptology - EUROCRYPT 2010, 29th Annual International Conference on the Theory and Applications of Cryptographic Techniques, French Riviera, May 30 - June 3, 2010. Proceedings, volume 6110 of Lecture Notes in Computer Science, pages 135-156. Springer, 2010.
6. O. Goldreich. Towards a theory of software protection and simulation by oblivious RAMs. In STOC, Proceedings of the Nineteenth Annual ACM Symposium on Theory of Computing, 25-27 May 1987, New York City, NY, USA, pages 182-194. ACM, 1987.
7. O. Goldreich and R. Ostrovsky. Software protection and simulation on oblivious RAMs. J. ACM, 43(3):431-473, 1996.
8. S. Goldwasser and G. N. Rothblum. Securing computation against continuous leakage. In T. Rabin, editor, Advances in Cryptology - CRYPTO 2010, 30th Annual Cryptology Conference, Santa Barbara, CA, USA, August 15-19, 2010. Proceedings, volume 6223 of Lecture Notes in Computer Science, pages 59-79. Springer, 2010.
9. Y. Ishai, A. Sahai, and D. Wagner. Private circuits: Securing hardware against probing attacks. In D. Boneh, editor, Advances in Cryptology - CRYPTO 2003, 23rd Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 2003, Proceedings, volume 2729 of Lecture Notes in Computer Science, pages 463-481. Springer, 2003.
10. S. Micali and L. Reyzin. Physically observable cryptography (extended abstract). In M. Naor, editor, Theory of Cryptography, First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004, Proceedings, volume 2951 of Lecture Notes in Computer Science, pages 278-296. Springer, 2004.
11. R. Ostrovsky. Efficient computation on oblivious RAMs. In STOC, Proceedings of the Twenty Second Annual ACM Symposium on Theory of Computing, 14-16 May 1990, Baltimore, Maryland, USA, pages 514-523. ACM, 1990.
12. R. Ostrovsky. Software Protection and Simulation on Oblivious RAMs. PhD thesis, MIT, 1992.
13. N. Pippenger and M. J. Fischer. Relations among complexity measures. J. ACM, 26(2):361-381, 1979.