Lecture Notes in Computer Science 5978

Transcription

1 Lecture Notes in Computer Science 5978 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Alfred Kobsa University of California, Irvine, CA, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen TU Dortmund University, Germany Madhu Sudan Microsoft Research, Cambridge, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany

2 Daniele Micciancio (Ed.) Theory of Cryptography 7th Theory of Cryptography Conference, TCC 2010 Zurich, Switzerland, February 9-11, 2010 Proceedings 13

3 Volume Editor Daniele Micciancio University of California, San Diego Computer Science & Engineering Department 9500 Gilman Drive, La Jolla, CA , USA Library of Congress Control Number: CR Subject Classification (1998): B.3, C.2, D.4.6, K.6.5, G.2, I.1 LNCS Sublibrary: SL 4 Security and Cryptology ISSN ISBN Springer Berlin Heidelberg New York ISBN Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. springer.com Springer-Verlag Berlin Heidelberg 2010 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: /

4 The original version of the book was revised: The copyright line was incorrect. The Erratum to the book is available at DOI: / _36

5 Preface TCC 2010, the 7th Theory of Cryptography Conference, was held at ETH Zurich, Zurich, Switzerland, during February 9 11, TCC 2010 was sponsored by the International Association of Cryptologic Research (IACR) and was organized in cooperation with the Information Security and Cryptography group at ETH Zurich. The General Chairs of the conference were Martin Hirt and Ueli Maurer. The conference received 100 submissions, of which the Program Committee selected 33 for presentation at the conference. The Best Student Paper Award was given to Kai-Min Chung and Feng-Hao Liu for their paper Parallel Repetition Theorems for Interactive Arguments. These proceedings consist of revised versions of those 33 papers. The revisions were not reviewed, and the authors bear full responsibility for the contents of their papers. In addition to the regular papers, the conference featured two invited talks: Secure Computation and Its Diverse Applications, given by Yuval Ishai and Privacy-Enhancing Cryptography: From Theory Into Practice, given by Jan Camenisch. Abstracts of the invited talks are also included in this volume. As in previous years, TCC received a steady stream of high-quality submissions. Consequently, the selection process was very rewarding, but also very challenging, as a number of good papers could not be accepted due to lack of space. I would like to thank the TCC Steering Committee, and its Chair Oded Goldreich, for entrusting me with the responsibility of selecting the conference program. Since its inception, TCC has been very successful in attracting some of the best work in theoretical cryptography every year and offering a compelling program to its audience. I am honored I had the opportunity to contribute to the continuation of the success of the conference. I wish to thank all the people who contributed to the conference. Many thanks to the authors of all submitted papers, whose work is the very reason for TCC to exist. I am grateful for the dedication of the Program Committee members, who spent countless hours reviewing and discussing the submissions, to determine which papers to include in the program, and to provide the authors with useful feedback. I also thank the many external reviewers who assisted the Program Committee in its work. Thank you to past TCC Chairs Ran Canetti, Salil Vadhan and Omer Reingold, who promptly answered my questions each time I needed their advice. Special thanks to Shai Halevi, who wrote a wonderful software package to facilitate all aspects of the PC work. I am very grateful to TCC 2010 General Chairs Martin Hirt and Ueli Maurer without whom the conference would not have happened. Thanks also to our corporate Sponsors, Credit Suisse, Microsoft Research and Omnisec. Finally, thanks to the Springer LNCS editorial staff, including Ingrid Haas, Alfred Hofmann, Frank Holzwarth, and Anna Kramer, for their assistance in assembling these proceedings. December 2009 Daniele Micciancio

6 Organization TCC 2010 Theory of Cryptography Conference February 9 11, 2010, Zurich, Switzerland Sponsored by the International Association for Cryptologic Research (IACR) Organized in cooperation with the Information Security and Cryptography group, ETH Zurich With financial support from Credit Suisse, Microsoft Research and Omnisec General Chairs Martin Hirt and Ueli Maurer ETH, Switzerland Program Committee Michael Backes Amos Beimel Alexandra Boldyreva Dario Catalano Nelly Fazio Jens Groth Iftach Haitner Johan Håstad Susan Hohenberger Daniele Micciancio (Chair) Phong Nguyen Rafail Ostrovsky Alon Rosen Victor Shoup Adam Smith Vinod Vaikuntanathan Bogdan Warinschi Stefan Wolf Saarland University and MPI SWS, Germany Ben-Gurion University, Israel Georgia Institute of Technology, USA University of Catania, Italy City University of New York, USA University College London, UK Microsoft Research New England, USA KTH, Sweden Johns Hopkins University, USA University of California, San Diego, USA INRIA and ENS, France University of California, Los Angeles, USA IDC Herzliya, Israel New York University, USA Pennsylvania State University, USA IBM T.J. Watson Research Center, USA University of Bristol, UK ETH Zurich, Switzerland TCC Steering Committee Mihir Bellare Ivan Damgård University of California, San Diego, USA University of Aarhus, Denmark

7 X Organization Oded Goldreich (Chair) Shafi Goldwasser Johan Håstad Russell Impagliazzo Ueli Maurer Silvio Micali Moni Naor Tatsuaki Okamoto Weizmann Institute of Science, Israel MIT and Weizmann Institute of Science, USA and Israel KTH, Sweden UC San Diego and IAS, USA ETH Zurich, Switzerland MIT, USA Weizmann Institute of Science, Israel NTT Laboratories, Japan External reviewers M. Abdalla J.H. Ahn J. Alwen J. Bethencourt C. Bosley Z. Brakerski E. Bresson P. Bunn R. Canetti N. Chandran M. Chase C. Cho S. Chow K.-M. Chung O. Ciobotaru S. Coull Y. Deng Y. Dodis M. Duermuth O. Dunkelman D. Fiore M. Fischlin M. Fitzi P.-A. Fouque S. Garg P. Golle P. Gopal D. Gordon R. Gradwohl M. Green K. Haralambiev C. Hazay B. Hemenway J. Herranz D. Hofheinz T. Holenstein Y. Ishai A. Jain R. Jaiswal Y. Kalai B. Kanukurthi J. Katz E. Kiltz G. Kreitz V. Kumar E. Kushilevitz F. Laguillaumie H. Lin Y. Lindell M. Liskov V. Lyubashevsky M. Mahmoody-Ghidary T. Moran S. Myers A. Nicolosi K. Nissim A. O Neill P. Paillier O. Pandey R. Pass C. Peikert K. Pietrzak D. Pointcheval T. Rabin O. Regev R. Reischuk A. Sahai G. Segev Y. Seurin H. Seyalioglu E. Shi H. Sibert W.E. Skeith I. Spharlinski M. Stam T. Tassa M. Tennenholtz A. Tentes B. Terelius S. Vadhan M. Varia M. Venkitasubramaniam D. Vergnaud I. Visconti A. Wadia H. Wee D. Wichs D. Wikström J. Wullschleger D. Xiao Q. Yang V. Zikas

8 Table of Contents Parallel Repetition An Efficient Parallel Repetition Theorem... 1 Johan Håstad, Rafael Pass, Douglas Wikström, and Krzysztof Pietrzak Parallel Repetition Theorems for Interactive Arguments Kai-Min Chung and Feng-Hao Liu Almost Optimal Bounds for Direct Product Threshold Theorem Charanjit S. Jutla Obfuscation On Symmetric Encryption and Point Obfuscation Ran Canetti, Yael Tauman Kalai, Mayank Varia, and Daniel Wichs Obfuscation of Hyperplane Membership Ran Canetti, Guy N. Rothblum, and Mayank Varia Invited Talk Secure Computation and Its Diverse Applications Yuval Ishai Multiparty Computation On Complete Primitives for Fairness Dov Gordon, Yuval Ishai, Tal Moran, Rafail Ostrovsky, and Amit Sahai On the Necessary and Sufficient Assumptions for UC Computation Ivan Damgård, Jesper Buus Nielsen, and Claudio Orlandi From Passive to Covert Security at Low Cost Ivan Damgård, Martin Geisler, and Jesper Buus Nielsen CCA Security A Twist on the Naor-Yung Paradigm and Its Application to Efficient CCA-Secure Encryption from Hard Search Problems Ronald Cramer, Dennis Hofheinz, and Eike Kiltz

9 XII Table of Contents Two Is a Crowd? A Black-Box Separation of One-Wayness and Security under Correlated Inputs Yevgeniy Vahlis Threshold Cryptography and Secret Sharing Efficient, Robust and Constant-Round Distributed RSA Key Generation Ivan Damgård and Gert Læssøe Mikkelsen Threshold Decryption and Zero-Knowledge Proofs for Lattice-Based Cryptosystems Rikke Bendlin and Ivan Damgård Ideal Hierarchical Secret Sharing Schemes Oriol Farràs and Carles Padró Symmetric Cryptography A Hardcore Lemma for Computational Indistinguishability: Security Amplification for Arbitrarily Weak PRGs with Optimal Stretch Ueli Maurer and Stefano Tessaro On Related-Secret Pseudorandomness David Goldenberg and Moses Liskov A Domain Extender for the Ideal Cipher Jean-Sébastien Coron, Yevgeniy Dodis, Avradip Mandal, and Yannick Seurin Delayed-Key Message Authentication for Streams Marc Fischlin and Anja Lehmann Key-Leakage and Tamper-Resistance Founding Cryptography on Tamper-Proof Hardware Tokens Vipul Goyal, Yuval Ishai, Amit Sahai, Ramarathnam Venkatesan, and Akshay Wadia Truly Efficient String Oblivious Transfer Using Resettable Tamper-Proof Tokens Vladimir Kolesnikov Leakage-Resilient Signatures Sebastian Faust, Eike Kiltz, Krzysztof Pietrzak, and Guy N. Rothblum

10 Table of Contents XIII Public-Key Encryption Schemes with Auxiliary Inputs Yevgeniy Dodis, Shafi Goldwasser, Yael Tauman Kalai, Chris Peikert, and Vinod Vaikuntanathan Public-Key Cryptographic Primitives Provably as Secure as Subset Sum Vadim Lyubashevsky, Adriana Palacio, and Gil Segev Rationality and Privacy Rationality in the Full-Information Model Ronen Gradwohl Efficient Rational Secret Sharing in Standard Communication Networks Georg Fuchsbauer, Jonathan Katz, and David Naccache Bounds on the Sample Complexity for Private Learning and Private Data Release Amos Beimel, Shiva Prasad Kasiviswanathan, and Kobbi Nissim Public-Key Encryption New Techniques for Dual System Encryption and Fully Secure HIBE with Short Ciphertexts Allison Lewko and Brent Waters Robust Encryption Michel Abdalla, Mihir Bellare, and Gregory Neven Invited Talk Privacy-Enhancing Cryptography: From Theory into Practice Jan Camenisch Zero-Knowledge Concise Mercurial Vector Commitments and Independent Zero-Knowledge Sets with Short Proofs Benoît Libert and Moti Yung Eye for an Eye: Efficient Concurrent Zero-Knowledge in the Timing Model Rafael Pass, Wei-Lung Dustin Tseng, and Muthuramakrishnan Venkitasubramaniam

11 XIV Table of Contents Efficiency Preserving Transformations for Concurrent Non-malleable Zero Knowledge Rafail Ostrovsky, Omkant Pandey, and Ivan Visconti Efficiency Limitations for Σ-Protocols for Group Homomorphisms Endre Bangerter, Jan Camenisch, and Stephan Krenn Composition of Zero-Knowledge Proofs with Efficient Provers Eleanor Birrell and Salil Vadhan Private Coins versus Public Coins in Zero-Knowledge Proof Systems Rafael Pass and Muthuramakrishnan Venkitasubramaniam Erratum to: Theory of Cryptography Daniele Micciancio E1 Author Index