Advances in Cryptology -- CRYPTO 2012

1. Front Matter

   Pages I-XV

   PDF

2. An Enciphering Scheme Based on a Card Shuffle

   • Viet Tung Hoang, Ben Morris, Phillip Rogaway

   Pages 1-13

3. Tweakable Blockciphers with Beyond Birthday-Bound Security

   • Will Landecker, Thomas Shrimpton, R. Seth Terashima

   Pages 14-30

4. Breaking and Repairing GCM Security Proofs

   • Tetsu Iwata, Keisuke Ohashi, Kazuhiko Minematsu

   Pages 31-49

5. On the Distribution of Linear Biases: Three Instructive Examples

   • Mohamed Ahmed Abdelraheem, Martin Ågren, Peter Beelen, Gregor Leander

   Pages 50-67

6. Substitution-Permutation Networks, Pseudorandom Functions, and Natural Proofs

   • Eric Miles, Emanuele Viola

   Pages 68-85

7. The End of Crypto

   • Jonathan Zittrain

   Pages 86-86

8. Must You Know the Code of f to Securely Compute f?

   • Mike Rosulek

   Pages 87-104

9. Adaptively Secure Multi-Party Computation with Dishonest Majority

   • Sanjam Garg, Amit Sahai

   Pages 105-123

10. Collusion-Preserving Computation

    • Joël Alwen, Jonathan Katz, Ueli Maurer, Vassilis Zikas

    Pages 124-143

11. Secret Sharing Schemes for Very Dense Graphs

    • Amos Beimel, Oriol Farràs, Yuval Mintz

    Pages 144-161

12. Functional Encryption with Bounded Collusions via Multi-party Computation

    • Sergey Gorbunov, Vinod Vaikuntanathan, Hoeteck Wee

    Pages 162-179

13. New Proof Methods for Attribute-Based Encryption: Achieving Full Security through Selective Techniques

    • Allison Lewko, Brent Waters

    Pages 180-198

14. Dynamic Credentials and Ciphertext Delegation for Attribute-Based Encryption

    • Amit Sahai, Hakan Seyalioglu, Brent Waters

    Pages 199-217

15. Functional Encryption for Regular Languages

    • Brent Waters

    Pages 218-235

16. Secure Database Commitments and Universal Arguments of Quasi Knowledge

    • Melissa Chase, Ivan Visconti

    Pages 236-254

17. Succinct Arguments from Multi-prover Interactive Proofs and Their Efficiency Benefits

    • Nir Bitansky, Alessandro Chiesa

    Pages 255-272

18. On the Security of TLS-DHE in the Standard Model

    • Tibor Jager, Florian Kohlar, Sven Schäge, Jörg Schwenk

    Pages 273-293

19. Semantic Security for the Wiretap Channel

    • Mihir Bellare, Stefano Tessaro, Alexander Vardy

    Pages 294-311

20. Multi-instance Security and Its Application to Password-Based Cryptography

    • Mihir Bellare, Thomas Ristenpart, Stefano Tessaro

    Pages 312-329

This book constitutes the refereed proceedings of the 32nd Annual International Cryptology Conference, CRYPTO 2012, held in Santa Barbara, CA, USA, in August 2012. The 48 revised full papers presented were carefully reviewed and selected from 225 submissions. The volume also contains the abstracts of two invited talks. The papers are organized in topical sections on symmetric cryptosystems, secure computation, attribute-based and functional encryption, proofs systems, protocols, hash functions, composable security, privacy, leakage and side-channels, signatures, implementation analysis, black-box separation, cryptanalysis, quantum cryptography, and key encapsulation and one-way functions.

• elliptic curves
• hash functions
• multi-party computation
• provable security
• side-channel attacks

• Department of Computer Science, University of Calgary, Calgary, Canada

  Reihaneh Safavi-Naini

• Department of Computer Science, University of Boston, Boston, USA

  Ran Canetti

Policies and ethics