Security and Cryptography for Networks

1. Front Matter

   PDF

2. Key Exchange

   1. Universally Composable Non-Interactive Key Exchange

      • Eduarda S. V. Freire, Julia Hesse, Dennis Hofheinz

      Pages 1-20

   2. Forward Secure Non-Interactive Key Exchange

      • David Pointcheval, Olivier Sanders

      Pages 21-39

   3. Secure Key Exchange and Sessions without Credentials

      • Ran Canetti, Vladimir Kolesnikov, Charles Rackoff, Yevgeniy Vahlis

      Pages 40-56

3. Multilinear Maps and Obfuscation

   1. Relaxed Two-to-One Recoding Schemes

      • Omkant Pandey, Kim Ramchen, Brent Waters

      Pages 57-76

   2. Obfuscation ⇒ (IND-CPA Security \(\not\Rightarrow\) Circular Security)

      • Antonio Marcedone, Claudio Orlandi

      Pages 77-90

4. Invited Talk I

   1. Program Obfuscation via Multilinear Maps

      • Sanjam Garg

      Pages 91-94

5. Pseudorandom Function Extensions

   1. Constrained Verifiable Random Functions

      • Georg Fuchsbauer

      Pages 95-114

   2. Publicly Evaluable Pseudorandom Functions and Their Applications

      • Yu Chen, Zongyang Zhang

      Pages 115-134

6. Secure Computation – Foundations and Algorithms

   1. On the Classification of Finite Boolean Functions up to Fairness

      • Nikolaos Makriyannis

      Pages 135-154

   2. Communication-Efficient MPC for General Adversary Structures

      • Joshua Lampkins, Rafail Ostrovsky

      Pages 155-174

   3. Publicly Auditable Secure Multi-Party Computation

      • Carsten Baum, Ivan Damgård, Claudio Orlandi

      Pages 175-196

   4. Reducing the Overhead of MPC over a Large Population

      • Ashish Choudhury, Arpita Patra, Nigel P. Smart

      Pages 197-217

7. Network Security

   1. Statistics on Password Re-use and Adaptive Strength for Financial Accounts

      • Daniel V. Bailey, Markus Dürmuth, Christof Paar

      Pages 218-235

   2. Efficient Network-Based Enforcement of Data Access Rights

      • Paul Giura, Vladimir Kolesnikov, Aris Tentes, Yevgeniy Vahlis

      Pages 236-254

   3. EyeDecrypt — Private Interactions in Plain Sight

      • Andrea G. Forte, Juan A. Garay, Trevor Jim, Yevgeniy Vahlis

      Pages 255-276

8. Functional Encryption

   1. Semi-adaptive Attribute-Based Encryption and Improved Delegation for Boolean Formula

      • Jie Chen, Hoeteck Wee

      Pages 277-297

   2. Expressive Attribute-Based Encryption with Constant-Size Ciphertexts from the Decisional Linear Assumption

      • Katsuyuki Takashima

      Pages 298-317

9. Invited Talk II

   1. Functional Encryption and Its Impact on Cryptography

      • Hoeteck Wee

      Pages 318-323

10. Cryptanalysis

    1. Generic Attacks on Strengthened HMAC: n-bit Secure HMAC Requires Key in All Blocks

       • Yu Sasaki, Lei Wang

       Pages 324-339

This book constitutes the proceedings of the 9th International Conference on Security and Cryptography, SCN 2014, held in Amalfi, Italy, in September 2014. The 31 papers presented in this volume were carefully reviewed and selected from 95 submissions. They are organized in topical sections on key exchange; multilinear maps and obfuscation; pseudorandom function extensions; secure computation - foundations and algorithms; network security; functional encryption; cryptanalysis; secure computation - implementation; zero knowledge; message authentication; proofs of space and erasure; public-key encryption.

• computer networks
• cryptanalysis and other attacks
• cryptography
• encryption
• information security
• intrusion detection
• key management
• multi-party computation
• network security
• security and privacy
• security services

• École Normale Supérieure & CNRS, Paris, France

  Michel Abdalla

• Dipartimento di Informatica, Università di Salerno, Fisciano, Italy

  Roberto Prisco

Policies and ethics