Research

• Protecting Circuits from Computationally-Bounded Leakage with Sebastian Faust and Eran Tromer. © by the authors.
   
  
• Key Agreement from Close Secrets over Unsecured Channels with Bhavana Kanukurthi. Appears in Eurocrypt 2009. © by the authors.
   
  
• Indifferentiability of Permutation-Based Compression Functions and Tree-Based Modes of Operation, with Applications to MD6 with Yevgeniy Dodis, Ronald L. Rivest, and Emily Shen. Appears in FSE 2009.
   
  
• An Improved Robust Fuzzy Extractor with Bhavana Kanukurthi. Appears in SCN 2008. © by the authors.
   
  
• Saving Private Randomness in One-Way Functions and Pseudorandom Generators with Nenad Dedić and Danny Harnik. Appears in TCC 2008.
   
  
• Conditional Computational Entropy, or Toward Separating Pseudoentropy from Compressibility with Chun-Yuan Hsiao and Chi-Jen Lu. Appears in Eurocrypt 2007.
   
  
• Fuzzy Extractors: A Brief Survey of Results from 2004 to 2006 with Yevgeniy Dodis and Adam Smith. Appears as a chapter in Security with Noisy Data.
   
  
• Robust Fuzzy Extractors and Authenticated Key Agreement from Close Secrets, with Yevgeniy Dodis, Jonathan Katz and Adam Smith. Appears in Crypto 2006. Completed and corrected version to be posted here soon.
   
  
• Dynamic Authenticated Index Structures for Outsorced Databases, with Feifei Li, Marios Hadjieleftheriou and George Kollios. Appears in SIGMOD 2006.
   
  
• Mercurial Commitments with Applications to Zero-Knowledge Sets , with Melissa Chase, Alexander Healy, Anna Lysyanskaya and Tal Malkin. Appears in Eurocrypt 2005.
   
  
• Upper and Lower Bounds on Black-Box Steganography , with Nenad Dedić, Gene Itkis and Scott Russell. Appears in Journal of Cryptology; preliminary version appears in TCC 2005.
   
  
• A Note On the Statistical Difference of Small Direct Products. Appears as BUCS-TR-2004-032, 2004.
   
  
• Finding Collisions on a Public Road, or Do Secure Hash Functions Need Secret Coins with Chun-Yuan Hsiao. Appears in Crypto 2004.
   
  
• Sequential Aggregate Signatures from Trapdoor Permutations with Anna Lysyanskaya, Silvio Micali and Hovav Shacham. Appears in Eurocrypt 2004.
   
  
• Fuzzy Extractors: How to Generate Strong Keys from Biometrics and Other Noisy Data with Yevgeniy Dodis, Rafail Ostrovsky and Adam Smith. In SIAM Journal on Computing, 2008. Preliminary version appears in Eurocrypt 2004. Implementation available. You may also want to see the related survey.
   
  
• Physically Observable Cryptography with Silvio Micali. Appears in TCC 2004.
   
  
• Breaking and Repairing Optimistic Fair Exchange from PODC 2003 with Yevgeniy Dodis. Appears in DRM 2003.
   
  
• An Improved Pseudorandom Generator Based on Hardness of Factoring with Nenad Dedić and Salil Vadhan. Appears in SCN 2002.
   
  
• On the Power of Claw-Free Permutations with Yevgeniy Dodis. Appears in SCN 2002.
   
  
• Forward-Secure Signatures with Fast Key Update with Anton Kozlov. Appears in SCN 2002.
   
  
• SiBIR: Signer-Base Intrusion-Resilient Signatures with Gene Itkis. Appears in Crypto 2002.
   
  
• Better than Biba: Short One-Time Signatures with Fast Signing and Verifying with Natan Reyzin. Appears in ACISP 2002.
   
  
• Mutually Independent Commitments with Moses Liskov, Anna Lysyanskaya, Silvio Micali and Adam Smith. Appears in Asiacrypt 2001.
   
  
• Accountable-Subgroup Multisignatures with Silvio Micali and Kazuo Ohta. Appears in ACM CCS 2001.
   
  
• Forward-Secure Signatures with Optimal Signing and Verifying with Gene Itkis. Appears in Crypto 2001.
   
  
• Zero-Knowledge with Public Keys. My MIT Ph.D. thesis, 2001. It mostly consists of the results in the following two papers:
  • Soundness in the Public-Key Model with Silvio Micali. Appears in Crypto 2001.
     
    
  • Min-Round Resettable Zero-Knowledge in the Public-Key Model with Silvio Micali. Appears in Eurocrypt 2001.
     
    
• A New Forward-Secure Digital Signature Scheme with Michel Abdalla. Appears in Asiacrypt 2000.
   
  
• On the Round Security of Symmetric-Key Cryptographic Primitives with Zulfikar Ramzan. Appears in Crypto 2000.
   
  
• Improving the Exact Security of Digital Signature Schemes with Silvio Micali. Appears in Journal of Cryptology, 2002 (prior version appears in CQRE [Secure] '99).
   
  
• Signing with Partially Adversarial Hashing with Silvio Micali. Appears as MIT/LCS/TM-575, 1998.
   
  
• Verifying Membership in NP-languages, or How to Avoid Reading Long Proofs. My Harvard honors senior thesis, 1996.