International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Papers from CRYPTO 2017

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