Silvio Micali - RankMe

168 papers A* 77A 10B 12Journal 53Unranked 8

Year	Rank	Type	Title / Venue / Authors
2021	A*	`conf`	Compact Certificates of Collective Knowledge. SP Silvio Micali, Leonid Reyzin, Georgios Vlachos, Riad S. Wahby, Nickolai Zeldovich
2020	J	`jnl`	Compact Certificates of Collective Knowledge. IACR Cryptol. ePrint Arch. Silvio Micali, Leonid Reyzin, Georgios Vlachos, Riad S. Wahby, Nickolai Zeldovich
2019	—	`ch.`	A "paradoxical" solution to the signature problem. Providing Sound Foundations for Cryptography Shafi Goldwasser, Silvio Micali, Ronald L. Rivest
2019	J	`jnl`	Algorand: A secure and efficient distributed ledger. Theor. Comput. Sci. Jing Chen, Silvio Micali
2019	—	`ch.`	How to construct random functions. Providing Sound Foundations for Cryptography Oded Goldreich, Shafi Goldwasser, Silvio Micali
2019	—	`ch.`	How to generate cryptographically strong sequences of pseudo random bits. Providing Sound Foundations for Cryptography Manuel Blum, Silvio Micali
2019	—	`ch.`	How to play any mental game, or a completeness theorem for protocols with honest majority. Providing Sound Foundations for Cryptography Oded Goldreich, Silvio Micali, Avi Wigderson
2019	—	`ch.`	Non-interactive zero-knowledge and its applications. Providing Sound Foundations for Cryptography Manuel Blum, Paul Feldman, Silvio Micali
2019	—	`ch.`	Probabilistic encryption & how to play mental poker keeping secret all partial information. Providing Sound Foundations for Cryptography Shafi Goldwasser, Silvio Micali
2019	—	`ch.`	Proofs that yield nothing but their validity and a methodology of cryptographic protocol design. Providing Sound Foundations for Cryptography Oded Goldreich, Silvio Micali, Avi Wigderson
2019	—	`ch.`	The knowledge complexity of interactive proof-systems. Providing Sound Foundations for Cryptography Shafi Goldwasser, Silvio Micali, Charles Rackoff
2018	J	`jnl`	ALGORAND AGREEMENT: Super Fast and Partition Resilient Byzantine Agreement. IACR Cryptol. ePrint Arch. Jing Chen, Sergey Gorbunov, Silvio Micali, Georgios Vlachos
2017	A*	`conf`	Algorand: Scaling Byzantine Agreements for Cryptocurrencies. SOSP Yossi Gilad, Rotem Hemo, Silvio Micali, Georgios Vlachos, Nickolai Zeldovich
2017	J	`jnl`	Algorand: Scaling Byzantine Agreements for Cryptocurrencies. IACR Cryptol. ePrint Arch. Yossi Gilad, Rotem Hemo, Silvio Micali, Georgios Vlachos, Nickolai Zeldovich
2017	J	`jnl`	Collusion, efficiency, and dominant strategies. Games Econ. Behav. Alan Deckelbaum, Silvio Micali
2017	A	`conf`	Very Simple and Efficient Byzantine Agreement. ITCS Silvio Micali
2016	J	`jnl`	ALGORAND: The Efficient and Democratic Ledger. CoRR Silvio Micali
2016	A	`conf`	Auction Revenue in the General Spiteful-Utility Model. ITCS Jing Chen, Silvio Micali
2016	J	`jnl`	Leveraging Possibilistic Beliefs in Unrestricted Combinatorial Auctions. Games Jing Chen, Silvio Micali
2016	A	`conf`	Mechanisms With Costly Knowledge. ITCS Atalay Mert Ileri, Silvio Micali
2016	J	`jnl`	Reconstructing Markov processes from independent and anonymous experiments. Discret. Appl. Math. Silvio Micali, Zeyuan Allen Zhu
2015	A	`conf`	Better Outcomes from More Rationality. ITCS Jing Chen, Silvio Micali, Rafael Pass
2015	J	`jnl`	Democoin: A Publicly Verifiable and Jointly Serviced Cryptocurrency. IACR Cryptol. ePrint Arch. Sergey Gorbunov, Silvio Micali
2015	J	`jnl`	Mechanism design with possibilistic beliefs. J. Econ. Theory Jing Chen, Silvio Micali
2015	J	`jnl`	What it means to receive the Turing award. Commun. ACM Silvio Micali
2014	J	`jnl`	Bridging Utility Maximization and Regret Minimization. CoRR Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
2014	J	`jnl`	Cryptography miracles, secure auctions, matching problem verification. Commun. ACM Silvio Micali, Michael O. Rabin
2014	J	`jnl`	Johnson-Lindenstrauss Compression with Neuroscience-Based Constraints. CoRR Zeyuan Allen Zhu, Rati Gelashvili, Silvio Micali, Nir Shavit
2014	J	`jnl`	Knightian Analysis of the VCG Mechanism in Unrestricted Combinatorial Auctions. CoRR Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
2014	J	`jnl`	Knightian Robustness from Regret Minimization. CoRR Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
2014	J	`jnl`	Knightian Robustness of Single-Parameter Domains. CoRR Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
2014	J	`jnl`	Knightian Robustness of the Vickrey Mechanism. CoRR Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
2014	A*	`conf`	Knightian self uncertainty in the vcg mechanism for unrestricted combinatorial auctions. EC Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
2014	A*	`conf`	Rational and resilient protocols. PODC Silvio Micali
2014	J	`jnl`	The Query Complexity of Scoring Rules. ACM Trans. Economics and Comput. Pablo Daniel Azar, Silvio Micali
2013	A*	`conf`	Optimal and Efficient Parametric Auctions. SODA Pablo Daniel Azar, Constantinos Daskalakis, Silvio Micali, S. Matthew Weinberg
2013	A	`conf`	Parametric digital auctions. ITCS Pablo Daniel Azar, Silvio Micali
2013	A*	`conf`	Super-efficient rational proofs. EC Pablo Daniel Azar, Silvio Micali
2012	J	`jnl`	Collusive dominant-strategy truthfulness. J. Econ. Theory Jing Chen, Silvio Micali
2012	A	`conf`	Crowdsourced Bayesian auctions. ITCS Pablo Azar, Jing Chen, Silvio Micali
2012	A	`conf`	Mechanism design with approximate valuations. ITCS Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
2012	A*	`conf`	Rational proofs. STOC Pablo Daniel Azar, Silvio Micali
2011	—	`conf`	Crowdsourced Bayesian Auctions - (Abstract). AMMA Pablo Daniel Azar, Jing Chen, Silvio Micali
2011	J	`jnl`	Knightian Auctions CoRR Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
2011	A*	`conf`	Mechanism Design with Set-Theoretic Beliefs. FOCS Jing Chen, Silvio Micali
2011	J	`jnl`	Perfect implementation. Games Econ. Behav. Sergei Izmalkov, Matt Lepinski, Silvio Micali
2010	J	`jnl`	Optimal Error Correction for Computationally Bounded Noise. IEEE Trans. Inf. Theory Silvio Micali, Chris Peikert, Madhu Sudan, David A. Wilson
2010	—	`conf`	Perfect concrete implementation of arbitrary mechanisms: a quick summary of joint work with Sergei Izmalkov and Matt Lepinski. BQGT Silvio Micali
2010	A	`conf`	Robust Perfect Revenue From Perfectly Informed Players. ICS Jing Chen, Avinatan Hassidim, Silvio Micali
2010	A	`conf`	Robustly Leveraging Collusion in Combinatorial Auctions. ICS Jing Chen, Silvio Micali, Paul Valiant
2009	A*	`conf`	A new approach to auctions and resilient mechanism design. STOC Jing Chen, Silvio Micali
2009	B	`conf`	Purely Rational Secret Sharing (Extended Abstract). TCC Silvio Micali, Abhi Shelat
2008	—	`conf`	Online-Untransferable Signatures. Public Key Cryptography Moses D. Liskov, Silvio Micali
2008	B	`conf`	Verifiably Secure Devices. TCC Sergei Izmalkov, Matt Lepinski, Silvio Micali
2006	—	`conf`	Independent Zero-Knowledge Sets. ICALP (2) Rosario Gennaro, Silvio Micali
2006	J	`jnl`	Independent Zero-Knowledge Sets. IACR Cryptol. ePrint Arch. Rosario Gennaro, Silvio Micali
2006	A*	`conf`	Input-Indistinguishable Computation. FOCS Silvio Micali, Rafael Pass, Alon Rosen
2006	A*	`conf`	Local zero knowledge. STOC Silvio Micali, Rafael Pass
2005	A*	`conf`	Collusion-free protocols. STOC Matt Lepinski, Silvio Micali, Abhi Shelat
2005	B	`conf`	Fair-Zero Knowledge. TCC Matt Lepinski, Silvio Micali, Abhi Shelat
2005	B	`conf`	Optimal Error Correction Against Computationally Bounded Noise. TCC Silvio Micali, Chris Peikert, Madhu Sudan, David A. Wilson
2005	A*	`conf`	Rational Secure Computation and Ideal Mechanism Design. FOCS Sergei Izmalkov, Silvio Micali, Matt Lepinski
2004	B	`conf`	Algorithmic Tamper-Proof (ATP) Security: Theoretical Foundations for Security against Hardware Tampering. TCC Rosario Gennaro, Anna Lysyanskaya, Tal Malkin, Silvio Micali, Tal Rabin
2004	A*	`conf`	Completely fair SFE and coalition-safe cheap talk. PODC Matt Lepinski, Silvio Micali, Chris Peikert, Abhi Shelat
2004	B	`conf`	Physically Observable Cryptography (Extended Abstract). TCC Silvio Micali, Leonid Reyzin
2004	A*	`conf`	Sequential Aggregate Signatures from Trapdoor Permutations. EUROCRYPT Anna Lysyanskaya, Silvio Micali, Leonid Reyzin, Hovav Shacham
2003	B	`conf`	Fractal Merkle Tree Representation and Traversal. CT-RSA Markus Jakobsson, Frank Thomson Leighton, Silvio Micali, Michael Szydlo
2003	J	`jnl`	Physically Observable Cryptography. IACR Cryptol. ePrint Arch. Silvio Micali, Leonid Reyzin
2003	A*	`conf`	Plaintext Awareness via Key Registration. CRYPTO Jonathan Herzog, Moses D. Liskov, Silvio Micali
2003	J	`jnl`	Sequential Aggregate Signatures from Trapdoor Permutations. IACR Cryptol. ePrint Arch. Anna Lysyanskaya, Silvio Micali, Leonid Reyzin, Hovav Shacham
2003	A*	`conf`	Simple and fast optimistic protocols for fair electronic exchange. PODC Silvio Micali
2003	A*	`conf`	Zero-Knowledge Sets. FOCS Silvio Micali, Michael O. Rabin, Joe Kilian
2002	J	`jnl`	Improving the Exact Security of Digital Signature Schemes. J. Cryptol. Silvio Micali, Leonid Reyzin
2002	B	`conf`	Micropayments Revisited. CT-RSA Silvio Micali, Ronald L. Rivest
2002	B	`conf`	Transitive Signature Schemes. CT-RSA Silvio Micali, Ronald L. Rivest
2001	A*	`conf`	Accountable-subgroup multisignatures: extended abstract. CCS Silvio Micali, Kazuo Ohta, Leonid Reyzin
2001	—	`conf`	Amortized E-Cash. Financial Cryptography Moses D. Liskov, Silvio Micali
2001	A*	`conf`	Identification Protocols Secure against Reset Attacks. EUROCRYPT Mihir Bellare, Marc Fischlin, Shafi Goldwasser, Silvio Micali
2001	A*	`conf`	Min-round Resettable Zero-Knowledge in the Public-Key Model. EUROCRYPT Silvio Micali, Leonid Reyzin
2001	A	`conf`	Mutually Independent Commitments. ASIACRYPT Moses D. Liskov, Anna Lysyanskaya, Silvio Micali, Leonid Reyzin, Adam D. Smith
2001	A*	`conf`	Soundness in the Public-Key Model. CRYPTO Silvio Micali, Leonid Reyzin
2000	J	`jnl`	Computationally Sound Proofs. SIAM J. Comput. Silvio Micali
2000	J	`jnl`	Identification Protocols Secure Against Reset Attacks. IACR Cryptol. ePrint Arch. Mihir Bellare, Marc Fischlin, Shafi Goldwasser, Silvio Micali
2000	A*	`conf`	Parallel Reducibility for Information-Theoretically Secure Computation. CRYPTO Yevgeniy Dodis, Silvio Micali
2000	A*	`conf`	Public-Key Encryption in a Multi-user Setting: Security Proofs and Improvements. EUROCRYPT Mihir Bellare, Alexandra Boldyreva, Silvio Micali
2000	J	`jnl`	Reducibility and Completeness in Private Computations. SIAM J. Comput. Joe Kilian, Eyal Kushilevitz, Silvio Micali, Rafail Ostrovsky
2000	A*	`conf`	Resettable zero-knowledge (extended abstract). STOC Ran Canetti, Oded Goldreich, Shafi Goldwasser, Silvio Micali
1999	A*	`conf`	Computationally Private Information Retrieval with Polylogarithmic Communication. EUROCRYPT Christian Cachin, Silvio Micali, Markus Stadler
1999	J	`jnl`	Improving the Exact Security of Digital Signature Schemes. IACR Cryptol. ePrint Arch. Silvio Micali, Leonid Reyzin
1999	—	`conf`	Improving the Exact Security of Fiat-Shamir Signature Schemes. CQRE Silvio Micali, Leonid Reyzin
1999	J	`jnl`	Interleaved Zero-Knowledge in the Public-Key Model. Electron. Colloquium Comput. Complex. Oded Goldreich, Shafi Goldwasser, Silvio Micali
1999	J	`jnl`	Interleaved Zero-Knowledge in the Public-Key Model. IACR Cryptol. ePrint Arch. Oded Goldreich, Shafi Goldwasser, Silvio Micali
1999	A*	`conf`	Lower Bounds for Oblivious Transfer Reductions. EUROCRYPT Yevgeniy Dodis, Silvio Micali
1999	J	`jnl`	Resettable Zero-Knowledge. Electron. Colloquium Comput. Complex. Ran Canetti, Oded Goldreich, Shafi Goldwasser, Silvio Micali
1999	J	`jnl`	Resettable Zero-Knowledge. IACR Cryptol. ePrint Arch. Ran Canetti, Oded Goldreich, Shafi Goldwasser, Silvio Micali
1999	A*	`conf`	The All-or-Nothing Nature of Two-Party Secure Computation. CRYPTO Amos Beimel, Tal Malkin, Silvio Micali
1999	A*	`conf`	Verifiable Random Functions. FOCS Silvio Micali, Michael O. Rabin, Salil P. Vadhan
1998	B	`conf`	Computationally-Sound Checkers. MFCS Silvio Micali
1998	J	`jnl`	More on Proofs of Knowledge. IACR Cryptol. ePrint Arch. Shai Halevi, Silvio Micali
1997	J	`jnl`	An Optimal Probabilistic Protocol for Synchronous Byzantine Agreement. SIAM J. Comput. Pesech Feldman, Silvio Micali
1996	J	`jnl`	A Secure Protocol for the Oblivious Transfer (Extended Abstract). J. Cryptol. Michael J. Fischer, Silvio Micali, Charles Rackoff
1996	J	`jnl`	On-Line/Off-Line Digital Signatures. J. Cryptol. Shimon Even, Oded Goldreich, Silvio Micali
1996	A*	`conf`	Practical and Provably-Secure Commitment Schemes from Collision-Free Hashing. CRYPTO Shai Halevi, Silvio Micali
1995	A*	`conf`	A Simple Method for Generating and Sharing Pseudo-Random Functions, with Applications to Clipper-like Escrow Systems. CRYPTO Silvio Micali, Ray Sidney
1995	—	`conf`	Computationally-Sound Proofs. Logic Colloquium Silvio Micali
1995	A*	`conf`	Verifiable Secret Sharing as Secure Computation. EUROCRYPT Rosario Gennaro, Silvio Micali
1994	A*	`conf`	CS Proofs (Extended Abstracts) FOCS Silvio Micali
1994	A*	`conf`	Reducibility and Completeness in Multi-Party Private Computations FOCS Eyal Kushilevitz, Silvio Micali, Rafail Ostrovsky
1993	A*	`conf`	Secret-Key Agreement without Public-Key Cryptography. CRYPTO Frank Thomson Leighton, Silvio Micali
1992	A*	`conf`	Fair Public-Key Cryptosystems. CRYPTO Silvio Micali
1992	J	`jnl`	How to Sign Given Any Trapdoor Permutation. J. ACM Mihir Bellare, Silvio Micali
1991	J	`jnl`	Efficient, Perfect Polynomial Random Number Generators. J. Cryptol. Silvio Micali, Claus-Peter Schnorr
1991	J	`jnl`	Noninteractive Zero-Knowledge. SIAM J. Comput. Manuel Blum, Alfredo De Santis, Silvio Micali, Giuseppe Persiano
1991	J	`jnl`	Proofs that Yield Nothing But Their Validity for All Languages in NP Have Zero-Knowledge Proof Systems. J. ACM Oded Goldreich, Silvio Micali, Avi Wigderson
1991	A*	`conf`	Secure Computation (Abstract). CRYPTO Silvio Micali, Phillip Rogaway
1990	J	`jnl`	A fair protocol for signing contracts. IEEE Trans. Inf. Theory Michael Ben-Or, Oded Goldreich, Silvio Micali, Ronald L. Rivest
1990	A*	`conf`	Collective Coin Tossing Without Assumptions nor Broadcasting. CRYPTO Silvio Micali, Tal Rabin
1990	A*	`conf`	Perfect Zero-Knowledge in Constant Rounds STOC Mihir Bellare, Silvio Micali, Rafail Ostrovsky
1990	A*	`conf`	The (True) Complexity of Statistical Zero Knowledge STOC Mihir Bellare, Silvio Micali, Rafail Ostrovsky
1990	A*	`conf`	The Round Complexity of Secure Protocols (Extended Abstract) STOC Donald Beaver, Silvio Micali, Phillip Rogaway
1989	—	`conf`	"Perfect" Pseudo-Random Number Generation. IFIP Congress Silvio Micali
1989	A*	`conf`	An Optimal Probabilistic Algorithm For Synchronous Byzantine Agreement. ICALP Paul Feldman, Silvio Micali
1989	A*	`conf`	Minimum Resource Zero-Knowledge Proofs (Extended Abstract) FOCS Joe Kilian, Silvio Micali, Rafail Ostrovsky
1989	A*	`conf`	Minimum Resource Zero-Knowledge Proofs (Extended Abstract). CRYPTO Joe Kilian, Silvio Micali, Rafail Ostrovsky
1989	A*	`conf`	Non-Interactive Oblivious Transfer and Applications. CRYPTO Mihir Bellare, Silvio Micali
1989	A*	`conf`	On-Line/Off-Line Digital Schemes. CRYPTO Shimon Even, Oded Goldreich, Silvio Micali
1989	J	`jnl`	The Knowledge Complexity of Interactive Proof Systems. SIAM J. Comput. Shafi Goldwasser, Silvio Micali, Charles Rackoff
1988	J	`jnl`	A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks. SIAM J. Comput. Shafi Goldwasser, Silvio Micali, Ronald L. Rivest
1988	A*	`conf`	An Improvement of the Fiat-Shamir Identification and Signature Scheme. CRYPTO Silvio Micali, Adi Shamir
1988	A*	`conf`	Efficient, Perfect Random Number Generators. CRYPTO Silvio Micali, Claus-Peter Schnorr
1988	A*	`conf`	Everything Provable is Provable in Zero-Knowledge. CRYPTO Michael Ben-Or, Oded Goldreich, Shafi Goldwasser, Johan Håstad, Joe Kilian, Silvio Micali, Phillip Rogaway
1988	A*	`conf`	How To Sign Given Any Trapdoor Function. CRYPTO Mihir Bellare, Silvio Micali
1988	A*	`conf`	How to Sign Given Any Trapdoor Function (Extended Abstract) STOC Mihir Bellare, Silvio Micali
1988	A*	`conf`	Non-Interactive Zero-Knowledge and Its Applications (Extended Abstract) STOC Manuel Blum, Paul Feldman, Silvio Micali
1988	A*	`conf`	Non-Interactive Zero-Knowledge with Preprocessing. CRYPTO Alfredo De Santis, Silvio Micali, Giuseppe Persiano
1988	A*	`conf`	Optimal Algorithms for Byzantine Agreement STOC Paul Feldman, Silvio Micali
1988	A*	`conf`	Proving Security Against Chosen Cyphertext Attacks. CRYPTO Manuel Blum, Paul Feldman, Silvio Micali
1988	J	`jnl`	The Notion of Security for Probabilistic Cryptosystems. SIAM J. Comput. Silvio Micali, Charles Rackoff, Bob Sloan
1987	A*	`conf`	How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority STOC Oded Goldreich, Silvio Micali, Avi Wigderson
1987	A*	`conf`	Non-Interactive Zero-Knowledge Proof Systems. CRYPTO Alfredo De Santis, Silvio Micali, Giuseppe Persiano
1986	J	`jnl`	An O(EV log V) Algorithm for Finding a Maximal Weighted Matching in General Graphs. SIAM J. Comput. Zvi Galil, Silvio Micali, Harold N. Gabow
1986	A*	`conf`	Dynamic deadlock resolution protocols (Extended Abstract) FOCS Baruch Awerbuch, Silvio Micali
1986	A*	`conf`	How to Prove all NP-Statements in Zero-Knowledge, and a Methodology of Cryptographic Protocol Design. CRYPTO Oded Goldreich, Silvio Micali, Avi Wigderson
1986	J	`jnl`	How to construct random functions. J. ACM Oded Goldreich, Shafi Goldwasser, Silvio Micali
1986	B	`conf`	Knowledge and Efficient Computation. TARK Silvio Micali
1986	B	`conf`	Proofs that Release Minimum Knowledge. MFCS Oded Goldreich, Silvio Micali, Avi Wigderson
1986	A*	`conf`	Proofs that Yield Nothing But their Validity and a Methodology of Cryptographic Protocol Design (Extended Abstract) FOCS Oded Goldreich, Silvio Micali, Avi Wigderson
1986	A*	`conf`	The Notion of Security for Probabilistic Cryptosystems. CRYPTO Silvio Micali, Charles Rackoff, Bob Sloan
1985	A*	`conf`	A Fair Protocol for Signing Contracts (Extended Abstract). ICALP Michael Ben-Or, Oded Goldreich, Silvio Micali, Ronald L. Rivest
1985	A*	`conf`	Byzantine Agreement in Constant Expected Time (and Trusting No One) FOCS Paul Feldman, Silvio Micali
1985	A*	`conf`	The Knowledge Complexity of Interactive Proof-Systems (Extended Abstract) STOC Shafi Goldwasser, Silvio Micali, Charles Rackoff
1985	A*	`conf`	Verifiable Secret Sharing and Achieving Simultaneity in the Presence of Faults (Extended Abstract) FOCS Benny Chor, Shafi Goldwasser, Silvio Micali, Baruch Awerbuch
1984	A*	`conf`	A "Paradoxical" Solution to the Signature Problem (Extended Abstract) FOCS Shafi Goldwasser, Silvio Micali, Ronald L. Rivest
1984	A*	`conf`	A "Paradoxical'"Solution to the Signature Problem (Abstract). CRYPTO Shafi Goldwasser, Silvio Micali, Ronald L. Rivest
1984	A*	`conf`	How to Construct Random Functions (Extended Abstract) FOCS Oded Goldreich, Shafi Goldwasser, Silvio Micali
1984	J	`jnl`	How to Generate Cryptographically Strong Sequences of Pseudo-Random Bits. SIAM J. Comput. Manuel Blum, Silvio Micali
1984	A*	`conf`	On the Cryptographic Applications of Random Functions. CRYPTO Oded Goldreich, Shafi Goldwasser, Silvio Micali
1984	J	`jnl`	Probabilistic Encryption. J. Comput. Syst. Sci. Shafi Goldwasser, Silvio Micali
1983	A*	`conf`	How to Simultaneously Exchange a Secret Bit by Flipping a Symmetrically-Biased Coin FOCS Michael Luby, Silvio Micali, Charles Rackoff
1983	A*	`conf`	Strong Signature Schemes STOC Shafi Goldwasser, Silvio Micali, Andrew Chi-Chih Yao
1982	A*	`conf`	How to Generate Cryptographically Strong Sequences of Pseudo Random Bits FOCS Manuel Blum, Silvio Micali
1982	A*	`conf`	On Signatures and Authentication. CRYPTO Shafi Goldwasser, Silvio Micali, Andrew Chi-Chih Yao
1982	A*	`conf`	Priority Queues with Variable Priority and an O(EV log V) Algorithm for Finding a Maximal Weighted Matching in General Graphs FOCS Zvi Galil, Silvio Micali, Harold N. Gabow
1982	A*	`conf`	Probabilistic Encryption and How to Play Mental Poker Keeping Secret All Partial Information STOC Shafi Goldwasser, Silvio Micali
1982	A*	`conf`	Why and How to Establish a Private Code on a Public Network (Extended Abstract) FOCS Shafi Goldwasser, Silvio Micali, Po Tong
1981	J	`jnl`	Two-Way Deterministic Finite Automata are Exponentially More Succinct Than Sweeping Automata. Inf. Process. Lett. Silvio Micali
1980	A*	`conf`	An O(sqrt(\|v\|) \|E\|) Algorithm for Finding Maximum Matching in General Graphs FOCS Silvio Micali, Vijay V. Vazirani
1980	J	`jnl`	Minimal Forms in lambda-Calculus Computations. J. Symb. Log. Corrado Böhm, Silvio Micali