| 2021 | SP | Compact Certificates of Collective Knowledge. | Silvio Micali, Leonid Reyzin, Georgios Vlachos, Riad S. Wahby, Nickolai Zeldovich |
| 2017 | SOSP | Algorand: Scaling Byzantine Agreements for Cryptocurrencies. | Yossi Gilad, Rotem Hemo, Silvio Micali, Georgios Vlachos, Nickolai Zeldovich |
| 2014 | PODC | Rational and resilient protocols. | Silvio Micali |
| 2013 | SODA | Optimal and Efficient Parametric Auctions. | Pablo Daniel Azar, Constantinos Daskalakis, Silvio Micali, S. Matthew Weinberg |
| 2012 | STOC | Rational proofs. | Pablo Daniel Azar, Silvio Micali |
| 2011 | FOCS | Mechanism Design with Set-Theoretic Beliefs. | Jing Chen, Silvio Micali |
| 2009 | STOC | A new approach to auctions and resilient mechanism design. | Jing Chen, Silvio Micali |
| 2009 | TCC | Purely Rational Secret Sharing (Extended Abstract). | Silvio Micali, Abhi Shelat |
| 2008 | PKC | Online-Untransferable Signatures. | Moses D. Liskov, Silvio Micali |
| 2008 | TCC | Verifiably Secure Devices. | Sergei Izmalkov, Matt Lepinski, Silvio Micali |
| 2006 | FOCS | Input-Indistinguishable Computation. | Silvio Micali, Rafael Pass, Alon Rosen |
| 2006 | ICALP | Independent Zero-Knowledge Sets. | Rosario Gennaro, Silvio Micali |
| 2006 | STOC | Local zero knowledge. | Silvio Micali, Rafael Pass |
| 2005 | FOCS | Rational Secure Computation and Ideal Mechanism Design. | Sergei Izmalkov, Silvio Micali, Matt Lepinski |
| 2005 | STOC | Collusion-free protocols. | Matt Lepinski, Silvio Micali, Abhi Shelat |
| 2005 | TCC | Fair-Zero Knowledge. | Matt Lepinski, Silvio Micali, Abhi Shelat |
| 2005 | TCC | Optimal Error Correction Against Computationally Bounded Noise. | Silvio Micali, Chris Peikert, Madhu Sudan, David A. Wilson |
| 2004 | EuroCrypt | Sequential Aggregate Signatures from Trapdoor Permutations. | Anna Lysyanskaya, Silvio Micali, Leonid Reyzin, Hovav Shacham |
| 2004 | PODC | Completely fair SFE and coalition-safe cheap talk. | Matt Lepinski, Silvio Micali, Chris Peikert, Abhi Shelat |
| 2004 | TCC | Algorithmic Tamper-Proof (ATP) Security: Theoretical Foundations for Security against Hardware Tampering. | Rosario Gennaro, Anna Lysyanskaya, Tal Malkin, Silvio Micali, Tal Rabin |
| 2004 | TCC | Physically Observable Cryptography (Extended Abstract). | Silvio Micali, Leonid Reyzin |
| 2003 | CRYPTO | Plaintext Awareness via Key Registration. | Jonathan Herzog, Moses D. Liskov, Silvio Micali |
| 2003 | FOCS | Zero-Knowledge Sets. | Silvio Micali, Michael O. Rabin, Joe Kilian |
| 2003 | PODC | Simple and fast optimistic protocols for fair electronic exchange. | Silvio Micali |
| 2001 | ASIACRYPT | Mutually Independent Commitments. | Moses D. Liskov, Anna Lysyanskaya, Silvio Micali, Leonid Reyzin, Adam D. Smith |
| 2001 | CCS | Accountable-subgroup multisignatures: extended abstract. | Silvio Micali, Kazuo Ohta, Leonid Reyzin |
| 2001 | CRYPTO | Soundness in the Public-Key Model. | Silvio Micali, Leonid Reyzin |
| 2001 | EuroCrypt | Identification Protocols Secure against Reset Attacks. | Mihir Bellare, Marc Fischlin, Shafi Goldwasser, Silvio Micali |
| 2001 | EuroCrypt | Min-round Resettable Zero-Knowledge in the Public-Key Model. | Silvio Micali, Leonid Reyzin |
| 2001 | FC | Amortized E-Cash. | Moses D. Liskov, Silvio Micali |
| 2000 | CRYPTO | Parallel Reducibility for Information-Theoretically Secure Computation. | Yevgeniy Dodis, Silvio Micali |
| 2000 | EuroCrypt | Public-Key Encryption in a Multi-user Setting: Security Proofs and Improvements. | Mihir Bellare, Alexandra Boldyreva, Silvio Micali |
| 2000 | STOC | Resettable zero-knowledge (extended abstract). | Ran Canetti, Oded Goldreich, Shafi Goldwasser, Silvio Micali |
| 1999 | CRYPTO | The All-or-Nothing Nature of Two-Party Secure Computation. | Amos Beimel, Tal Malkin, Silvio Micali |
| 1999 | EuroCrypt | Computationally Private Information Retrieval with Polylogarithmic Communication. | Christian Cachin, Silvio Micali, Markus Stadler |
| 1999 | EuroCrypt | Lower Bounds for Oblivious Transfer Reductions. | Yevgeniy Dodis, Silvio Micali |
| 1999 | FOCS | Verifiable Random Functions. | Silvio Micali, Michael O. Rabin, Salil P. Vadhan |
| 1998 | MFCS | Computationally-Sound Checkers. | Silvio Micali |
| 1996 | CRYPTO | Practical and Provably-Secure Commitment Schemes from Collision-Free Hashing. | Shai Halevi, Silvio Micali |
| 1995 | CRYPTO | A Simple Method for Generating and Sharing Pseudo-Random Functions, with Applications to Clipper-like Escrow Systems. | Silvio Micali, Ray Sidney |
| 1995 | EuroCrypt | Verifiable Secret Sharing as Secure Computation. | Rosario Gennaro, Silvio Micali |
| 1994 | FOCS | Reducibility and Completeness in Multi-Party Private Computations | Eyal Kushilevitz, Silvio Micali, Rafail Ostrovsky |
| 1994 | FOCS | CS Proofs (Extended Abstracts) | Silvio Micali |
| 1993 | CRYPTO | Secret-Key Agreement without Public-Key Cryptography. | Frank Thomson Leighton, Silvio Micali |
| 1992 | CRYPTO | Fair Public-Key Cryptosystems. | Silvio Micali |
| 1991 | CRYPTO | Secure Computation (Abstract). | Silvio Micali, Phillip Rogaway |
| 1990 | CRYPTO | Collective Coin Tossing Without Assumptions nor Broadcasting. | Silvio Micali, Tal Rabin |
| 1990 | STOC | The Round Complexity of Secure Protocols (Extended Abstract) | Donald Beaver, Silvio Micali, Phillip Rogaway |
| 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 | Non-Interactive Oblivious Transfer and Applications. | Mihir Bellare, Silvio Micali |
| 1989 | CRYPTO | On-Line/Off-Line Digital Schemes. | Shimon Even, Oded Goldreich, Silvio Micali |
| 1989 | CRYPTO | Minimum Resource Zero-Knowledge Proofs (Extended Abstract). | Joe Kilian, Silvio Micali, Rafail Ostrovsky |
| 1989 | FOCS | Minimum Resource Zero-Knowledge Proofs (Extended Abstract) | Joe Kilian, Silvio Micali, Rafail Ostrovsky |
| 1989 | ICALP | An Optimal Probabilistic Algorithm For Synchronous Byzantine Agreement. | Paul Feldman, Silvio Micali |
| 1988 | CRYPTO | How To Sign Given Any Trapdoor Function. | Mihir Bellare, Silvio Micali |
| 1988 | CRYPTO | Everything Provable is Provable in Zero-Knowledge. | Michael Ben-Or, Oded Goldreich, Shafi Goldwasser, Johan Hstad, Joe Kilian, Silvio Micali, Phillip Rogaway |
| 1988 | CRYPTO | Proving Security Against Chosen Cyphertext Attacks. | Manuel Blum, Paul Feldman, Silvio Micali |
| 1988 | CRYPTO | Efficient, Perfect Random Number Generators. | Silvio Micali, Claus-Peter Schnorr |
| 1988 | CRYPTO | An Improvement of the Fiat-Shamir Identification and Signature Scheme. | Silvio Micali, Adi Shamir |
| 1988 | CRYPTO | Non-Interactive Zero-Knowledge with Preprocessing. | Alfredo De Santis, Silvio Micali, Giuseppe Persiano |
| 1988 | STOC | How to Sign Given Any Trapdoor Function (Extended Abstract) | Mihir Bellare, Silvio Micali |
| 1988 | STOC | Non-Interactive Zero-Knowledge and Its Applications (Extended Abstract) | Manuel Blum, Paul Feldman, Silvio Micali |
| 1988 | STOC | Optimal Algorithms for Byzantine Agreement | Paul Feldman, Silvio Micali |
| 1987 | CRYPTO | Non-Interactive Zero-Knowledge Proof Systems. | Alfredo De Santis, Silvio Micali, Giuseppe Persiano |
| 1987 | STOC | How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority | Oded Goldreich, Silvio Micali, Avi Wigderson |
| 1986 | CRYPTO | How to Prove all NP-Statements in Zero-Knowledge, and a Methodology of Cryptographic Protocol Design. | Oded Goldreich, Silvio Micali, Avi Wigderson |
| 1986 | CRYPTO | The Notion of Security for Probabilistic Cryptosystems. | Silvio Micali, Charles Rackoff, Bob Sloan |
| 1986 | FOCS | Dynamic deadlock resolution protocols (Extended Abstract) | Baruch Awerbuch, Silvio Micali |
| 1986 | FOCS | Proofs that Yield Nothing But their Validity and a Methodology of Cryptographic Protocol Design (Extended Abstract) | Oded Goldreich, Silvio Micali, Avi Wigderson |
| 1986 | MFCS | Proofs that Release Minimum Knowledge. | Oded Goldreich, Silvio Micali, Avi Wigderson |
| 1986 | TARK | Knowledge and Efficient Computation. | Silvio Micali |
| 1985 | FOCS | Verifiable Secret Sharing and Achieving Simultaneity in the Presence of Faults (Extended Abstract) | Benny Chor, Shafi Goldwasser, Silvio Micali, Baruch Awerbuch |
| 1985 | FOCS | Byzantine Agreement in Constant Expected Time (and Trusting No One) | Paul Feldman, Silvio Micali |
| 1985 | ICALP | A Fair Protocol for Signing Contracts (Extended Abstract). | Michael Ben-Or, Oded Goldreich, Silvio Micali, Ronald L. Rivest |
| 1985 | STOC | The Knowledge Complexity of Interactive Proof-Systems (Extended Abstract) | Shafi Goldwasser, Silvio Micali, Charles Rackoff |
| 1984 | CRYPTO | On the Cryptographic Applications of Random Functions. | Oded Goldreich, Shafi Goldwasser, Silvio Micali |
| 1984 | CRYPTO | A "Paradoxical'"Solution to the Signature Problem (Abstract). | Shafi Goldwasser, Silvio Micali, Ronald L. Rivest |
| 1984 | FOCS | How to Construct Random Functions (Extended Abstract) | Oded Goldreich, Shafi Goldwasser, Silvio Micali |
| 1984 | FOCS | A "Paradoxical" Solution to the Signature Problem (Extended Abstract) | Shafi Goldwasser, Silvio Micali, Ronald L. Rivest |
| 1983 | FOCS | How to Simultaneously Exchange a Secret Bit by Flipping a Symmetrically-Biased Coin | Michael Luby, Silvio Micali, Charles Rackoff |
| 1983 | STOC | Strong Signature Schemes | Shafi Goldwasser, Silvio Micali, Andrew Chi-Chih Yao |
| 1982 | CRYPTO | On Signatures and Authentication. | Shafi Goldwasser, Silvio Micali, Andrew Chi-Chih Yao |
| 1982 | FOCS | How to Generate Cryptographically Strong Sequences of Pseudo Random Bits | Manuel Blum, Silvio Micali |
| 1982 | FOCS | Priority Queues with Variable Priority and an O(EV log V) Algorithm for Finding a Maximal Weighted Matching in General Graphs | Zvi Galil, Silvio Micali, Harold N. Gabow |
| 1982 | FOCS | Why and How to Establish a Private Code on a Public Network (Extended Abstract) | Shafi Goldwasser, Silvio Micali, Po Tong |
| 1982 | STOC | Probabilistic Encryption and How to Play Mental Poker Keeping Secret All Partial Information | Shafi Goldwasser, Silvio Micali |
| 1980 | FOCS | An O(sqrt(|v|) |E|) Algorithm for Finding Maximum Matching in General Graphs | Silvio Micali, Vijay V. Vazirani |