| 2004 | A General Composition Theorem for Secure Reactive Systems. Michael Backes, Birgit Pfitzmann, Michael Waidner |
| 2004 | A Note on Constant-Round Zero-Knowledge Proofs for NP. Alon Rosen |
| 2004 | A Quantitative Approach to Reductions in Secure Computation. Amos Beimel, Tal Malkin |
| 2004 | A Universally Composable Mix-Net. Douglas Wikström |
| 2004 | Algorithmic Tamper-Proof (ATP) Security: Theoretical Foundations for Security against Hardware Tampering. Rosario Gennaro, Anna Lysyanskaya, Tal Malkin, Silvio Micali, Tal Rabin |
| 2004 | Alternatives to Non-malleability: Definitions, Constructions, and Applications (Extended Abstract). Philip D. MacKenzie, Michael K. Reiter, Ke Yang |
| 2004 | Composition of Random Systems: When Two Weak Make One Strong. Ueli M. Maurer, Krzysztof Pietrzak |
| 2004 | Computational Collapse of Quantum State with Application to Oblivious Transfer. Claude Crépeau, Paul Dumais, Dominic Mayers, Louis Salvail |
| 2004 | Constant-Round Oblivious Transfer in the Bounded Storage Model. Yan Zong Ding, Danny Harnik, Alon Rosen, Ronen Shaltiel |
| 2004 | Efficient and Universally Composable Committed Oblivious Transfer and Applications. Juan A. Garay |
| 2004 | Hierarchical Threshold Secret Sharing. Tamir Tassa |
| 2004 | Implementing Oblivious Transfer Using Collection of Dense Trapdoor Permutations. Iftach Haitner |
| 2004 | Indifferentiability, Impossibility Results on Reductions, and Applications to the Random Oracle Methodology. Ueli M. Maurer, Renato Renner, Clemens Holenstein |
| 2004 | List-Decoding of Linear Functions and Analysis of a Two-Round Zero-Knowledge Argument. Cynthia Dwork, Ronen Shaltiel, Adam D. Smith, Luca Trevisan |
| 2004 | Lower Bounds for Concurrent Self Composition. Yehuda Lindell |
| 2004 | Notions of Reducibility between Cryptographic Primitives. Omer Reingold, Luca Trevisan, Salil P. Vadhan |
| 2004 | On Compressing Encrypted Data without the Encryption Key. Mark Johnson, David A. Wagner, Kannan Ramchandran |
| 2004 | On the Notion of Pseudo-Free Groups. Ronald L. Rivest |
| 2004 | On the Possibility of One-Message Weak Zero-Knowledge. Boaz Barak, Rafael Pass |
| 2004 | On the Random-Oracle Methodology as Applied to Length-Restricted Signature Schemes. Ran Canetti, Oded Goldreich, Shai Halevi |
| 2004 | Physically Observable Cryptography (Extended Abstract). Silvio Micali, Leonid Reyzin |
| 2004 | Rerandomizable and Replayable Adaptive Chosen Ciphertext Attack Secure Cryptosystems. Jens Groth |
| 2004 | Secret-Key Zero-Knowlegde and Non-interactive Verifiable Exponentiation. Ronald Cramer, Ivan Damgård |
| 2004 | Simpler Session-Key Generation from Short Random Passwords. Minh-Huyen Nguyen, Salil P. Vadhan |
| 2004 | Soundness of Formal Encryption in the Presence of Active Adversaries. Daniele Micciancio, Bogdan Warinschi |
| 2004 | Theory of Cryptography, First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004, Proceedings Moni Naor |
| 2004 | Transformation of Digital Signature Schemes into Designated Confirmer Signature Schemes. Shafi Goldwasser, Erez Waisbard |
| 2004 | Unfair Noisy Channels and Oblivious Transfer. Ivan Damgård, Serge Fehr, Kirill Morozov, Louis Salvail |
| 2004 | Universally Composable Commitments Using Random Oracles. Dennis Hofheinz, Jörn Müller-Quade |