Public-Key Cryptography – PKC 2017

1. Front Matter

   Pages I-XIV

   PDF

2. Encryption with Access Control

   1. Front Matter

      Pages 1-1

      PDF

   2. Dual System Framework in Multilinear Settings and Applications to Fully Secure (Compact) ABE for Unbounded-Size Circuits

      • Nuttapong Attrapadung

      Pages 3-35

   3. CCA-Secure Inner-Product Functional Encryption from Projective Hash Functions

      • Fabrice Benhamouda, Florian Bourse, Helger Lipmaa

      Pages 36-66

   4. Bounded-Collusion Attribute-Based Encryption from Minimal Assumptions

      • Gene Itkis, Emily Shen, Mayank Varia, David Wilson, Arkady Yerukhimovich

      Pages 67-87

   5. Access Control Encryption for Equality, Comparison, and More

      • Georg Fuchsbauer, Romain Gay, Lucas Kowalczyk, Claudio Orlandi

      Pages 88-118

3. Special Signatures

   1. Front Matter

      Pages 119-119

      PDF

   2. Deterring Certificate Subversion: Efficient Double-Authentication-Preventing Signatures

      • Mihir Bellare, Bertram Poettering, Douglas Stebila

      Pages 121-151

   3. Chameleon-Hashes with Ephemeral Trapdoors

      • Jan Camenisch, David Derler, Stephan Krenn, Henrich C. Pöhls, Kai Samelin, Daniel Slamanig

      Pages 152-182

   4. Improved Structure Preserving Signatures Under Standard Bilinear Assumptions

      • Charanjit S. Jutla, Arnab Roy

      Pages 183-209

4. Fully Homomorphic Encryption

   1. Front Matter

      Pages 211-211

      PDF

   2. Chosen-Ciphertext Secure Fully Homomorphic Encryption

      • Ran Canetti, Srinivasan Raghuraman, Silas Richelson, Vinod Vaikuntanathan

      Pages 213-240

   3. Circuit-Private Multi-key FHE

      • Wutichai Chongchitmate, Rafail Ostrovsky

      Pages 241-270

   4. FHE over the Integers: Decomposed and Batched in the Post-Quantum Regime

      • Daniel Benarroch, Zvika Brakerski, Tancrède Lepoint

      Pages 271-301

5. Real-World Schemes

   1. Front Matter

      Pages 303-303

      PDF

   2. Ceremonies for End-to-End Verifiable Elections

      • Aggelos Kiayias, Thomas Zacharias, Bingsheng Zhang

      Pages 305-334

   3. A Modular Security Analysis of EAP and IEEE 802.11

      • Chris Brzuska, Håkon Jacobsen

      Pages 335-365

6. Multiparty Computation

   1. Front Matter

      Pages 367-367

      PDF

   2. On the Computational Overhead of MPC with Dishonest Majority

      • Jesper Buus Nielsen, Samuel Ranellucci

      Pages 369-395

   3. Better Two-Round Adaptive Multi-party Computation

      • Ran Canetti, Oxana Poburinnaya, Muthuramakrishnan Venkitasubramaniam

      Pages 396-427

The two-volume set LNCS 10174 and 10175 constitutes the refereed proceedings of the 20th IACR International Conference on the Practice and Theory in Public-Key Cryptography, PKC 2017, held in Amsterdam, The Netherlands, in March 2017.
The 34 revised papers presented were carefully reviewed and selected from 160 submissions. They are organized in topical sections such as Cryptanalysis, Protocols,  Encryption Schemes, Leakage-Resilient and Non-Malleable Codes, Number Theory and Diffie-Hellman, Encryption with Access Control,  Special Signatures, Fully Homomorphic Encryption, Real-World Schemes, Multiparty Computation and Primitives.

• cryptanalysis
• elliptic curve cryptography
• linear programming
• oblivious transfer
• provable security
• algorithm analysis and problem complexity

• CWI , Amsterdam, The Netherlands

  Serge Fehr

Policies and ethics