Program obfuscation with leaky hardware

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

Volumn 7073 LNCS, Issue , 2011, Pages 722-739

  Bitansky, Nir ^a   Canetti, Ran ^a,b   Goldwasser, Shafi ^c   Halevi, Shai ^d   Kalai, Yael Tauman ^e   Rothblum, Guy N ^e  

^a TEL AVIV UNIVERSITY   (Israel)

^b BOSTON UNIVERSITY   (United States)

^c WEIZMANN INSTITUTE OF SCIENCE   (Israel)

^d IBM T J WATSON RESEARCH CENTER   (United States)

^e MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HARDWARE COMPONENTS; HARDWARE DEVICES; LOCAL STATE; PROGRAM OBFUSCATION; SECURITY PARAMETERS;

CRYPTOGRAPHY; HARDWARE;

SECURITY OF DATA;

EID: 82955177044     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-25385-0_39     Document Type: Conference Paper

References (33)

1. Akavia, A., Goldwasser, S., Hazay, C.: Distributed Public Key Encryption Schemes (2010) (manuscript)
2. Akavia, A., Goldwasser, S., Vaikuntanathan, V.: Simultaneous Hardcore Bits and Cryptography against Memory Attacks. In: Reingold, O. (ed.) TCC 2009. LNCS, vol. 5444, pp. 474-495. Springer, Heidelberg (2009)
3. Atici, M., Stinson, D. R.: Universal Hashing and Multiple Authentication. In: Koblitz, N. (ed.) CRYPTO 1996. LNCS, vol. 1109, pp. 16-30. Springer, Heidelberg (1996) (Pubitemid 126106227)
4. Barak, B., Goldreich, O.: Universal arguments and their applications. SIAM J. Comput. 38(5), 1661-1694(2008)
5. Barak, B., Goldreich, O., Goldwasser, S., Lindell, Y.: Resettably-sound zeroknowledge and its applications. In: FOCS, pp. 116-125(2001)
6. Barak, B., Goldreich, O., Impagliazzo, R., Rudich, S., Sahai, A., Vadhan, S. P., Yang, K.: On the (Im) possibility of Obfuscating Programs. In: Kilian, J. (ed.) CRYPTO 2001. LNCS, vol. 2139, pp. 1-18. Springer, Heidelberg (2001)
7. Best, R. M.: Microprocessor for executing enciphered programs. US Patent 4168396(1979)
8. Bitansky, N., Canetti, R.: On Strong Simulation and Composable Point Obfuscation. In: Rabin, T. (ed.) CRYPTO 2010. LNCS, vol. 6223, pp. 520-537. Springer, Heidelberg (2010)
9. Bitansky, N., Canetti, R., Goldwasser, S., Halevi, S., Rothblum, G.: Obfuscation with leaky hardware (2011), Long Version on http://eprint.iacr.org
10. Bitansky, N., Canetti, R., Halevi, S.: Leakage tolerant interactive protocols (2011) (manuscript), http://eprint.iacr.org/2011/204
11. Canetti, R., Dakdouk, R. R.: Obfuscating Point Functions with Multibit Output. In: Smart, N. P. (ed.) EUROCRYPT 2008. LNCS, vol. 4965, pp. 489-508. Springer, Heidelberg (2008) (Pubitemid 351762846)
12. Canetti, R., Feige, U., Goldreich, O., Naor, M.: Adaptively Secure Multi-party Computation. In: 28th Annual ACM Symposium on the Theory of Computing - STOC 1996, Philadelphia, PA, pp. 639-648. ACM (May 1996)
13. Canetti, R., Gennaro, R., Herzberg, A., Naor, D.: Proactive security: Long-term Protection against break-ins. CryptoBytes 3(1) (1997)
14. Canetti, R., Goldreich, O., Goldwasser, S., Micali, S.: Resettable zero-knowledge (extended abstract). In: STOC, pp. 235-244(2000)
15. Canetti, R., Rothblum, G. N., Varia, M.: Obfuscation of Hyperplane Membership. In: Micciancio, D. (ed.) TCC 2010. LNCS, vol. 5978, pp. 72-89. Springer, Heidelberg (2010)
16. Dziembowski, S., Pietrzak, K.: Leakage-resilient cryptography. In: 49th FOCS - 2008, pp. 293-302. IEEE Computer Society (2008)
17. Faust, S., Rabin, T., Reyzin, L., Tromer, E., Vaikuntanathan, V.: Protecting Circuits from Leakage: the Computationally-Bounded and Noisy Cases. In: Gilbert, H. (ed.) EUROCRYPT 2010. LNCS, vol. 6110, pp. 135-156. Springer, Heidelberg (2010)
18. Gentry, C.: Fully homomorphic encryption using ideal lattices. In: Proceedings of the 41st ACM Symposium on Theory of Computing - STOC 2009, pp. 169-178. ACM (2009)
19. Goldreich, O., Ostrovsky, R.: Software protection and simulation on oblivious rams. J. ACM 43(3), 431-473(1996) (Pubitemid 126607640)
20. Goldwasser, S., Kalai, Y. T.: On the impossibility of obfuscation with auxiliary input. In: 46th FOCS, pp. 553-562. IEEE Computer Society (2005) (Pubitemid 44375765)
21. Goldwasser, S., Kalai, Y. T., Rothblum, G. N.: One-Time Programs. In: Wagner, D. (ed.) CRYPTO 2008. LNCS, vol. 5157, pp. 39-56. Springer, Heidelberg (2008)
22. Goldwasser, S., Rothblum, G.: Unconditionally securing general computation against continuous only-computation leakage (2011) (manuscript)
23. Goldwasser, S., Rothblum, G. N.: On Best-Possible Obfuscation. In: Vadhan, S. P. (ed.) TCC 2007. LNCS, vol. 4392, pp. 194-213. Springer, Heidelberg (2007)
24. Goldwasser, S., Rothblum, G. N.: Securing Computation against Continuous Leakage. In: Rabin, T. (ed.) CRYPTO 2010. LNCS, vol. 6223, pp. 59-79. Springer, Heidelberg (2010)
25. Goyal, V., Ishai, Y., Sahai, A., Venkatesan, R., Wadia, A.: Founding Cryptography on Tamper-Proof Hardware Tokens. In: Micciancio, D. (ed.) TCC 2010. LNCS, vol. 5978, pp. 308-326. Springer, Heidelberg (2010)
26. Hofheinz, D., Malone-Lee, J., Stam, M.: Obfuscation for Cryptographic Purposes. In: Vadhan, S. P. (ed.) TCC 2007. LNCS, vol. 4392, pp. 214-232. Springer, Heidelberg (2007)
27. Juma, A., Vahlis, Y.: Protecting Cryptographic Keys against Continual Leakage. In: Rabin, T. (ed.) CRYPTO 2010. LNCS, vol. 6223, pp. 41-58. Springer, Heidelberg (2010)
28. Kent, S. T.: Protecting externally supplied software in small computers. PhD thesis, Massachusetts Institute of Technology (1981)
29. Micali, S., Reyzin, L.: Physically Observable Cryptography. In: Naor, M. (ed.) TCC 2004. LNCS, vol. 2951, pp. 278-296. Springer, Heidelberg (2004) (Pubitemid 38236631)
30. Ostrovsky, R., Yung, M.: How to withstand mobile virus attacks. In: 10th Annual ACM Symposium on Principles of Distributed Computing, PODC 1991, pp. 51-59. ACM (1991)
31. Rivest, R., Adleman, L., Dertouzos, M.: On data banks and privacy homomorphisms. In: Foundations of Secure Computation, pp. 169-177. Academic Press (1978)
32. Wee, H.: On obfuscating point functions. In: STOC 2005, pp. 523-532(2005) (Pubitemid 43098625)
33. Wegman, M., Carter, L.: New hash functions and their use in authentication and set equality. J. of Computer and System Sciences 22, 265-279(1981) (Pubitemid 12444638)