Expert

Silvio Micali

Scholar @ MIT CSAIL

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

MIT professor debuts high-speed blockchain payments platform ...
MIT professor debuts high-speed blockchain payments platform ...
15 févr. 2018 - Above: Algorand uses the blockchain for decentralized payments. ... Silvio Micali, a Turing Award-winning cryptographer and professor of ..."
Interview: Cryptographer Silvio Micali on Bitcoin, Ethereum and Proof ...
Interview: Cryptographer Silvio Micali on Bitcoin, Ethereum and Proof ...
9 oct. 2017 - Silvio Micali is an MIT professor and Turing Award–winning cryptographer known for his work in technologies that form the bedrock of ..."
Move over Bitcoin - MIT Cryptographer Silvio Micali and his Public ...
Move over Bitcoin - MIT Cryptographer Silvio Micali and his Public ...
5 janv. 2017 - MIT's Ford Professor of Engineering and one of the world's top cryptographers Silvio Micali recently published a paper called ALGORAND The ..."
Team - Algorand
Team - Algorand
Research & Development. Silvio Micali. Silvio Micali. Silvio Micali has received his Laurea in Mathematics from the University of Rome, and his PhD in Computer ..."
MIT Professor Raises $4 Million to Build a Better Blockchain - CoinDesk
MIT Professor Raises $4 Million to Build a Better Blockchain - CoinDesk
15 févr. 2018 - ... a digital currency and transaction platform, with its underlying protocol co-authored by MIT professor and Turing Award winner Silvio Micali."
Silvio Micali — Wikipédia
Silvio Micali — Wikipédia
Silvio M. Micali (né le 13 octobre 1954 à Palerme) est un informaticien italo-américain du Laboratoire d'informatique et intelligence artificielle du MIT et ..."
Silvio Micali - People - MIT
Silvio Micali - People - MIT
Silvio Micali. Ford Professor of Engineering. CSAIL, MIT. Room G644, 32 Vassar Street , Cambridge , MA 02139. [email protected] Tel: 617 253 5949 ..."
ALGORAND: A Truly Distributed Ledger | MIT CSAIL
ALGORAND: A Truly Distributed Ledger | MIT CSAIL
19 mars 2018 - Silvio Micali received his Laurea in Mathematics from the University of Rome ... His latest startup Algorand is hoping to transform the blockchain ..."
Pure Proof-of-Stake Blockchains – Algorand – Medium
Pure Proof-of-Stake Blockchains – Algorand – Medium
27 mars 2018 - In a centralized blockchain, a central authority always chooses and distributes the next block. While a ... by Sergey Gorbunov & Silvio Micali."

Projects

Papers

2018
ALGORAND AGREEMENT: Super Fast and Partition Resilient Byzantine Agreement.
Jing Chen, Sergey Gorbunov, Silvio Micali, Georgios Vlachos
IACR Cryptology ePrint Archive
N/A
2018
2017
Collusion, efficiency, and dominant strategies.
Alan Deckelbaum, Silvio Micali
Games and Economic Behavior
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 Cryptology ePrint Archive
N/A
2017
2016
Reconstructing Markov processes from independent and anonymous experiments.
Silvio Micali, Zeyuan Allen Zhu
Discrete Applied Mathematics
N/A
2016
2016
N/A
2016
2016
Mechanisms With Costly Knowledge.
Atalay Mert Ileri, Silvio Micali
N/A
2016
2016
N/A
2016
2016
ALGORAND: The Efficient and Democratic Ledger.
Jing Chen 0001, Silvio Micali
CoRR
N/A
2016
2015
What it means to receive the Turing award.
Jing Chen 0001, Silvio Micali
Commun. ACM
N/A
2015
2015
Mechanism design with possibilistic beliefs.
Jing Chen 0001, Silvio Micali
J. Economic Theory
N/A
2015
2015
Better Outcomes from More Rationality.
Jing Chen 0001, Silvio Micali, Rafael Pass
N/A
2015
2015
Democoin: A Publicly Verifiable and Jointly Serviced Cryptocurrency.
Sergey Gorbunov, Silvio Micali
IACR Cryptology ePrint Archive
N/A
2015
2014
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
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
Collusive dominant-strategy truthfulness.
Jing Chen 0001, Silvio Micali
J. Economic Theory
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 0001, Silvio Micali
N/A
2012
2012
Rational proofs.
Pablo Daniel Azar, Silvio Micali
N/A
2012
2011
Perfect implementation.
Sergei Izmalkov, Matt Lepinski, Silvio Micali
Games and Economic Behavior
N/A
2011
2011
Crowdsourced Bayesian Auctions - (Abstract).
Pablo Daniel Azar, Jing Chen 0001, Silvio Micali
N/A
2011
2011
Mechanism Design with Set-Theoretic Beliefs.
Jing Chen 0001, Silvio Micali
N/A
2011
2011
Knightian Auctions
Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
CoRR
N/A
2011
2010
Optimal Error Correction for Computationally Bounded Noise.
Silvio Micali, Chris Peikert, Madhu Sudan, David A. Wilson
IEEE Trans. Information Theory
N/A
2010
2010
2010
Robustly Leveraging Collusion in Combinatorial Auctions.
Jing Chen 0001, Silvio Micali, Paul Valiant
N/A
2010
2010
Robust Perfect Revenue From Perfectly Informed Players.
Jing Chen 0001, Avinatan Hassidim, Silvio Micali
N/A
2010
2009
N/A
2009
2009
N/A
2009
2008
Online-Untransferable Signatures.
Moses 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
Independent Zero-Knowledge Sets.
Rosario Gennaro, Silvio Micali
IACR Cryptology ePrint Archive
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
N/A
2004
2003
Plaintext Awareness via Key Registration.
Jonathan Herzog, Moses 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 Cryptology ePrint Archive
N/A
2003
2003
Physically Observable Cryptography.
Silvio Micali, Leonid Reyzin
IACR Cryptology ePrint Archive
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 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
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 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
N/A
2000
2000
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 Cryptology ePrint Archive
N/A
2000
1999
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
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 Cryptology ePrint Archive
N/A
1999
1999
Improving the Exact Security of Digital Signature Schemes.
Silvio Micali, Leonid Reyzin
IACR Cryptology ePrint Archive
N/A
1999
1999
Resettable Zero-Knowledge.
Ran Canetti, Oded Goldreich 0001, Shafi Goldwasser, Silvio Micali
IACR Cryptology ePrint Archive
N/A
1999
1998
Computationally-Sound Checkers.
Ran Canetti, Oded Goldreich 0001, Shafi Goldwasser, Silvio Micali
N/A
1998
1998
More on Proofs of Knowledge.
Shai Halevi, Silvio Micali
IACR Cryptology ePrint Archive
N/A
1998
1997
An Optimal Probabilistic Protocol for Synchronous Byzantine Agreement.
Pesech Feldman, Silvio Micali
SIAM J. Comput.
N/A
1997
1996
On-Line/Off-Line Digital Signatures.
Shimon Even, Oded Goldreich 0001, Silvio Micali
J. Cryptology
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
1995
1995
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
How to Sign Given Any Trapdoor Permutation.
Mihir Bellare, Silvio Micali
J. ACM
N/A
1992
1992
Fair Public-Key Cryptosystems.
Mihir Bellare, Silvio Micali
N/A
1992
1991
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. Information Theory
N/A
1990
1990
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
N/A
1989
1989
Minimum Resource Zero-Knowledge Proofs (Extended Abstract)
Joe Kilian, Silvio Micali, Rafail Ostrovsky
N/A
1989
1989
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
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
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
N/A
1987
1986
How to construct random functions.
Oded Goldreich 0001, Shafi Goldwasser, Silvio Micali
J. ACM
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
N/A
1986
1986
The Notion of Security for Probabilistic Cryptosystems.
Silvio Micali, Charles Rackoff, Bob Sloan
N/A
1986
1986
1986
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
N/A
1985
1985
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
Probabilistic Encryption.
Shafi Goldwasser, Silvio Micali
J. Comput. Syst. Sci.
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
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
N/A
1982
1982
N/A
1982
1982
1982
1981
N/A
1981
1980
Minimal Forms in lambda-Calculus Computations.
Corrado Böhm, Silvio Micali
J. Symb. Log.
N/A
1980
1980
N/A
1980
Read more

Google Trends (past one year)

40.8
Learn about Google Trends

Academic Achievement

Twitter Influence

0/100
Learn about weight

Recent Twitter Hashtags

Recent Tweets

Popular People

Alexander Zaidelson
Alexander Zaidelson Entrepreneur @ BEAM
Rosario Gennaro
Rosario Gennaro Scholar @ CUNY | Center For Algorithms And Interactive Scientific Software (CAISS) | MIT | City College Of New York | IBM T.J.Watson Research Center
Oded Goldreich
Oded Goldreich Scholar @ The Weizmann Institute Of Science
Aviv Zohar
Aviv Zohar Scholar @ Hebrew University
Browse all people