International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Papers from CRYPTO 2013

Year
Venue
Title
2013
CRYPTO
A Dynamic Tradeoff between Active and Passive Corruptions in Secure Multi-Party Computation
Martin Hirt Christoph Lucas Ueli Maurer
2013
CRYPTO
A Uniform Min-Max Theorem with Applications in Cryptography 📺
Salil P. Vadhan Colin Jia Zheng
2013
CRYPTO
Accuracy-Privacy Tradeoffs for Two-Party Differentially Private Protocols 📺
Vipul Goyal Ilya Mironov Omkant Pandey Amit Sahai
2013
CRYPTO
Achieving the Limits of the Noisy-Storage Model Using Entanglement Sampling 📺
Frédéric Dupuis Omar Fawzi Stephanie Wehner
2013
CRYPTO
Advances in Cryptology - CRYPTO 2013 - 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I
2013
CRYPTO
Advances in Cryptology - CRYPTO 2013 - 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II
2013
CRYPTO
An Algebraic Framework for Diffie-Hellman Assumptions 📺
Alex Escala Gottfried Herold Eike Kiltz Carla Ràfols Jorge Luis Villar
2013
CRYPTO
Attribute-Based Encryption for Circuits from Multilinear Maps 📺
Sanjam Garg Craig Gentry Shai Halevi Amit Sahai Brent Waters
2013
CRYPTO
Bounds in Shallows and in Miseries
Céline Blondeau Andrey Bogdanov Gregor Leander
2013
CRYPTO
Construction of Differential Characteristics in ARX Designs Application to Skein 📺
Gaëtan Leurent
2013
CRYPTO
Counter-cryptanalysis: reconstructing Flame's new variant collision attack 📺
★ Best Young-Author Paper
Marc Stevens
2013
CRYPTO
Crypto Wars Part 2 Have Begun
★Invited talk
Cindy Cohn
2013
CRYPTO
Digital Signatures with Minimal Overhead from Indifferentiable Random Invertible Functions 📺
Eike Kiltz Krzysztof Pietrzak Mario Szegedy
2013
CRYPTO
Efficient Multiparty Protocols via Log-Depth Threshold Formulae - (Extended Abstract) 📺
Gil Cohen Ivan Damgård Yuval Ishai Jonas Kölker Peter Bro Miltersen Ran Raz Ron D. Rothblum
2013
CRYPTO
Efficient Secure Two-Party Computation Using Symmetric Cut-and-Choose
Yan Huang Jonathan Katz David Evans
2013
CRYPTO
Encoding Functions with Constant Online Rate or How to Compress Garbled Circuits Keys 📺
Benny Applebaum Yuval Ishai Eyal Kushilevitz Brent Waters
2013
CRYPTO
Everlasting Multi-party Computation 📺
Dominique Unruh
2013
CRYPTO
Fast Cut-and-Choose Based Protocols for Malicious and Covert Adversaries 📺
Yehuda Lindell
2013
CRYPTO
Full Domain Hash from (Leveled) Multilinear Maps and Identity-Based Aggregate Signatures 📺
Susan Hohenberger Amit Sahai Brent Waters
2013
CRYPTO
Fully, (Almost) Tightly Secure IBE and Dual System Groups
Jie Chen Hoeteck Wee
2013
CRYPTO
Fuming Acid and Cryptanalysis: Handy Tools for Overcoming a Digital Locking and Access Control System
Daehyun Strobel Benedikt Driessen Timo Kasper Gregor Leander David Oswald Falk Schellenberg Christof Paar
2013
CRYPTO
Function-Private Identity-Based Encryption: Hiding the Function in Functional Encryption
Dan Boneh Ananth Raghunathan Gil Segev
2013
CRYPTO
Functional Encryption: New Perspectives and Lower Bounds 📺
Shweta Agrawal Sergey Gorbunov Vinod Vaikuntanathan Hoeteck Wee
2013
CRYPTO
Garbled Circuits Checking Garbled Circuits: More Efficient and Secure Two-Party Computation
Payman Mohassel Ben Riva
2013
CRYPTO
Hard-Core Predicates for a Diffie-Hellman Problem over Finite Fields 📺
Nelly Fazio Rosario Gennaro Irippuge Milinda Perera William E. Skeith III
2013
CRYPTO
Hardness of SIS and LWE with Small Parameters 📺
Daniele Micciancio Chris Peikert
2013
CRYPTO
Highly-Scalable Searchable Symmetric Encryption with Support for Boolean Queries 📺
David Cash Stanislaw Jarecki Charanjit S. Jutla Hugo Krawczyk Marcel-Catalin Rosu Michael Steiner
2013
CRYPTO
Homomorphic Encryption from Learning with Errors: Conceptually-Simpler, Asymptotically-Faster, Attribute-Based 📺
Craig Gentry Amit Sahai Brent Waters
2013
CRYPTO
How to Run Turing Machines on Encrypted Data 📺
Shafi Goldwasser Yael Tauman Kalai Raluca A. Popa Vinod Vaikuntanathan Nickolai Zeldovich
2013
CRYPTO
Improved OT Extension for Transferring Short Secrets 📺
Vladimir Kolesnikov Ranjit Kumaresan
2013
CRYPTO
Instantiating Random Oracles via UCEs 📺
Mihir Bellare Viet Tung Hoang Sriram Keelveedhi
2013
CRYPTO
Key Homomorphic PRFs and Their Applications
Dan Boneh Kevin Lewi Hart William Montgomery Ananth Raghunathan
2013
CRYPTO
Lattice Signatures and Bimodal Gaussians
Léo Ducas Alain Durmus Tancrède Lepoint Vadim Lyubashevsky
2013
CRYPTO
Leakage-Resilient Symmetric Cryptography under Empirically Verifiable Assumptions 📺
François-Xavier Standaert Olivier Pereira Yu Yu
2013
CRYPTO
Learning with Rounding, Revisited - New Reduction, Properties and Applications 📺
Joël Alwen Stephan Krenn Krzysztof Pietrzak Daniel Wichs
2013
CRYPTO
Limits of Provable Security for Homomorphic Encryption 📺
Andrej Bogdanov Chin Ho Lee
2013
CRYPTO
Limits on the Power of Cryptographic Cheap Talk 📺
Pavel Hubácek Jesper Buus Nielsen Alon Rosen
2013
CRYPTO
Linearly Homomorphic Structure-Preserving Signatures and Their Applications
Benoît Libert Thomas Peters Marc Joye Moti Yung
2013
CRYPTO
Man-in-the-Middle Secure Authentication Schemes from LPN and Weak PRFs
Vadim Lyubashevsky Daniel Masny
2013
CRYPTO
Message-Locked Encryption for Lock-Dependent Messages
Martín Abadi Dan Boneh Ilya Mironov Ananth Raghunathan Gil Segev
2013
CRYPTO
New Techniques for SPHFs and Efficient One-Round PAKE Protocols 📺
Fabrice Benhamouda Olivier Blazy Céline Chevalier David Pointcheval Damien Vergnaud
2013
CRYPTO
Non-malleable Codes from Two-Source Extractors 📺
Stefan Dziembowski Tomasz Kazana Maciej Obremski
2013
CRYPTO
Obfuscating Conjunctions
Zvika Brakerski Guy N. Rothblum
2013
CRYPTO
On Fair Exchange, Fair Coins and Fair Sampling 📺
Shashank Agrawal Manoj Prabhakaran
2013
CRYPTO
On the Achievability of Simulation-Based Security for Functional Encryption 📺
Angelo De Caro Vincenzo Iovino Abhishek Jain Adam O'Neill Omer Paneth Giuseppe Persiano
2013
CRYPTO
On the Function Field Sieve and the Impact of Higher Splitting Probabilities
★ Best Paper
Faruk Göloglu Robert Granger Gary McGuire Jens Zumbrägel
2013
CRYPTO
On the Indifferentiability of Key-Alternating Ciphers 📺
Elena Andreeva Andrey Bogdanov Yevgeniy Dodis Bart Mennink John P. Steinberger
2013
CRYPTO
On the Security of the TLS Protocol: A Systematic Analysis
Hugo Krawczyk Kenneth G. Paterson Hoeteck Wee
2013
CRYPTO
Optimal Coding for Streaming Authentication and Interactive Communication 📺
Matthew K. Franklin Ran Gelles Rafail Ostrovsky Leonard J. Schulman
2013
CRYPTO
Plain versus Randomized Cascading-Based Key-Length Extension for Block Ciphers 📺
Peter Gazi
2013
CRYPTO
Practical Bootstrapping in Quasilinear Time 📺
Jacob Alperin-Sheriff Chris Peikert
2013
CRYPTO
Practical Multilinear Maps over the Integers 📺
Jean-Sébastien Coron Tancrède Lepoint Mehdi Tibouchi
2013
CRYPTO
Programmable Hash Functions in the Multilinear Setting 📺
Eduarda S.V. Freire Dennis Hofheinz Kenneth G. Paterson Christoph Striecks
2013
CRYPTO
Quantum One-Time Programs - (Extended Abstract) 📺
Anne Broadbent Gus Gutoski Douglas Stebila
2013
CRYPTO
Real Time Cryptanalysis of Bluetooth Encryption with Condition Masking - (Extended Abstract) 📺
Bin Zhang Chao Xu Dengguo Feng
2013
CRYPTO
Secret Sharing, Rank Inequalities and Information Inequalities 📺
Sebastià Martín Molleví Carles Padró An Yang
2013
CRYPTO
Secure Computation against Adaptive Auxiliary Information 📺
Elette Boyle Sanjam Garg Abhishek Jain Yael Tauman Kalai Amit Sahai
2013
CRYPTO
Secure Signatures and Chosen Ciphertext Security in a Quantum Computing World 📺
Dan Boneh Mark Zhandry
2013
CRYPTO
Sieve-in-the-Middle: Improved MITM Attacks 📺
Anne Canteaut María Naya-Plasencia Bastien Vayssière
2013
CRYPTO
SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge 📺
Eli Ben-Sasson Alessandro Chiesa Daniel Genkin Eran Tromer Madars Virza
2013
CRYPTO
Structural Evaluation of AES and Chosen-Key Distinguisher of 9-Round AES-128 📺
Pierre-Alain Fouque Jérémy Jean Thomas Peyrin
2013
CRYPTO
The Mix-and-Cut Shuffle: Small-Domain Encryption Secure against N Queries 📺
Thomas Ristenpart Scott Yilek
2013
CRYPTO
Time-Optimal Interactive Proofs for Circuit Evaluation 📺
Justin Thaler
2013
CRYPTO
What Information Is Leaked under Concurrent Composition? 📺
Vipul Goyal Divya Gupta Abhishek Jain
2013
CRYPTO
Why the web still runs on RC4
★Invited talk
Adam Langley