International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Papers from CRYPTO 2017

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