CRYPTO 2017:

Hovav Shacham and Jonathan Katz (Eds.):
Advances in Cryptology - CRYPTO 2017
37th Annual International Cryptology Conference Santa Barbara, CA, USA,
August 20-24, 2017, Proceedings, Parts I-III
Proceedings.

CRYPTO 2017, I II III

Preface by Hovav Shacham and Jonathan Katz (Eds.):

Organizational Committee

Program Chairs:

General Chair:

Hovav Shacham and Jonathan Katz
Steven Myers

Program Committee

Masayuki Abe
Shweta Agrawal
Adi Akavia
Elena Andreeva
Mihir Bellare
Dan Boneh
Elette Boyle
Ran Canetti
Jung Hee Cheon
Dana Dachman-Soled
Ivan Damgård
Nico Döttling
Orr Dunkelman
Vipul Goyal
Matthew Green
Nadia Heninger
Viet Tung Hoang
Dennis Hofheinz
Sorina Ionica
Tetsu Iwata
Seny Kamara
Gaëtan Leurent
Huijia Lin
Stefan Lucks
Vadim Lyubashevsky
Payman Mohassel
Claudio Orlandi
Elisabeth Oswald
Rafael Pass
Matthew J. B. Robshaw
Gregory G. Rose
Christian Schaffner
Gil Segev
Yannick Seurin
Douglas Stebila
Stefano Tessaro
Mehdi Tibouchi
Eran Tromer
Dominique Unruh
Vassilis Zikas

External Referees

Functional Encryption
- Stronger Security for Reusable Garbled Circuits, General Definitions and Attacks, 3-35, Shweta Agrawal
  bib info, video
- Generic Transformations of Predicate Encodings: Constructions and Applications, 36-66, Gilles Barthe, Benedikt Schmidt, Miguel Ambrona
  bib info, video
- Practical Functional Encryption for Quadratic Functions with Applications to Predicate Encryption, 67-98, Dario Catalano, Dario Fiore, Romain Gay, Carmen Elisabetta Zaira Baltico
  bib info, video
Foundations I
- Memory-Tight Reductions, 101-132, Eike Kiltz, David Cash, Benedikt Auerbach, Manuel Fersch
  bib info, video
- Be Adaptive, Avoid Overcommitting, 133-163, Krzysztof Pietrzak, Daniel Wichs, Ilan Komargodski, Zahra Jafargholi, Chethan Kamath, Karen Klein
  bib info, video
Two-Party Computation
- The TinyTable Protocol for 2-Party Secure Computation, or: Gate-Scrambling Revisited, 167-187, Ivan Damgård, Jesper Buus Nielsen, Samuel Ranellucci, Michael Nielsen
  bib info, video
- Privacy-Free Garbled Circuits for Formulas: Size Zero and Information-Theoretic, 188-222, Arpita Patra, Yashvanth Kondi
  bib info, video
- Secure Arithmetic Computation with Constant Computational Overhead, 223-254, Ivan Damgård, Yuval Ishai, Benny Applebaum, Michael Nielsen, Lior Zichron
  bib info
- Encryption Switching Protocols Revisited: Switching Modulo p, 255-287, Laurent Imbert, Fabien Laguillaumie, Guilhem Castagnos
  bib info, video
Bitcoin
- The Bitcoin Backbone Protocol with Chains of Variable Difficulty, 291-323, Aggelos Kiayias, Juan A. Garay, Nikos Leonardos
  bib info, video
- Bitcoin as a Transaction Ledger: A Composable Treatment, 324-356, Vassilis Zikas, Daniel Tschudi, Christian Badertscher, Ueli Maurer
  bib info, video
- Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol, 357-388, Aggelos Kiayias, Alexander Russell, Bernardo David, Roman Oliynykov
  bib info, video
Multiparty Computation
- Robust Non-interactive Multiparty Computation Against Constant-Size Collusion, 391-419, Hugo Krawczyk, Tal Rabin, Fabrice Benhamouda
  bib info, video
- The Price of Low Communication in Secure Multi-party Computation, 420-446, Rafail Ostrovsky, Yuval Ishai, Juan A. Garay, Vassilis Zikas
  bib info, video
- Topology-Hiding Computation on All Graphs, 447-467, Tal Moran, Adi Akavia, Rio LaVigne
  bib info, video
- A New Approach to Round-Optimal Secure Multiparty Computation, 468-499, Abhishek Jain, Prabhanjan Ananth, Arka Rai Choudhuri
  bib info, video
Award Papers
- Watermarking Cryptographic Functionalities from Standard Lattice Assumptions, 503-536, David J. Wu, Sam Kim
  bib info, video
- Identity-Based Encryption from the Diffie-Hellman Assumption, 537-569, Sanjam Garg, Nico Döttling
  bib info, video
- The First Collision for Full SHA-1, 570-596, Marc Stevens, Pierre Karpman, Elie Bursztein, Ange Albertini, Yarik Markov
  bib info, video
Obfuscation I
- Indistinguishability Obfuscation from SXDH on 5-Linear Maps and Locality-5 PRGs, 599-629, Huijia Lin
  bib info, video
- Indistinguishability Obfuscation from Trilinear Maps and Block-Wise Local PRGs, 630-660, Stefano Tessaro, Huijia Lin
  bib info
- Lower Bounds on Obfuscation from All-or-Nothing Encryption Primitives, 661-695, Sanjam Garg, Mohammad Mahmoody, Ameer Mohammed
  bib info, video
- Structure vs. Hardness Through the Obfuscation Lens, 696-723, Vinod Vaikuntanathan, Nir Bitansky, Akshay Degwekar
  bib info, video
Conditional Disclosure of Secrets
- Conditional Disclosure of Secrets: Amplification, Closure, Amortization, Lower-Bounds, and Separations, 727-757, Benny Applebaum, Pavel Raykov, Prashant Nalini Vasudevan, Barak Arkis
  bib info, video
- Conditional Disclosure of Secrets via Non-linear Reconstruction, 758-790, Vinod Vaikuntanathan, Hoeteck Wee, Tianren Liu
  bib info, video
OT and ORAM
- Secure Computation Based on Leaky Correlations: High Resilience Setting, 3-32, Hemanta K. Maji, Alexander R. Block, Hai H. Nguyen
  bib info, video
- Laconic Oblivious Transfer and Its Applications, 33-65, Sanjam Garg, Chongwon Cho, Nico Döttling, Antigoni Polychroniadou, Divya Gupta, Peihan Miao
  bib info, video
- Black-Box Parallel Garbled RAM, 66-92, Rafail Ostrovsky, Steve Lu
  bib info, video
Foundations II
- Non-Malleable Codes for Space-Bounded Tampering, 95-126, Sebastian Faust, Daniele Venturi, Pratyay Mukherjee, Kristina Hostáková
  bib info, video
- Four-Round Concurrent Non-Malleable Commitments from One-Way Functions, 127-157, Ivan Visconti, Rafail Ostrovsky, Michele Ciampi, Luisa Siniscalchi
  bib info, video
- Distinguisher-Dependent Simulation in Two Rounds and its Applications, 158-189, Yael Tauman Kalai, Abhishek Jain, Ron D. Rothblum, Dakshita Khurana
  bib info, video
Obfuscation II
- Incremental Program Obfuscation, 193-223, Omkant Pandey, Sanjam Garg
  bib info, video
- From Obfuscation to the Security of Fiat-Shamir for Proofs, 224-251, Yael Tauman Kalai, Guy N. Rothblum, Ron D. Rothblum
  bib info, video
- Indistinguishability Obfuscation for Turing Machines: Constant Overhead and Amortization, 252-279, Amit Sahai, Abhishek Jain, Prabhanjan Ananth
  bib info, video
Quantum
- Quantum Security of NMAC and Related Constructions - PRF Domain Extension Against Quantum attacks, 283-309, Aaram Yun, Fang Song
  bib info, video
- Quantum Non-malleability and Authentication, 310-341, Gorjan Alagic, Christian Majenz
  bib info, video
- New Security Notions and Feasibility Results for Authentication of Quantum Data, 342-371, Mark Zhandry, Sumegha Garg, Henry Yuen
  bib info, video
Hash Functions
- Time-Memory Tradeoff Attacks on the MTP Proof-of-Work Scheme, 375-403, Itai Dinur, Niv Nadler
  bib info, video
- Functional Graph Revisited: Updates on (Second) Preimage Attacks on Hash Combiners, 404-427, Lei Wang, Jian Guo, Dawu Gu, Zhenzhen Bao
  bib info, video
- Non-full Sbox Linearization: Applications to Collision Attacks on Round-Reduced Keccak, 428-451, Jian Guo, Ling Song, Guohong Liao
  bib info, video
Lattices
- Gaussian Sampling over the Integers: Efficient, Generic, Constant-Time, 455-485, Daniele Micciancio, Michael Walter
  bib info, video
- LPN Decoded, 486-514, Alexander May, Andre Esser, Robert Kübler
  bib info, video
Signatures
- Optimal Security Reductions for Unique Signatures: Bypassing Impossibilities with a Counterexample, 517-547, Willy Susilo, Guomin Yang, Yi Mu, Rongmao Chen, Fuchun Guo, Jianchang Lai
  bib info, video
- Compact Structure-Preserving Signatures with Almost Tight Security, 548-580, Masayuki Abe, Miyako Ohkubo, Dennis Hofheinz, Ryo Nishimaki, Jiaxin Pan
  bib info, video
- Snarky Signatures: Minimal Signatures of Knowledge from Simulation-Extractable SNARKs, 581-612, Jens Groth, Mary Maller
  bib info, video
- Fast Secure Two-Party ECDSA Signing, 613-644, Yehuda Lindell
  bib info, video
Block Ciphers
- Proving Resistance Against Invariant Attacks: How to Choose the Round Constants, 647-678, Anne Canteaut, Gregor Leander, Christof Beierle, Yann Rotella
  bib info, video
- Breaking the FF3 Format-Preserving Encryption Standard over Small Domains, 679-707, Serge Vaudenay, F. Betül Durak
  bib info, video
- Insuperability of the Standard Versus Ideal Model Gap for Tweakable Blockcipher Security, 708-732, Bart Mennink
  bib info, video
Authenticated Encryption
- Boosting Authenticated Encryption Robustness with Minimal Modifications, 3-33, Orr Dunkelman, Atul Luykx, Tomer Ashur
  bib info, video
- ZMAC: A Fast Tweakable Block Cipher Mode for Highly Secure Message Authentication, 34-65, Tetsu Iwata, Thomas Peyrin, Yannick Seurin, Kazuhiko Minematsu
  bib info, video
- Message Franking via Committing Authenticated Encryption, 66-97, Thomas Ristenpart, Paul Grubbs, Jiahui Lu
  bib info, video
- Key Rotation for Authenticated Encryption, 98-129, Kenneth G. Paterson, Thomas Ristenpart, Adam Everspaugh, Samuel Scott
  bib info, video
Public-Key Encryption
- Kurosawa-Desmedt Meets Tight Security, 133-160, Dennis Hofheinz, Romain Gay, Lisa Kohl
  bib info, video
- Asymptotically Compact Adaptively Secure Lattice IBEs and Verifiable Random Functions via Generalized Partitioning Techniques, 161-193, Shota Yamada
  bib info, video
- Identity-Based Encryption from Codes with Rank Metric, 194-224, Duong Hieu Phan, Jean-Pierre Tillich, Philippe Gaborit, Adrien Hauteville
  bib info, video
Stream Ciphers
- Degree Evaluation of NFSR-Based Cryptosystems, 227-249, Meicheng Liu
  bib info, video
- Cube Attacks on Non-Blackbox Polynomials Based on Division Property, 250-279, Willi Meier, Takanori Isobe, Yosuke Todo, Yonglin Hao
  bib info, video
Lattice Crypto
- Middle-Product Learning with Errors, 283-297, Ron Steinfeld, Damien Stehlé, Amin Sakzad, Miruna Rosca
  bib info, video
- All-But-Many Lossy Trapdoor Functions from Lattices and Applications, 298-331, Xavier Boyen, Qinyi Li
  bib info, video
- All-But-Many Lossy Trapdoor Functions and Selective Opening Chosen-Ciphertext Security from LWE, 332-364, Benoît Libert, Ron Steinfeld, Damien Stehlé, Amin Sakzad
  bib info
- Amortization with Fewer Equations for Proving Knowledge of Small Secrets, 365-394, Vadim Lyubashevsky, Rafaël del Pino
  bib info, video
Leakage and Subversion
- Private Multiplication over Finite Fields, 397-426, Damien Vergnaud, Emmanuel Prouff, Adrian Thillard, Fabrice Benhamouda, Sonia Belaïd, Alain Passelègue
  bib info, video
- Anonymous Attestation with Subverted TPMs, 427-461, Jan Camenisch, Anja Lehmann, Manu Drijvers
  bib info, video
- Hedging Public-Key Encryption in the Real World, 462-494, Alexandra Boldyreva, Thomas Shrimpton, Christopher Patton
  bib info, video
Symmetric-Key Crypto
- Information-Theoretic Indistinguishability via the Chi-Squared Method, 497-523, Stefano Tessaro, Wei Dai, Viet Tung Hoang
  bib info, video
- Indifferentiability of Iterated Even-Mansour Ciphers with Non-idealized Key-Schedules: Five Rounds Are Necessary and Sufficient, 524-555, Yannick Seurin, John P. Steinberger, Aishwarya Thiruvengadam, Yuanxi Dai
  bib info, video
- Encrypted Davies-Meyer and Its Dual: Towards Optimal Security Using Mirror Theory, 556-583, Bart Mennink, Samuel Neves
  bib info, video
Real-World Crypto
- A Formal Treatment of Multi-key Channels, 587-618, Felix Günther, Sogol Mazaheri
  bib info, video
- Ratcheted Encryption and Key Exchange: The Security of Messaging, 619-650, Mihir Bellare, Igors Stepanovs, Joseph Jaeger, Asha Camper Singh, Maya Nyayapati
  bib info, video
- PRF-ODH: Relations, Instantiations, and Impossibility Results, 651-681, Marc Fischlin, Felix Günther, Christian Janson, Jacqueline Brendel
  bib info, video
- A New Distribution-Sensitive Secure Sketch and Popularity-Proportional Hashing, 682-710, Thomas Ristenpart, Ari Juels, Yevgeniy Dodis, Rahul Chatterjee, Joanne Woodage
  bib info, video

Copyright © , IACR