| 2013 | Revisiting Lower and Upper Bounds for Selective Decommitments. | Rafail Ostrovsky, Vanishree Rao, Alessandra Scafuro, Ivan Visconti |
| 2013 | Black-Box Proof of Knowledge of Plaintext and Multiparty Computation with Low Communication Overhead. | Steven A. Myers, Mona Sergi, Abhi Shelat |
| 2013 | Secure Computation for Big Data. | Tal Malkin |
| 2013 | Languages with Efficient Zero-Knowledge PCPs are in SZK. | Mohammad Mahmoody, David Xiao |
| 2013 | Distributed Oblivious RAM for Secure Two-Party Computation. | Steve Lu, Rafail Ostrovsky |
| 2013 | On the Feasibility of Extending Oblivious Transfer. | Yehuda Lindell, Hila Zarosim |
| 2013 | A Counterexample to the Chain Rule for Conditional HILL Entropy - And What Deniable Encryption Has to Do with It. | Stephan Krenn, Krzysztof Pietrzak, Akshay Wadia |
| 2013 | Universally Composable Synchronous Computation. | Jonathan Katz, Ueli Maurer, Bjrn Tackmann, Vassilis Zikas |
| 2013 | Analyzing Graphs with Node Differential Privacy. | Shiva Prasad Kasiviswanathan, Kobbi Nissim, Sofya Raskhodnikova, Adam D. Smith |
| 2013 | Characterizing the Cryptographic Properties of Reactive 2-Party Functionalities. | R. Amzi Jeffs, Mike Rosulek |
| 2013 | On the Power of Correlated Randomness in Secure Computation. | Yuval Ishai, Eyal Kushilevitz, Sigurd Meldgaard, Claudio Orlandi, Anat Paskin-Cherniavsky |
| 2013 | Computational Soundness of Coinductive Symbolic Security under Active Attacks. | Mohammad Hajiabadi, Bruce M. Kapron |
| 2013 | Limits on the Usefulness of Random Oracles. | Iftach Haitner, Eran Omri, Hila Zarosim |
| 2013 | Concurrent Zero Knowledge in the Bounded Player Model. | Vipul Goyal, Abhishek Jain, Rafail Ostrovsky, Silas Richelson, Ivan Visconti |
| 2013 | Encrypted Messages from the Heights of Cryptomania. | Craig Gentry |
| 2013 | Feasibility and Completeness of Cryptographic Tasks in the Quantum World. | Serge Fehr, Jonathan Katz, Fang Song, Hong-Sheng Zhou, Vassilis Zikas |
| 2013 | Implementing Resettable UC-Functionalities with Untrusted Tamper-Proof Hardware-Tokens. | Nico Dttling, Thilo Mie, Jrn Mller-Quade, Tobias Nilges |
| 2013 | Overcoming Weak Expectations. | Yevgeniy Dodis, Yu Yu |
| 2013 | Testing the Lipschitz Property over Product Distributions with Applications to Data Privacy. | Kashyap Dixit, Madhav Jha, Sofya Raskhodnikova, Abhradeep Thakurta |
| 2013 | Constant-Overhead Secure Computation of Boolean Circuits using Preprocessing. | Ivan Damgrd, Sarah Zakarias |
| 2013 | Multi-Client Non-interactive Verifiable Computation. | Seung Geol Choi, Jonathan Katz, Ranjit Kumaresan, Carlos Cid |
| 2013 | Succinct Malleable NIZKs and an Application to Compact Shuffles. | Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya, Sarah Meiklejohn |
| 2013 | Algebraic (Trapdoor) One-Way Functions and Their Applications. | Dario Catalano, Dario Fiore, Rosario Gennaro, Konstantinos Vamvourellis |
| 2013 | Public-Coin Concurrent Zero-Knowledge in the Global Hash Model. | Ran Canetti, Huijia Lin, Omer Paneth |
| 2013 | When Homomorphism Becomes a Liability. | Zvika Brakerski |