| year | title | booktitle | pages |
|---|
| 1 | 2012 | Adaptively Secure Garbling with Applications to One-Time Programs and Secure Outsourcing | asiacrypt | 134-153 |
| 2 | 2012 | The Security of Ciphertext Stealing | fse | 180-195 |
| 3 | 2012 | An Enciphering Scheme Based on a Card Shuffle | crypto | 1-13 |
| 4 | 2011 | The Software Performance of Authenticated-Encryption Modes | fse | 306 |
| 5 | 2011 | Advances in Cryptology - CRYPTO 2011 - 31st Annual Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2011. Proceedings | crypto | online |
| 6 | 2010 | On Generalized Feistel Networks | crypto | 613-630 |
| 7 | 2010 | An Analysis of the Blockcipher-Based Hash Functions from PGV | jofc | 519-545 |
| 8 | 2010 | On generalized Feistel networks | eprint | online |
| 9 | 2009 | How to Encipher Messages on a Small Domain | crypto | 286-302 |
| 10 | 2008 | Constructing Cryptographic Hash Functions from Fixed-Key Blockciphers | crypto | 433-450 |
| 11 | 2008 | Security/Efficiency Tradeoffs for Permutation-Based Hashing | eurocrypt | 220-236 |
| 12 | 2007 | How to Enrich the Message Space of a Cipher | eprint | online |
| 13 | 2007 | Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption) | jofc | 395 |
| 14 | 2007 | How to Enrich the Message Space of a Cipher | fse | 101-118 |
| 15 | 2006 | Formalizing Human Ignorance: Collision-Resistant Hashing without the Keys | eprint | online |
| 16 | 2006 | Robust Computational Secret Sharing and a Unified Account of Classical Secret-Sharing Goals | eprint | online |
| 17 | 2006 | A Provable-Security Treatment of the Key-Wrap Problem | eurocrypt | online |
| 18 | 2006 | Deterministic Authenticated-Encryption: A Provable-Security Treatment of the Key-Wrap Problem | eprint | online |
| 19 | 2006 | The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs | eurocrypt | online |
| 20 | 2005 | CBC MACs for Arbitrary-Length Messages: The Three-Key Constructions | jofc | 111-131 |
| 21 | 2005 | Improved Security Analyses for CBC MACs | crypto | online |
| 22 | 2004 | Code-Based Game-Playing Proofs and the Security of Triple Encryption | eprint | online |
| 23 | 2004 | Nonce-Based Symmetric Encryption | fse | 348-359 |
| 24 | 2004 | Cryptographic Hash-Function Basics: Definitions, Implications, and Separations for Preimage Resistance, Second-Preimage Resistance, and Collision Resistance | fse | 371-388 |
| 25 | 2004 | Efficient Instantiations of Tweakable Blockciphers and Refinements to Modes OCB and PMAC | asiacrypt | online |
| 26 | 2004 | The EAX Mode of Operation | fse | 389-407 |
| 27 | 2004 | Cryptographic Hash-Function Basics: Definitions, Implications and Separations for Preimage Resistance, Second-Preimage Resistance, and Collision Resistance | eprint | online |
| 28 | 2003 | EAX: A Conventional Authenticated-Encryption Mode | eprint | online |
| 29 | 2003 | A Critique of CCM | eprint | online |
| 30 | 2003 | A Parallelizable Enciphering Mode | eprint | online |
| 31 | 2003 | A Tweakable Enciphering Mode | eprint | online |
| 32 | 2003 | A Tweakable Enciphering Mode | crypto | online |
| 33 | 2002 | A Block-Cipher Mode of Operation for Parallelizable Message Authentication | eurocrypt | online |
| 34 | 2002 | Black-Box Analysis of the Block-Cipher-Based Hash-Function Constructions from PGV | eprint | online |
| 35 | 2002 | Encryption-Scheme Security in the Presence of Key-Dependent Messages | eprint | online |
| 36 | 2002 | Black-Box Analysis of the Block-Cipher-Based Hash-Function Constructions from PGV | crypto | online |
| 37 | 2002 | The EMD Mode of Operation (A Tweaked, Wide-Blocksize, Strong PRP) | eprint | online |
| 38 | 2002 | Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption) | jofc | 103-127 |
| 39 | 2001 | How to Protect DES Against Exhaustive Key Search (an Analysis of DESX) | jofc | 17-35 |
| 40 | 2001 | Ciphers with Arbitrary Finite Domains | eprint | online |
| 41 | 2001 | OCB Mode | eprint | online |
| 42 | 2001 | A Block-Cipher Mode of Operation for Parallelizable Message Authentication | eprint | online |
| 43 | 2000 | Authenticated Key Exchange Secure against Dictionary Attacks | eurocrypt | 139-155 |
| 44 | 2000 | Authenticated Key Exchange Secure Against Dictionary Attacks | eprint | online |
| 45 | 2000 | CBC MACs for Arbitrary-Length Messages: The Three-Key Constructions | crypto | 197-215 |
| 46 | 2000 | Encode-Then-Encipher Encryption: How to Exploit Nonces or Redundancy in Plaintexts for Efficient Cryptography | asiacrypt | 317-330 |
| 47 | 1999 | DHAES: An Encryption Scheme Based on the Diffie-Hellman Problem | eprint | online |
| 48 | 1999 | UMAC: Fast and Secure Message Authentication | crypto | 216-233 |
| 49 | 1999 | On the Construction of Variable-Input-Length Ciphers | fse | 231-244 |
| 50 | 1999 | Bucket Hashing and Its Application to Fast Message Authentication | jofc | 91-115 |
| 51 | 1998 | Luby-Rackoff Backwards: Increasing Security by Making Block Ciphers Non-invertible | eurocrypt | 266-280 |
| 52 | 1998 | Relations among Notions of Security for Public-Key Encryption Schemes | eprint | online |
| 53 | 1998 | Relations Among Notions of Security for Public-Key Encryption Schemes | crypto | 26-45 |
| 54 | 1998 | A Software-Optimized Encryption Algorithm | jofc | 273-287 |
| 55 | 1997 | Collision-Resistant Hashing: Towards Making UOWHFs Practical | crypto | 470-484 |
| 56 | 1997 | Locally Random Reductions: Improvements and Applications | jofc | 17-36 |
| 57 | 1996 | How to Protect DES Against Exhaustive Key Search | crypto | 252-267 |
| 58 | 1996 | The Exact Security of Digital Signatures - HOw to Sign with RSA and Rabin | eurocrypt | 399-416 |
| 59 | 1995 | Bucket Hashing and its Application to Fast Message Authentication | crypto | 29-42 |
| 60 | 1995 | XOR MACs: New Methods for Message Authentication Using Finite Pseudorandom Functions | crypto | 15-28 |
| 61 | 1994 | Optimal Asymmetric Encryption | eurocrypt | 92-111 |
| 62 | 1994 | The Security of Cipher Block Chaining | crypto | 341-358 |
| 63 | 1993 | A Software-Optimised Encryption Algorithm | fse | 56-63 |
| 64 | 1993 | Entity Authentication and Key Distribution | crypto | 232-249 |
| 65 | 1991 | Secure Computation (Abstract) | crypto | 392-404 |
| 66 | 1990 | Security with Low Communication Overhead | crypto | 62-76 |
| 67 | 1988 | Everything Provable is Provable in Zero-Knowledge | crypto | 37-56 |
