| 2026 | CRYPTO | Just-in-Time-OPRFs and a Modular Framework for Fast Private Set Intersection. | Mihir Bellare, Rishabh Ranjan, Doreen Riepel |
| 2026 | CRYPTO | UCX is All You Need: A Universal Transform for Committing Authenticated Encryption. | Mihir Bellare, Rishabh Ranjan, Nujud Senan, Basel Alomair |
| 2026 | NDSS | Prεεmpt: Sanitizing Sensitive Prompts for LLMs. | Amrita Roy Chowdhury, David Glukhov, Divyam Anshumaan, Prasad Chalasani, Nicolas Papernot, Somesh Jha, Mihir Bellare |
| 2025 | CCS | The OCH Authenticated Encryption Scheme. | Sanketh Menda, Mihir Bellare, Viet Tung Hoang, Julia Len, Thomas Ristenpart |
| 2025 | PKC | Intermundium-DL: Assessing the Resilience of Current Schemes to Discrete-Log-Computation Attacks on Public Parameters. | Mihir Bellare, Doreen Riepel, Laura Shea |
| 2025 | PKC | Public-Algorithm Substitution Attacks: Subverting Hashing and Verification. | Mihir Bellare, Doreen Riepel, Laura Shea |
| 2024 | ASIACRYPT | The Concrete Security of Two-Party Computation: Simple Definitions, and Tight Proofs for PSI and OPRFs. | Mihir Bellare, Rishabh Ranjan, Doreen Riepel, Ali Aldakheel |
| 2024 | ASIACRYPT | Count Corruptions, Not Users: Improved Tightness for Signatures, Encryption and Authenticated Key Exchange. | Mihir Bellare, Doreen Riepel, Stefano Tessaro, Yizhao Zhang |
| 2024 | CRYPTO | Succinctly-Committing Authenticated Encryption. | Mihir Bellare, Viet Tung Hoang |
| 2023 | CRYPTO | When Messages Are Keys: Is HMAC a Dual-PRF? | Matilda Backendal, Mihir Bellare, Felix Gnther, Matteo Scarlata |
| 2023 | PKC | Hardening Signature Schemes via Derive-then-Derandomize: Stronger Security Proofs for EdDSA. | Mihir Bellare, Hannah Davis, Zijing Di |
| 2022 | CRYPTO | Better than Advertised Security for Non-interactive Threshold Signatures. | Mihir Bellare, Elizabeth C. Crites, Chelsea Komlo, Mary Maller, Stefano Tessaro, Chenzhi Zhu |
| 2022 | EuroCrypt | Efficient Schemes for Committing Authenticated Encryption. | Mihir Bellare, Viet Tung Hoang |
| 2021 | ASIACRYPT | Chain Reductions for Multi-signatures and the HBMS Scheme. | Mihir Bellare, Wei Dai |
| 2020 | EuroCrypt | Separate Your Domains: NIST PQC KEMs, Oracle Cloning and Read-Only Indifferentiability. | Mihir Bellare, Hannah Davis, Felix Gnther |
| 2020 | EuroCrypt | Security Under Message-Derived Keys: Signcryption in iMessage. | Mihir Bellare, Igors Stepanovs |
| 2020 | INDOCRYPT | Dual-Mode NIZKs: Possibility and Impossibility Results for Property Transfer. | Vivek Arte, Mihir Bellare |
| 2020 | INDOCRYPT | Incremental Cryptography Revisited: PRFs, Nonces and Modular Design. | Vivek Arte, Mihir Bellare, Louiza Khati |
| 2020 | INDOCRYPT | The Multi-Base Discrete Logarithm Problem: Tight Reductions and Non-rewinding Proofs for Schnorr Identification and Signatures. | Mihir Bellare, Wei Dai |
| 2019 | ASIACRYPT | The Local Forking Lemma and Its Application to Deterministic Encryption. | Mihir Bellare, Wei Dai, Lucy Li |
| 2019 | CRYPTO | Nonces Are Noticed: AEAD Revisited. | Mihir Bellare, Ruth Ng, Bjrn Tackmann |
| 2018 | PKC | Public-Key Encryption Resistant to Parameter Subversion and Its Realization from Efficiently-Embeddable Groups. | Benedikt Auerbach, Mihir Bellare, Eike Kiltz |
| 2017 | CANS | Forward-Security Under Continual Leakage. | Mihir Bellare, Adam O'Neill, Igors Stepanovs |
| 2017 | CCS | Defending Against Key Exfiltration: Efficiency Improvements for Big-Key Cryptography via Large-Alphabet Subkey Prediction. | Mihir Bellare, Wei Dai |
| 2017 | CCS | Identity-Based Format-Preserving Encryption. | Mihir Bellare, Viet Tung Hoang |
| 2017 | CCS | Better Than Advertised: Improved Collision-Resistance Guarantees for MD-Based Hash Functions. | Mihir Bellare, Joseph Jaeger, Julia Len |
| 2017 | CRYPTO | Ratcheted Encryption and Key Exchange: The Security of Messaging. | Mihir Bellare, Asha Camper Singh, Joseph Jaeger, Maya Nyayapati, Igors Stepanovs |
| 2017 | PKC | Deterring Certificate Subversion: Efficient Double-Authentication-Preventing Signatures. | Mihir Bellare, Bertram Poettering, Douglas Stebila |
| 2016 | ASIACRYPT | NIZKs with an Untrusted CRS: Security in the Face of Parameter Subversion. | Mihir Bellare, Georg Fuchsbauer, Alessandra Scafuro |
| 2016 | ASIACRYPT | From Identification to Signatures, Tightly: A Framework and Generic Transforms. | Mihir Bellare, Bertram Poettering, Douglas Stebila |
| 2016 | CCS | Message-Recovery Attacks on Feistel-Based Format Preserving Encryption. | Mihir Bellare, Viet Tung Hoang, Stefano Tessaro |
| 2016 | CRYPTO | Big-Key Symmetric Encryption: Resisting Key Exfiltration. | Mihir Bellare, Daniel Kane, Phillip Rogaway |
| 2016 | CRYPTO | The Multi-user Security of Authenticated Encryption: AES-GCM in TLS 1.3. | Mihir Bellare, Bjrn Tackmann |
| 2016 | EuroCrypt | Hash-Function Based PRFs: AMAC and Its Multi-User Security. | Mihir Bellare, Daniel J. Bernstein, Stefano Tessaro |
| 2016 | EuroCrypt | New Negative Results on Differing-Inputs Obfuscation. | Mihir Bellare, Igors Stepanovs, Brent Waters |
| 2016 | EuroCrypt | Nonce-Based Cryptography: Retaining Security When Randomness Fails. | Mihir Bellare, Bjrn Tackmann |
| 2016 | TCC | Point-Function Obfuscation: A Framework and Generic Constructions. | Mihir Bellare, Igors Stepanovs |
| 2016 | TCC | Contention in Cryptoland: Obfuscation, Leakage and UCE. | Mihir Bellare, Igors Stepanovs, Stefano Tessaro |
| 2015 | CCS | Mass-surveillance without the State: Strongly Undetectable Algorithm-Substitution Attacks. | Mihir Bellare, Joseph Jaeger, Daniel Kane |
| 2015 | EuroCrypt | Resisting Randomness Subversion: Fast Deterministic and Hedged Public-Key Encryption in the Standard Model. | Mihir Bellare, Viet Tung Hoang |
| 2015 | PKC | How Secure is Deterministic Encryption? | Mihir Bellare, Rafael Dowsley, Sriram Keelveedhi |
| 2015 | PKC | Adaptive Witness Encryption and Asymmetric Password-Based Cryptography. | Mihir Bellare, Viet Tung Hoang |
| 2015 | PKC | Interactive Message-Locked Encryption and Secure Deduplication. | Mihir Bellare, Sriram Keelveedhi |
| 2014 | ASIACRYPT | Poly-Many Hardcore Bits for Any One-Way Function and a Framework for Differing-Inputs Obfuscation. | Mihir Bellare, Igors Stepanovs, Stefano Tessaro |
| 2014 | CRYPTO | Cryptography from Compression Functions: The UCE Bridge to the ROM. | Mihir Bellare, Viet Tung Hoang, Sriram Keelveedhi |
| 2014 | CRYPTO | Security of Symmetric Encryption against Mass Surveillance. | Mihir Bellare, Kenneth G. Paterson, Phillip Rogaway |
| 2014 | EuroCrypt | Key-Versatile Signatures and Applications: RKA, KDM and Joint Enc/Sig. | Mihir Bellare, Sarah Meiklejohn, Susan Thomson |
| 2014 | PKC | Policy-Based Signatures. | Mihir Bellare, Georg Fuchsbauer |
| 2013 | CANS | Semantically-Secure Functional Encryption: Possibility Results, Impossibility Results and the Quest for a General Definition. | Mihir Bellare, Adam O'Neill |
| 2013 | CRYPTO | Instantiating Random Oracles via UCEs. | Mihir Bellare, Viet Tung Hoang, Sriram Keelveedhi |
| 2013 | EuroCrypt | Message-Locked Encryption and Secure Deduplication. | Mihir Bellare, Sriram Keelveedhi, Thomas Ristenpart |
| 2013 | SP | Efficient Garbling from a Fixed-Key Blockcipher. | Mihir Bellare, Viet Tung Hoang, Sriram Keelveedhi, Phillip Rogaway |
| 2012 | ASIACRYPT | Adaptively Secure Garbling with Applications to One-Time Programs and Secure Outsourcing. | Mihir Bellare, Viet Tung Hoang, Phillip Rogaway |
| 2012 | ASIACRYPT | RKA Security beyond the Linear Barrier: IBE, Encryption and Signatures. | Mihir Bellare, Kenneth G. Paterson, Susan Thomson |
| 2012 | CCS | Foundations of garbled circuits. | Mihir Bellare, Viet Tung Hoang, Phillip Rogaway |
| 2012 | CRYPTO | Multi-instance Security and Its Application to Password-Based Cryptography. | Mihir Bellare, Thomas Ristenpart, Stefano Tessaro |
| 2012 | CRYPTO | Semantic Security for the Wiretap Channel. | Mihir Bellare, Stefano Tessaro, Alexander Vardy |
| 2012 | EuroCrypt | Standard Security Does Not Imply Security against Selective-Opening. | Mihir Bellare, Rafael Dowsley, Brent Waters, Scott Yilek |
| 2012 | EuroCrypt | Identity-Based (Lossy) Trapdoor Functions and Applications. | Mihir Bellare, Eike Kiltz, Chris Peikert, Brent Waters |
| 2011 | ASIACRYPT | Cryptography Secure against Related-Key Attacks and Tampering. | Mihir Bellare, David Cash, Rachel Miller |
| 2011 | CCS | Ciphers that securely encipher their own keys. | Mihir Bellare, David Cash, Sriram Keelveedhi |
| 2011 | CRYPTO | Authenticated and Misuse-Resistant Encryption of Key-Dependent Data. | Mihir Bellare, Sriram Keelveedhi |
| 2011 | TCC | Identity-Based Encryption Secure against Selective Opening Attack. | Mihir Bellare, Brent Waters, Scott Yilek |
| 2010 | CRYPTO | Pseudorandom Functions and Permutations Provably Secure against Related-Key Attacks. | Mihir Bellare, David Cash |
| 2010 | EuroCrypt | Cryptographic Agility and Its Relation to Circular Encryption. | Tolga Acar, Mira Belenkiy, Mihir Bellare, David Cash |
| 2010 | TCC | Robust Encryption. | Michel Abdalla, Mihir Bellare, Gregory Neven |
| 2009 | ASIACRYPT | Hedged Public-Key Encryption: How to Protect against Bad Randomness. | Mihir Bellare, Zvika Brakerski, Moni Naor, Thomas Ristenpart, Gil Segev, Hovav Shacham, Scott Yilek |
| 2009 | EuroCrypt | Possibility and Impossibility Results for Encryption and Commitment Secure under Selective Opening. | Mihir Bellare, Dennis Hofheinz, Scott Yilek |
| 2009 | EuroCrypt | Simulation without the Artificial Abort: Simplified Proof and Improved Concrete Security for Waters' IBE Scheme. | Mihir Bellare, Thomas Ristenpart |
| 2008 | ASIACRYPT | Hash Functions from Sigma Protocols and Improvements to VSH. | Mihir Bellare, Todor Ristov |
| 2008 | CRYPTO | Deterministic Encryption: Definitional Equivalences and Constructions without Random Oracles. | Mihir Bellare, Marc Fischlin, Adam O'Neill, Thomas Ristenpart |
| 2007 | CCS | Robust computational secret sharing and a unified account of classical secret-sharing goals. | Phillip Rogaway, Mihir Bellare |
| 2007 | CRYPTO | Deterministic and Efficiently Searchable Encryption. | Mihir Bellare, Alexandra Boldyreva, Adam O'Neill |
| 2007 | ICALP | Unrestricted Aggregate Signatures. | Mihir Bellare, Chanathip Namprempre, Gregory Neven |
| 2007 | ICALP | Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms. | Mihir Bellare, Thomas Ristenpart |
| 2007 | PKC | Two-Tier Signatures, Strongly Unforgeable Signatures, and Fiat-Shamir Without Random Oracles. | Mihir Bellare, Sarah Shoup |
| 2006 | ASIACRYPT | Multi-Property-Preserving Hash Domain Extension and the EMD Transform. | Mihir Bellare, Thomas Ristenpart |
| 2006 | CCS | Stateful public-key cryptosystems: how to encrypt with one 160-bit exponentiation. | Mihir Bellare, Tadayoshi Kohno, Victor Shoup |
| 2006 | CCS | Multi-signatures in the plain public-Key model and a general forking lemma. | Mihir Bellare, Gregory Neven |
| 2006 | CRYPTO | New Proofs for NMAC and HMAC: Security without collision-resistance. | Mihir Bellare |
| 2006 | EuroCrypt | The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs. | Mihir Bellare, Phillip Rogaway |
| 2005 | CRYPTO | Searchable Encryption Revisited: Consistency Properties, Relation to Anonymous IBE, and Extensions. | Michel Abdalla, Mihir Bellare, Dario Catalano, Eike Kiltz, Tadayoshi Kohno, Tanja Lange, John Malone-Lee, Gregory Neven, Pascal Paillier, Haixia Shi |
| 2005 | CRYPTO | Improved Security Analyses for CBC MACs. | Mihir Bellare, Krzysztof Pietrzak, Phillip Rogaway |
| 2004 | ASIACRYPT | Towards Plaintext-Aware Public-Key Encryption Without Random Oracles. | Mihir Bellare, Adriana Palacio |
| 2004 | CRYPTO | The Knowledge-of-Exponent Assumptions and 3-Round Zero-Knowledge Protocols. | Mihir Bellare, Adriana Palacio |
| 2004 | EuroCrypt | An Uninstantiable Random-Oracle-Model Scheme for a Hybrid-Encryption Problem. | Mihir Bellare, Alexandra Boldyreva, Adriana Palacio |
| 2004 | EuroCrypt | Hash Function Balance and Its Impact on Birthday Attacks. | Mihir Bellare, Tadayoshi Kohno |
| 2004 | EuroCrypt | Security Proofs for Identity-Based Identification and Signature Schemes. | Mihir Bellare, Chanathip Namprempre, Gregory Neven |
| 2004 | FSE | The EAX Mode of Operation. | Mihir Bellare, Phillip Rogaway, David A. Wagner |
| 2003 | EuroCrypt | A Theoretical Treatment of Related-Key Attacks: RKA-PRPs, RKA-PRFs, and Applications. | Mihir Bellare, Tadayoshi Kohno |
| 2003 | EuroCrypt | Foundations of Group Signatures: Formal Definitions, Simplified Requirements, and a Construction Based on General Assumptions. | Mihir Bellare, Daniele Micciancio, Bogdan Warinschi |
| 2003 | PKC | Randomness Re-use in Multi-recipient Encryption Schemeas. | Mihir Bellare, Alexandra Boldyreva, Jessica Staddon |
| 2002 | ASIACRYPT | Transitive Signatures Based on Factoring and RSA. | Mihir Bellare, Gregory Neven |
| 2002 | CCS | Authenticated encryption in SSH: provably fixing the SSH binary packet protocol. | Mihir Bellare, Tadayoshi Kohno, Chanathip Namprempre |
| 2002 | CRYPTO | GQ and Schnorr Identification Schemes: Proofs of Security against Impersonation under Active and Concurrent Attacks. | Mihir Bellare, Adriana Palacio |
| 2002 | EuroCrypt | From Identification to Signatures via the Fiat-Shamir Transform: Minimizing Assumptions for Security and Forward-Security. | Michel Abdalla, Jee Hea An, Mihir Bellare, Chanathip Namprempre |
| 2001 | ASIACRYPT | Key-Privacy in Public-Key Encryption. | Mihir Bellare, Alexandra Boldyreva, Anand Desai, David Pointcheval |
| 2001 | CCS | OCB: a block-cipher mode of operation for efficient authenticated encryption. | Phillip Rogaway, Mihir Bellare, John Black, Ted Krovetz |
| 2001 | CRYPTO | Online Ciphers and the Hash-CBC Construction. | Mihir Bellare, Alexandra Boldyreva, Lars R. Knudsen, Chanathip Namprempre |
| 2001 | EuroCrypt | Does Encryption with Redundancy Provide Authenticity? | Jee Hea An, Mihir Bellare |
| 2001 | EuroCrypt | Identification Protocols Secure against Reset Attacks. | Mihir Bellare, Marc Fischlin, Shafi Goldwasser, Silvio Micali |
| 2001 | FC | The Power of RSA Inversion Oracles and the Security of Chaum's RSA-Based Blind Signature Scheme. | Mihir Bellare, Chanathip Namprempre, David Pointcheval, Michael Semanko |
| 2000 | ASIACRYPT | Increasing the Lifetime of a Key: A Comparative Analysis of the Security of Re-keying Techniques. | Michel Abdalla, Mihir Bellare |
| 2000 | ASIACRYPT | The Security of Chaffing and Winnowing. | Mihir Bellare, Alexandra Boldyreva |
| 2000 | ASIACRYPT | Authenticated Encryption: Relations among Notions and Analysis of the Generic Composition Paradigm. | Mihir Bellare, Chanathip Namprempre |
| 2000 | ASIACRYPT | Encode-Then-Encipher Encryption: How to Exploit Nonces or Redundancy in Plaintexts for Efficient Cryptography. | Mihir Bellare, Phillip Rogaway |
| 2000 | EuroCrypt | Public-Key Encryption in a Multi-user Setting: Security Proofs and Improvements. | Mihir Bellare, Alexandra Boldyreva, Silvio Micali |
| 2000 | EuroCrypt | Authenticated Key Exchange Secure against Dictionary Attacks. | Mihir Bellare, David Pointcheval, Phillip Rogaway |
| 1999 | CRYPTO | Constructing VIL-MACsfrom FIL-MACs: Message Authentication under Weakened Assumptions. | Jee Hea An, Mihir Bellare |
| 1999 | CRYPTO | Stateless Evaluation of Pseudorandom Functions: Security beyond the Birthday Barrier. | Mihir Bellare, Oded Goldreich, Hugo Krawczyk |
| 1999 | CRYPTO | A Forward-Secure Digital Signature Scheme. | Mihir Bellare, Sara K. Miner |
| 1999 | CRYPTO | Non-malleable Encryption: Equivalence between Two Notions, and an Indistinguishability-Based Characterization. | Mihir Bellare, Amit Sahai |
| 1999 | FSE | On the Construction of Variable-Input-Length Ciphers. | Mihir Bellare, Phillip Rogaway |
| 1998 | CRYPTO | Security Amplification by Composition: The Case of Doubly-Iterated, Ideal Ciphers. | William Aiello, Mihir Bellare, Giovanni Di Crescenzo, Ramarathnam Venkatesan |
| 1998 | CRYPTO | Relations Among Notions of Security for Public-Key Encryption Schemes. | Mihir Bellare, Anand Desai, David Pointcheval, Phillip Rogaway |
| 1998 | CRYPTO | Many-to-One Trapdoor Functions and Their Ralation to Public-Key Cryptosystems. | Mihir Bellare, Shai Halevi, Amit Sahai, Salil P. Vadhan |
| 1998 | EuroCrypt | Fast Batch Verification for Modular Exponentiation and Digital Signatures. | Mihir Bellare, Juan A. Garay, Tal Rabin |
| 1998 | EuroCrypt | Luby-Rackoff Backwards: Increasing Security by Making Block Ciphers Non-invertible. | Mihir Bellare, Ted Krovetz, Phillip Rogaway |
| 1998 | LATIN | Batch Verification with Applications to Cryptography and Checking. | Mihir Bellare, Juan A. Garay, Tal Rabin |
| 1998 | STOC | A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols (Extended Abstract). | Mihir Bellare, Ran Canetti, Hugo Krawczyk |
| 1997 | CCS | Verifiable Partial Key Escrow. | Mihir Bellare, Shafi Goldwasser |
| 1997 | CRYPTO | "Pseudo-Random" Number Generation Within Cryptographic Algorithms: The DDS Case. | Mihir Bellare, Shafi Goldwasser, Daniele Micciancio |
| 1997 | CRYPTO | Collision-Resistant Hashing: Towards Making UOWHFs Practical. | Mihir Bellare, Phillip Rogaway |
| 1997 | EuroCrypt | Round-Optimal Zero-Knowledge Arguments Based on any One-Way Function. | Mihir Bellare, Markus Jakobsson, Moti Yung |
| 1997 | EuroCrypt | A New Paradigm for Collision-Free Hashing: Incrementality at Reduced Cost. | Mihir Bellare, Daniele Micciancio |
| 1997 | FOCS | A Concrete Security Treatment of Symmetric Encryption. | Mihir Bellare, Anand Desai, E. Jokipii, Phillip Rogaway |
| 1997 | FOCS | Does Parallel Repetition Lower the Error in Computationally Sound Protocols? | Mihir Bellare, Russell Impagliazzo, Moni Naor |
| 1997 | ICICS | Minimizing the use of random oracles in authenticated encryption schemes. | Mihir Bellare, Phillip Rogaway |
| 1996 | CRYPTO | Keying Hash Functions for Message Authentication. | Mihir Bellare, Ran Canetti, Hugo Krawczyk |
| 1996 | EuroCrypt | The Exact Security of Digital Signatures - HOw to Sign with RSA and Rabin. | Mihir Bellare, Phillip Rogaway |
| 1996 | FOCS | Pseudorandom Functions Revisited: The Cascade Construction and Its Concrete Security. | Mihir Bellare, Ran Canetti, Hugo Krawczyk |
| 1996 | PODC | Distributed Pseudo-Random Bit Generators - A New Way to Speed-Up Shared Coin Tossing. | Mihir Bellare, Juan A. Garay, Tal Rabin |
| 1995 | CRYPTO | XOR MACs: New Methods for Message Authentication Using Finite Pseudorandom Functions. | Mihir Bellare, Roch Gurin, Phillip Rogaway |
| 1995 | FOCS | Linearity Testing in Characteristic Two. | Mihir Bellare, Don Coppersmith, Johan Hstad, Marcos A. Kiwi, Madhu Sudan |
| 1995 | FOCS | Free Bits, PCPs and Non-Approximability - Towards Tight Results. | Mihir Bellare, Oded Goldreich, Madhu Sudan |
| 1995 | STOC | Knowledge on the average-perfect, statistical and logarithmic. | William Aiello, Mihir Bellare, Ramarathnam Venkatesan |
| 1995 | STOC | Incremental cryptography and application to virus protection. | Mihir Bellare, Oded Goldreich, Shafi Goldwasser |
| 1995 | STOC | Provably secure session key distribution: the three party case. | Mihir Bellare, Phillip Rogaway |
| 1994 | CRYPTO | Incremental Cryptography: The Case of Hashing and Signing. | Mihir Bellare, Oded Goldreich, Shafi Goldwasser |
| 1994 | CRYPTO | The Security of Cipher Block Chaining. | Mihir Bellare, Joe Kilian, Phillip Rogaway |
| 1994 | EuroCrypt | Optimal Asymmetric Encryption. | Mihir Bellare, Phillip Rogaway |
| 1994 | FOCS | Randomness-Efficient Oblivious Sampling | Mihir Bellare, John Rompel |
| 1994 | STOC | Efficient probabilistic checkable proofs and applications to approximation. | Mihir Bellare, Shafi Goldwasser, Carsten Lund, Alexander Russell |
| 1994 | STOC | Improved non-approximability results. | Mihir Bellare, Madhu Sudan |
| 1993 | CCS | Random Oracles are Practical: A Paradigm for Designing Efficient Protocols. | Mihir Bellare, Phillip Rogaway |
| 1993 | CRYPTO | Entity Authentication and Key Distribution. | Mihir Bellare, Phillip Rogaway |
| 1993 | STOC | Efficient probabilistically checkable proofs and applications to approximations. | Mihir Bellare, Shafi Goldwasser, Carsten Lund, Alexander Russell |
| 1992 | COLT | A Technique for Upper Bounding the Spectral Norm with Applications to Learning. | Mihir Bellare |
| 1992 | CRYPTO | On Defining Proofs of Knowledge. | Mihir Bellare, Oded Goldreich |
| 1992 | CRYPTO | Certifying Cryptographic Tools: The Case of Trapdoor Permutations. | Mihir Bellare, Moti Yung |
| 1992 | STOC | Making Zero-Knowledge Provers Efficient | Mihir Bellare, Erez Petrank |
| 1991 | FOCS | Languages that Are Easier than their Proofs | Richard Beigel, Mihir Bellare, Joan Feigenbaum, Shafi Goldwasser |
| 1990 | FOCS | Randomness in Interactive Proofs | Mihir Bellare, Oded Goldreich, Shafi Goldwasser |
| 1990 | STOC | Perfect Zero-Knowledge in Constant Rounds | Mihir Bellare, Silvio Micali, Rafail Ostrovsky |
| 1990 | STOC | The (True) Complexity of Statistical Zero Knowledge | Mihir Bellare, Silvio Micali, Rafail Ostrovsky |
| 1989 | CRYPTO | On the Structure of Secret Key Exchange Protocols. | Mihir Bellare, Lenore Cowen, Shafi Goldwasser |
| 1989 | CRYPTO | New Paradigms for Digital Signatures and Message Authentication Based on Non-Interative Zero Knowledge Proofs. | Mihir Bellare, Shafi Goldwasser |
| 1989 | CRYPTO | Non-Interactive Oblivious Transfer and Applications. | Mihir Bellare, Silvio Micali |
| 1988 | CRYPTO | How To Sign Given Any Trapdoor Function. | Mihir Bellare, Silvio Micali |
| 1988 | STOC | How to Sign Given Any Trapdoor Function (Extended Abstract) | Mihir Bellare, Silvio Micali |