Expert
About
Silvio Micali won Turing award together with Shafi Goldwasser in 2012.
Founder of Algorand and co-inventor of zero-knowledge proofs
Algorand website: https://www.algorand.com/
Interests
Google Presence
Projects
Papers
2019
Algorand: A secure and efficient distributed ledger.
Jing Chen 0017, Silvio Micali
Theor. Comput. Sci.
N/A
2019
2018
ALGORAND AGREEMENT: Super Fast and Partition Resilient Byzantine Agreement.
Jing Chen 0017, Sergey Gorbunov 0001, Silvio Micali, Georgios Vlachos
IACR Cryptol. ePrint Arch.
N/A
2018
2017
N/A
2017
2017
Very Simple and Efficient Byzantine Agreement.
Alan Deckelbaum, Silvio Micali
N/A
2017
2017
Algorand: Scaling Byzantine Agreements for Cryptocurrencies.
Yossi Gilad, Rotem Hemo, Silvio Micali, Georgios Vlachos, Nickolai Zeldovich
N/A
2017
2017
Algorand: Scaling Byzantine Agreements for Cryptocurrencies.
Yossi Gilad, Rotem Hemo, Silvio Micali, Georgios Vlachos, Nickolai Zeldovich
IACR Cryptol. ePrint Arch.
N/A
2017
2016
Reconstructing Markov processes from independent and anonymous experiments.
Silvio Micali, Zeyuan Allen Zhu
Discret. Appl. Math.
N/A
2016
2016
Leveraging Possibilistic Beliefs in Unrestricted Combinatorial Auctions.
Jing Chen 0017, Silvio Micali
Games
N/A
2016
2016
Mechanisms With Costly Knowledge.
Atalay Mert Ileri, Silvio Micali
N/A
2016
2016
Auction Revenue in the General Spiteful-Utility Model.
Jing Chen 0017, Silvio Micali
N/A
2016
2016
N/A
2016
2015
N/A
2015
2015
N/A
2015
2015
Better Outcomes from More Rationality.
Jing Chen 0017, Silvio Micali, Rafael Pass
N/A
2015
2015
Democoin: A Publicly Verifiable and Jointly Serviced Cryptocurrency.
Sergey Gorbunov 0001, Silvio Micali
IACR Cryptol. ePrint Arch.
N/A
2015
2014
Cryptography miracles, secure auctions, matching problem verification.
Silvio Micali, Michael O. Rabin
Commun. ACM
N/A
2014
2014
The Query Complexity of Scoring Rules.
Pablo Daniel Azar, Silvio Micali
ACM Trans. Economics and Comput.
N/A
2014
2014
Rational and resilient protocols.
Pablo Daniel Azar, Silvio Micali
N/A
2014
2014
Knightian self uncertainty in the vcg mechanism for unrestricted combinatorial auctions.
Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
N/A
2014
2014
Bridging Utility Maximization and Regret Minimization.
Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
CoRR
N/A
2014
2014
Knightian Robustness from Regret Minimization.
Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
CoRR
N/A
2014
2014
Knightian Analysis of the VCG Mechanism in Unrestricted Combinatorial Auctions.
Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
CoRR
N/A
2014
2014
Knightian Robustness of Single-Parameter Domains.
Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
CoRR
N/A
2014
2014
Knightian Robustness of the Vickrey Mechanism.
Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
CoRR
N/A
2014
2014
Johnson-Lindenstrauss Compression with Neuroscience-Based Constraints.
Zeyuan Allen Zhu, Rati Gelashvili, Silvio Micali, Nir Shavit
CoRR
N/A
2014
2013
Parametric digital auctions.
Pablo Daniel Azar, Silvio Micali
N/A
2013
2013
Super-efficient rational proofs.
Pablo Daniel Azar, Silvio Micali
N/A
2013
2013
Optimal and Efficient Parametric Auctions.
Pablo Daniel Azar, Constantinos Daskalakis, Silvio Micali, S. Matthew Weinberg
N/A
2013
2012
N/A
2012
2012
Mechanism design with approximate valuations.
Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
N/A
2012
2012
Crowdsourced Bayesian auctions.
Pablo Azar 0002, Jing Chen 0017, Silvio Micali
N/A
2012
2012
Rational proofs.
Pablo Daniel Azar, Silvio Micali
N/A
2012
2011
N/A
2011
2011
Crowdsourced Bayesian Auctions - (Abstract).
Pablo Daniel Azar, Jing Chen 0017, Silvio Micali
N/A
2011
2011
Mechanism Design with Set-Theoretic Beliefs.
Jing Chen 0017, Silvio Micali
N/A
2011
2011
N/A
2011
2010
Optimal Error Correction for Computationally Bounded Noise.
Silvio Micali, Chris Peikert, Madhu Sudan, David A. Wilson
IEEE Trans. Inf. Theory
N/A
2010
2010
Perfect concrete implementation of arbitrary mechanisms: a quick summary of joint work with Sergei Izmalkov and Matt Lepinski.
Silvio Micali, Chris Peikert, Madhu Sudan, David A. Wilson
N/A
2010
2010
Robustly Leveraging Collusion in Combinatorial Auctions.
Jing Chen 0017, Silvio Micali, Paul Valiant
N/A
2010
2010
Robust Perfect Revenue From Perfectly Informed Players.
Jing Chen 0017, Avinatan Hassidim, Silvio Micali
N/A
2010
2009
A new approach to auctions and resilient mechanism design.
Jing Chen 0017, Silvio Micali
N/A
2009
2009
Purely Rational Secret Sharing (Extended Abstract).
Silvio Micali, Abhi Shelat
N/A
2009
2008
Online-Untransferable Signatures.
Moses D. Liskov, Silvio Micali
N/A
2008
2008
Verifiably Secure Devices.
Sergei Izmalkov, Matt Lepinski, Silvio Micali
N/A
2008
2006
Input-Indistinguishable Computation.
Silvio Micali, Rafael Pass, Alon Rosen
N/A
2006
2006
Independent Zero-Knowledge Sets.
Rosario Gennaro, Silvio Micali
N/A
2006
2006
Local zero knowledge.
Silvio Micali, Rafael Pass
N/A
2006
2006
N/A
2006
2005
Rational Secure Computation and Ideal Mechanism Design.
Sergei Izmalkov, Silvio Micali, Matt Lepinski
N/A
2005
2005
Collusion-free protocols.
Matt Lepinski, Silvio Micali, Abhi Shelat
N/A
2005
2005
Optimal Error Correction Against Computationally Bounded Noise.
Silvio Micali, Chris Peikert, Madhu Sudan, David A. Wilson
N/A
2005
2005
Fair-Zero Knowledge.
Matt Lepinski, Silvio Micali, Abhi Shelat
N/A
2005
2004
Sequential Aggregate Signatures from Trapdoor Permutations.
Anna Lysyanskaya, Silvio Micali, Leonid Reyzin, Hovav Shacham
N/A
2004
2004
Completely fair SFE and coalition-safe cheap talk.
Matt Lepinski, Silvio Micali, Chris Peikert, Abhi Shelat
N/A
2004
2004
Algorithmic Tamper-Proof (ATP) Security: Theoretical Foundations for Security against Hardware Tampering.
Rosario Gennaro, Anna Lysyanskaya, Tal Malkin, Silvio Micali, Tal Rabin
N/A
2004
2004
Physically Observable Cryptography (Extended Abstract).
Silvio Micali, Leonid Reyzin
N/A
2004
2003
Plaintext Awareness via Key Registration.
Jonathan Herzog, Moses D. Liskov, Silvio Micali
N/A
2003
2003
Fractal Merkle Tree Representation and Traversal.
Markus Jakobsson, Frank Thomson Leighton, Silvio Micali, Michael Szydlo
N/A
2003
2003
Zero-Knowledge Sets.
Silvio Micali, Michael O. Rabin, Joe Kilian
N/A
2003
2003
Simple and fast optimistic protocols for fair electronic exchange.
Silvio Micali, Michael O. Rabin, Joe Kilian
N/A
2003
2003
Sequential Aggregate Signatures from Trapdoor Permutations.
Anna Lysyanskaya, Silvio Micali, Leonid Reyzin, Hovav Shacham
IACR Cryptol. ePrint Arch.
N/A
2003
2003
N/A
2003
2002
Improving the Exact Security of Digital Signature Schemes.
Silvio Micali, Leonid Reyzin
J. Cryptology
N/A
2002
2002
Micropayments Revisited.
Silvio Micali, Ronald L. Rivest
N/A
2002
2002
Transitive Signature Schemes.
Silvio Micali, Ronald L. Rivest
N/A
2002
2001
Mutually Independent Commitments.
Moses D. Liskov, Anna Lysyanskaya, Silvio Micali, Leonid Reyzin, Adam D. Smith
N/A
2001
2001
Accountable-subgroup multisignatures: extended abstract.
Silvio Micali, Kazuo Ohta, Leonid Reyzin
N/A
2001
2001
Soundness in the Public-Key Model.
Silvio Micali, Leonid Reyzin
N/A
2001
2001
Min-round Resettable Zero-Knowledge in the Public-Key Model.
Silvio Micali, Leonid Reyzin
N/A
2001
2001
Identification Protocols Secure against Reset Attacks.
Mihir Bellare, Marc Fischlin, Shafi Goldwasser, Silvio Micali
N/A
2001
2001
Amortized E-Cash.
Moses D. Liskov, Silvio Micali
N/A
2001
2000
Reducibility and Completeness in Private Computations.
Joe Kilian, Eyal Kushilevitz, Silvio Micali, Rafail Ostrovsky
SIAM J. Comput.
N/A
2000
2000
Computationally Sound Proofs.
Joe Kilian, Eyal Kushilevitz, Silvio Micali, Rafail Ostrovsky
SIAM J. Comput.
N/A
2000
2000
Parallel Reducibility for Information-Theoretically Secure Computation.
Yevgeniy Dodis, Silvio Micali
N/A
2000
2000
Public-Key Encryption in a Multi-user Setting: Security Proofs and Improvements.
Mihir Bellare, Alexandra Boldyreva, Silvio Micali
N/A
2000
2000
Resettable zero-knowledge (extended abstract).
Ran Canetti, Oded Goldreich 0001, Shafi Goldwasser, Silvio Micali
N/A
2000
2000
Identification Protocols Secure Against Reset Attacks.
Mihir Bellare, Marc Fischlin, Shafi Goldwasser, Silvio Micali
IACR Cryptol. ePrint Arch.
N/A
2000
1999
Improving the Exact Security of Fiat-Shamir Signature Schemes.
Silvio Micali, Leonid Reyzin
N/A
1999
1999
The All-or-Nothing Nature of Two-Party Secure Computation.
Amos Beimel, Tal Malkin, Silvio Micali
N/A
1999
1999
Lower Bounds for Oblivious Transfer Reductions.
Yevgeniy Dodis, Silvio Micali
N/A
1999
1999
Computationally Private Information Retrieval with Polylogarithmic Communication.
Christian Cachin, Silvio Micali, Markus Stadler
N/A
1999
1999
Verifiable Random Functions.
Silvio Micali, Michael O. Rabin, Salil P. Vadhan
N/A
1999
1999
Interleaved Zero-Knowledge in the Public-Key Model.
Oded Goldreich 0001, Shafi Goldwasser, Silvio Micali
Electronic Colloquium on Computational Complexity (ECCC)
N/A
1999
1999
Resettable Zero-Knowledge.
Ran Canetti, Oded Goldreich 0001, Shafi Goldwasser, Silvio Micali
Electronic Colloquium on Computational Complexity (ECCC)
N/A
1999
1999
Interleaved Zero-Knowledge in the Public-Key Model.
Oded Goldreich 0001, Shafi Goldwasser, Silvio Micali
IACR Cryptol. ePrint Arch.
N/A
1999
1999
Improving the Exact Security of Digital Signature Schemes.
Silvio Micali, Leonid Reyzin
IACR Cryptol. ePrint Arch.
N/A
1999
1999
Resettable Zero-Knowledge.
Ran Canetti, Oded Goldreich 0001, Shafi Goldwasser, Silvio Micali
IACR Cryptol. ePrint Arch.
N/A
1999
1998
Computationally-Sound Checkers.
Ran Canetti, Oded Goldreich 0001, Shafi Goldwasser, Silvio Micali
N/A
1998
1998
N/A
1998
1997
An Optimal Probabilistic Protocol for Synchronous Byzantine Agreement.
Pesech Feldman, Silvio Micali
SIAM J. Comput.
N/A
1997
1996
N/A
1996
1996
A Secure Protocol for the Oblivious Transfer (Extended Abstract).
Michael J. Fischer, Silvio Micali, Charles Rackoff
J. Cryptology
N/A
1996
1996
Practical and Provably-Secure Commitment Schemes from Collision-Free Hashing.
Shai Halevi, Silvio Micali
N/A
1996
1995
N/A
1995
1995
Verifiable Secret Sharing as Secure Computation.
Rosario Gennaro, Silvio Micali
N/A
1995
1995
Computationally-Sound Proofs.
Rosario Gennaro, Silvio Micali
N/A
1995
1994
CS Proofs (Extended Abstracts)
Rosario Gennaro, Silvio Micali
N/A
1994
1994
Reducibility and Completeness in Multi-Party Private Computations
Eyal Kushilevitz, Silvio Micali, Rafail Ostrovsky
N/A
1994
1993
Secret-Key Agreement without Public-Key Cryptography.
Frank Thomson Leighton, Silvio Micali
N/A
1993
1992
N/A
1992
1992
Fair Public-Key Cryptosystems.
Mihir Bellare, Silvio Micali
N/A
1992
1991
Proofs that Yield Nothing But Their Validity for All Languages in NP Have Zero-Knowledge Proof Systems.
Oded Goldreich 0001, Silvio Micali, Avi Wigderson
J. ACM
N/A
1991
1991
Efficient, Perfect Polynomial Random Number Generators.
Silvio Micali, Claus-Peter Schnorr
J. Cryptology
N/A
1991
1991
Noninteractive Zero-Knowledge.
Manuel Blum 0001, Alfredo De Santis, Silvio Micali, Giuseppe Persiano
SIAM J. Comput.
N/A
1991
1991
Secure Computation (Abstract).
Silvio Micali, Phillip Rogaway
N/A
1991
1990
A fair protocol for signing contracts.
Michael Ben-Or, Oded Goldreich 0001, Silvio Micali, Ronald L. Rivest
IEEE Trans. Inf. Theory
N/A
1990
1990
Collective Coin Tossing Without Assumptions nor Broadcasting.
Silvio Micali, Tal Rabin
N/A
1990
1990
Perfect Zero-Knowledge in Constant Rounds
Mihir Bellare, Silvio Micali, Rafail Ostrovsky
N/A
1990
1990
The (True) Complexity of Statistical Zero Knowledge
Mihir Bellare, Silvio Micali, Rafail Ostrovsky
N/A
1990
1990
The Round Complexity of Secure Protocols (Extended Abstract)
Donald Beaver, Silvio Micali, Phillip Rogaway
N/A
1990
1989
The Knowledge Complexity of Interactive Proof Systems.
Shafi Goldwasser, Silvio Micali, Charles Rackoff
SIAM J. Comput.
N/A
1989
1989
On-Line/Off-Line Digital Schemes.
Shimon Even, Oded Goldreich 0001, Silvio Micali
N/A
1989
1989
Minimum Resource Zero-Knowledge Proofs (Extended Abstract).
Joe Kilian, Silvio Micali, Rafail Ostrovsky
N/A
1989
1989
Non-Interactive Oblivious Transfer and Spplications.
Mihir Bellare, Silvio Micali
N/A
1989
1989
Minimum Resource Zero-Knowledge Proofs (Extended Abstract)
Joe Kilian, Silvio Micali, Rafail Ostrovsky
N/A
1989
1989
An Optimal Probabilistic Algorithm For Synchronous Byzantine Agreement.
Paul Feldman, Silvio Micali
N/A
1989
1989
"Perfect" Pseudo-Random Number Generation.
Paul Feldman, Silvio Micali
N/A
1989
1988
A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks.
Shafi Goldwasser, Silvio Micali, Ronald L. Rivest
SIAM J. Comput.
N/A
1988
1988
The Notion of Security for Probabilistic Cryptosystems.
Silvio Micali, Charles Rackoff, Bob Sloan
SIAM J. Comput.
N/A
1988
1988
Everything Provable is Provable in Zero-Knowledge.
Michael Ben-Or, Oded Goldreich 0001, Shafi Goldwasser, Johan Håstad, Joe Kilian, Silvio Micali, Phillip Rogaway
N/A
1988
1988
Efficient, Perfect Random Number Generators.
Silvio Micali, Claus-Peter Schnorr
N/A
1988
1988
How To Sign Given Any Trapdoor Function.
Mihir Bellare, Silvio Micali
N/A
1988
1988
An Improvement of the Fiat-Shamir Identification and Signature Scheme.
Silvio Micali, Adi Shamir
N/A
1988
1988
Proving Security Against Chosen Cyphertext Attacks.
Manuel Blum 0001, Paul Feldman, Silvio Micali
N/A
1988
1988
Non-Interactive Zero-Knowledge with Preprocessing.
Alfredo De Santis, Silvio Micali, Giuseppe Persiano
N/A
1988
1988
How to Sign Given Any Trapdoor Function (Extended Abstract)
Mihir Bellare, Silvio Micali
N/A
1988
1988
Non-Interactive Zero-Knowledge and Its Applications (Extended Abstract)
Manuel Blum 0001, Paul Feldman, Silvio Micali
N/A
1988
1988
Optimal Algorithms for Byzantine Agreement
Paul Feldman, Silvio Micali
N/A
1988
1987
Non-Interactive Zero-Knowledge Proof Systems.
Alfredo De Santis, Silvio Micali, Giuseppe Persiano
N/A
1987
1987
How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority
Oded Goldreich 0001, Silvio Micali, Avi Wigderson
N/A
1987
1986
N/A
1986
1986
An O(EV log V) Algorithm for Finding a Maximal Weighted Matching in General Graphs.
Zvi Galil, Silvio Micali, Harold N. Gabow
SIAM J. Comput.
N/A
1986
1986
How to Prove all NP-Statements in Zero-Knowledge, and a Methodology of Cryptographic Protocol Design.
Oded Goldreich 0001, Silvio Micali, Avi Wigderson
N/A
1986
1986
The Notion of Security for Probabilistic Cryptosystems.
Silvio Micali, Charles Rackoff, Bob Sloan
N/A
1986
1986
Proofs that Yield Nothing But their Validity and a Methodology of Cryptographic Protocol Design (Extended Abstract)
Oded Goldreich 0001, Silvio Micali, Avi Wigderson
N/A
1986
1986
Dynamic deadlock resolution protocols (Extended Abstract)
Baruch Awerbuch, Silvio Micali
N/A
1986
1986
Proofs that Release Minimum Knowledge.
Oded Goldreich 0001, Silvio Micali, Avi Wigderson
N/A
1986
1986
Knowledge and Efficient Computation.
Oded Goldreich 0001, Silvio Micali, Avi Wigderson
N/A
1986
1985
Byzantine Agreement in Constant Expected Time (and Trusting No One)
Paul Feldman, Silvio Micali
N/A
1985
1985
Verifiable Secret Sharing and Achieving Simultaneity in the Presence of Faults (Extended Abstract)
Benny Chor, Shafi Goldwasser, Silvio Micali, Baruch Awerbuch
N/A
1985
1985
A Fair Protocol for Signing Contracts (Extended Abstract).
Michael Ben-Or, Oded Goldreich 0001, Silvio Micali, Ronald L. Rivest
N/A
1985
1985
The Knowledge Complexity of Interactive Proof-Systems (Extended Abstract)
Shafi Goldwasser, Silvio Micali, Charles Rackoff
N/A
1985
1984
N/A
1984
1984
How to Generate Cryptographically Strong Sequences of Pseudo-Random Bits.
Manuel Blum 0001, Silvio Micali
SIAM J. Comput.
N/A
1984
1984
On the Cryptographic Applications of Random Functions.
Oded Goldreich 0001, Shafi Goldwasser, Silvio Micali
N/A
1984
1984
A "Paradoxical'"Solution to the Signature Problem (Abstract).
Shafi Goldwasser, Silvio Micali, Ronald L. Rivest
N/A
1984
1984
A "Paradoxical" Solution to the Signature Problem (Extended Abstract)
Shafi Goldwasser, Silvio Micali, Ronald L. Rivest
N/A
1984
1984
How to Construct Random Functions (Extended Abstract)
Oded Goldreich 0001, Shafi Goldwasser, Silvio Micali
N/A
1984
1983
How to Simultaneously Exchange a Secret Bit by Flipping a Symmetrically-Biased Coin
Michael Luby, Silvio Micali, Charles Rackoff
N/A
1983
1983
Strong Signature Schemes
Shafi Goldwasser, Silvio Micali, Andrew Chi-Chih Yao
N/A
1983
1982
On Signatures and Authentication.
Shafi Goldwasser, Silvio Micali, Andrew Chi-Chih Yao
N/A
1982
1982
How to Generate Cryptographically Strong Sequences of Pseudo Random Bits
Manuel Blum 0001, Silvio Micali
N/A
1982
1982
Why and How to Establish a Private Code on a Public Network (Extended Abstract)
Shafi Goldwasser, Silvio Micali, Po Tong
N/A
1982
1982
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
N/A
1982
1982
Probabilistic Encryption and How to Play Mental Poker Keeping Secret All Partial Information
Shafi Goldwasser, Silvio Micali
N/A
1982
1981
Two-Way Deterministic Finite Automata are Exponentially More Succinct Than Sweeping Automata.
Shafi Goldwasser, Silvio Micali
Inf. Process. Lett.
N/A
1981
1980
N/A
1980
1980
An O(sqrt(|v|) |E|) Algorithm for Finding Maximum Matching in General Graphs
Silvio Micali, Vijay V. Vazirani
N/A
1980
Google Trends (past one year)
Academic Achievement
Twitter Influence
0/100
Recent Twitter Hashtags
Recent Tweets
silviomicali | 06/20/2020
Here\'s to an incredible year! Excited for what lies ahead https://t.co/DqJaYTwXW7
Here\'s to an incredible year! Excited for what lies ahead https://t.co/DqJaYTwXW7
Popular People
Yonatan Sompolinsky
Scholar @ Hebrew University
Silvio Micali
Scholar @ MIT CSAIL
Elaine Ou
Writer @ The University of Sydney
Rosario Gennaro
Scholar @ CUNY | Center For Algorithms And Interactive Scientific Software (CAISS) | MIT | City College Of New York | IBM T.J.Watson Research Center
Charles Rackoff
Scholar @ University Of Toronto