Silvio Micali

Publication Activity (10 Years)

Years Active: 1980-2021
Publications (10 Years): 13

Top Venues

CoRR

ITCS

IACR Cryptol. ePrint Arch.

J. Econ. Theory

Publications

Silvio Micali, Leonid Reyzin, Georgios Vlachos, Riad S. Wahby, Nickolai Zeldovich
Compact Certificates of Collective Knowledge. IEEE Symposium on Security and Privacy (2021)
Silvio Micali, Leonid Reyzin, Georgios Vlachos, Riad S. Wahby, Nickolai Zeldovich
Compact Certificates of Collective Knowledge. IACR Cryptol. ePrint Arch. 2020 (2020)
Jing Chen, Silvio Micali
Algorand: A secure and efficient distributed ledger. Theor. Comput. Sci. 777 (2019)
Jing Chen, Sergey Gorbunov, Silvio Micali, Georgios Vlachos
ALGORAND AGREEMENT: Super Fast and Partition Resilient Byzantine Agreement. IACR Cryptol. ePrint Arch. 2018 (2018)
Yossi Gilad, Rotem Hemo, Silvio Micali, Georgios Vlachos, Nickolai Zeldovich
Algorand: Scaling Byzantine Agreements for Cryptocurrencies. IACR Cryptol. ePrint Arch. 2017 (2017)
Yossi Gilad, Rotem Hemo, Silvio Micali, Georgios Vlachos, Nickolai Zeldovich
Algorand: Scaling Byzantine Agreements for Cryptocurrencies. SOSP (2017)
Alan Deckelbaum, Silvio Micali
Collusion, efficiency, and dominant strategies. Games Econ. Behav. 103 (2017)
Silvio Micali
Very Simple and Efficient Byzantine Agreement. ITCS (2017)
Silvio Micali, Zeyuan Allen Zhu
Reconstructing Markov processes from independent and anonymous experiments. Discret. Appl. Math. 200 (2016)
Silvio Micali
ALGORAND: The Efficient and Democratic Ledger. CoRR (2016)
Jing Chen, Silvio Micali
Auction Revenue in the General Spiteful-Utility Model. ITCS (2016)
Atalay Mert Ileri, Silvio Micali
Mechanisms With Costly Knowledge. ITCS (2016)
Jing Chen, Silvio Micali
Leveraging Possibilistic Beliefs in Unrestricted Combinatorial Auctions. Games 7 (4) (2016)
Silvio Micali
What it means to receive the Turing award. Commun. ACM 58 (1) (2015)
Jing Chen, Silvio Micali
Mechanism design with possibilistic beliefs. J. Econ. Theory 156 (2015)
Sergey Gorbunov, Silvio Micali
Democoin: A Publicly Verifiable and Jointly Serviced Cryptocurrency. IACR Cryptol. ePrint Arch. 2015 (2015)
Jing Chen, Silvio Micali, Rafael Pass
Better Outcomes from More Rationality. ITCS (2015)
Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
Knightian Analysis of the VCG Mechanism in Unrestricted Combinatorial Auctions. CoRR (2014)
Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
Knightian self uncertainty in the vcg mechanism for unrestricted combinatorial auctions. EC (2014)
Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
Knightian Robustness of the Vickrey Mechanism. CoRR (2014)
Zeyuan Allen Zhu, Rati Gelashvili, Silvio Micali, Nir Shavit
Johnson-Lindenstrauss Compression with Neuroscience-Based Constraints. CoRR (2014)
Silvio Micali, Michael O. Rabin
Cryptography miracles, secure auctions, matching problem verification. Commun. ACM 57 (2) (2014)
Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
Knightian Robustness from Regret Minimization. CoRR (2014)
Silvio Micali
Rational and resilient protocols. PODC (2014)
Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
Bridging Utility Maximization and Regret Minimization. CoRR (2014)
Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
Knightian Robustness of Single-Parameter Domains. CoRR (2014)
Pablo Daniel Azar, Silvio Micali
The Query Complexity of Scoring Rules. ACM Trans. Economics and Comput. 2 (3) (2014)
Pablo Daniel Azar, Constantinos Daskalakis, Silvio Micali, S. Matthew Weinberg
Optimal and Efficient Parametric Auctions. SODA (2013)
Pablo Daniel Azar, Silvio Micali
Super-efficient rational proofs. EC (2013)
Pablo Daniel Azar, Silvio Micali
Parametric digital auctions. ITCS (2013)
Pablo Daniel Azar, Silvio Micali
Rational proofs. STOC (2012)
Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
Mechanism design with approximate valuations. ITCS (2012)
Pablo Azar, Jing Chen, Silvio Micali
Crowdsourced Bayesian auctions. ITCS (2012)
Jing Chen, Silvio Micali
Collusive dominant-strategy truthfulness. J. Econ. Theory 147 (3) (2012)
Pablo Daniel Azar, Jing Chen, Silvio Micali
Crowdsourced Bayesian Auctions - (Abstract). AMMA (2011)
Sergei Izmalkov, Matt Lepinski, Silvio Micali
Perfect implementation. Games Econ. Behav. 71 (1) (2011)
Jing Chen, Silvio Micali
Mechanism Design with Set-Theoretic Beliefs. FOCS (2011)
Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu
Knightian Auctions CoRR (2011)
Silvio Micali, Chris Peikert, Madhu Sudan, David A. Wilson
Optimal Error Correction for Computationally Bounded Noise. IEEE Trans. Inf. Theory 56 (11) (2010)
Silvio Micali
Perfect concrete implementation of arbitrary mechanisms: a quick summary of joint work with Sergei Izmalkov and Matt Lepinski. BQGT (2010)
Jing Chen, Silvio Micali, Paul Valiant
Robustly Leveraging Collusion in Combinatorial Auctions. ICS (2010)
Jing Chen, Avinatan Hassidim, Silvio Micali
Robust Perfect Revenue From Perfectly Informed Players. ICS (2010)
Silvio Micali, Abhi Shelat
Purely Rational Secret Sharing (Extended Abstract). TCC (2009)
Jing Chen, Silvio Micali
A new approach to auctions and resilient mechanism design. STOC (2009)
Moses D. Liskov, Silvio Micali
Online-Untransferable Signatures. Public Key Cryptography (2008)
Sergei Izmalkov, Matt Lepinski, Silvio Micali
Verifiably Secure Devices. TCC (2008)
Silvio Micali, Rafael Pass, Alon Rosen
Input-Indistinguishable Computation. FOCS (2006)
Rosario Gennaro, Silvio Micali
Independent Zero-Knowledge Sets. IACR Cryptol. ePrint Arch. 2006 (2006)
Silvio Micali, Rafael Pass
Local zero knowledge. STOC (2006)
Rosario Gennaro, Silvio Micali
Independent Zero-Knowledge Sets. ICALP (2) (2006)
Sergei Izmalkov, Silvio Micali, Matt Lepinski
Rational Secure Computation and Ideal Mechanism Design. FOCS (2005)
Matt Lepinski, Silvio Micali, Abhi Shelat
Collusion-free protocols. STOC (2005)
Matt Lepinski, Silvio Micali, Abhi Shelat
Fair-Zero Knowledge. TCC (2005)
Silvio Micali, Chris Peikert, Madhu Sudan, David A. Wilson
Optimal Error Correction Against Computationally Bounded Noise. TCC (2005)
Rosario Gennaro, Anna Lysyanskaya, Tal Malkin, Silvio Micali, Tal Rabin
Algorithmic Tamper-Proof (ATP) Security: Theoretical Foundations for Security against Hardware Tampering. TCC (2004)
Matt Lepinski, Silvio Micali, Chris Peikert, Abhi Shelat
Completely fair SFE and coalition-safe cheap talk. PODC (2004)
Anna Lysyanskaya, Silvio Micali, Leonid Reyzin, Hovav Shacham
Sequential Aggregate Signatures from Trapdoor Permutations. EUROCRYPT (2004)
Silvio Micali, Leonid Reyzin
Physically Observable Cryptography (Extended Abstract). TCC (2004)
Silvio Micali, Leonid Reyzin
Physically Observable Cryptography. IACR Cryptol. ePrint Arch. 2003 (2003)
Anna Lysyanskaya, Silvio Micali, Leonid Reyzin, Hovav Shacham
Sequential Aggregate Signatures from Trapdoor Permutations. IACR Cryptol. ePrint Arch. 2003 (2003)
Silvio Micali, Michael O. Rabin, Joe Kilian
Zero-Knowledge Sets. FOCS (2003)
Silvio Micali
Simple and fast optimistic protocols for fair electronic exchange. PODC (2003)
Jonathan Herzog, Moses D. Liskov, Silvio Micali
Plaintext Awareness via Key Registration. CRYPTO (2003)
Markus Jakobsson, Frank Thomson Leighton, Silvio Micali, Michael Szydlo
Fractal Merkle Tree Representation and Traversal. CT-RSA (2003)
Silvio Micali, Leonid Reyzin
Improving the Exact Security of Digital Signature Schemes. J. Cryptol. 15 (1) (2002)
Silvio Micali, Ronald L. Rivest
Transitive Signature Schemes. CT-RSA (2002)
Silvio Micali, Ronald L. Rivest
Micropayments Revisited. CT-RSA (2002)
Silvio Micali, Leonid Reyzin
Min-round Resettable Zero-Knowledge in the Public-Key Model. EUROCRYPT (2001)
Moses D. Liskov, Silvio Micali
Amortized E-Cash. Financial Cryptography (2001)
Mihir Bellare, Marc Fischlin, Shafi Goldwasser, Silvio Micali
Identification Protocols Secure against Reset Attacks. EUROCRYPT (2001)
Moses D. Liskov, Anna Lysyanskaya, Silvio Micali, Leonid Reyzin, Adam D. Smith
Mutually Independent Commitments. ASIACRYPT (2001)
Silvio Micali, Leonid Reyzin
Soundness in the Public-Key Model. CRYPTO (2001)
Silvio Micali, Kazuo Ohta, Leonid Reyzin
Accountable-subgroup multisignatures: extended abstract. CCS (2001)
Silvio Micali
Computationally Sound Proofs. SIAM J. Comput. 30 (4) (2000)
Joe Kilian, Eyal Kushilevitz, Silvio Micali, Rafail Ostrovsky
Reducibility and Completeness in Private Computations. SIAM J. Comput. 29 (4) (2000)
Yevgeniy Dodis, Silvio Micali
Parallel Reducibility for Information-Theoretically Secure Computation. CRYPTO (2000)
Mihir Bellare, Marc Fischlin, Shafi Goldwasser, Silvio Micali
Identification Protocols Secure Against Reset Attacks. IACR Cryptol. ePrint Arch. 2000 (2000)
Mihir Bellare, Alexandra Boldyreva, Silvio Micali
Public-Key Encryption in a Multi-user Setting: Security Proofs and Improvements. EUROCRYPT (2000)
Ran Canetti, Oded Goldreich, Shafi Goldwasser, Silvio Micali
Resettable zero-knowledge (extended abstract). STOC (2000)
Silvio Micali, Leonid Reyzin
Improving the Exact Security of Digital Signature Schemes. IACR Cryptol. ePrint Arch. 1999 (1999)
Yevgeniy Dodis, Silvio Micali
Lower Bounds for Oblivious Transfer Reductions. EUROCRYPT (1999)
Ran Canetti, Oded Goldreich, Shafi Goldwasser, Silvio Micali
Resettable Zero-Knowledge. Electron. Colloquium Comput. Complex. (42) (1999)
Oded Goldreich, Shafi Goldwasser, Silvio Micali
Interleaved Zero-Knowledge in the Public-Key Model. Electron. Colloquium Comput. Complex. 6 (24) (1999)
Christian Cachin, Silvio Micali, Markus Stadler
Computationally Private Information Retrieval with Polylogarithmic Communication. EUROCRYPT (1999)
Silvio Micali, Leonid Reyzin
Improving the Exact Security of Fiat-Shamir Signature Schemes. CQRE (1999)
Ran Canetti, Oded Goldreich, Shafi Goldwasser, Silvio Micali
Resettable Zero-Knowledge. IACR Cryptol. ePrint Arch. 1999 (1999)
Silvio Micali, Michael O. Rabin, Salil P. Vadhan
Verifiable Random Functions. FOCS (1999)
Oded Goldreich, Shafi Goldwasser, Silvio Micali
Interleaved Zero-Knowledge in the Public-Key Model. IACR Cryptol. ePrint Arch. 1999 (1999)
Amos Beimel, Tal Malkin, Silvio Micali
The All-or-Nothing Nature of Two-Party Secure Computation. CRYPTO (1999)
Shai Halevi, Silvio Micali
More on Proofs of Knowledge. IACR Cryptol. ePrint Arch. 1998 (1998)
Silvio Micali
Computationally-Sound Checkers. MFCS (1998)
Pesech Feldman, Silvio Micali
An Optimal Probabilistic Protocol for Synchronous Byzantine Agreement. SIAM J. Comput. 26 (4) (1997)
Shimon Even, Oded Goldreich, Silvio Micali
On-Line/Off-Line Digital Signatures. J. Cryptol. 9 (1) (1996)
Michael J. Fischer, Silvio Micali, Charles Rackoff
A Secure Protocol for the Oblivious Transfer (Extended Abstract). J. Cryptol. 9 (3) (1996)
Shai Halevi, Silvio Micali
Practical and Provably-Secure Commitment Schemes from Collision-Free Hashing. CRYPTO (1996)
Silvio Micali
Computationally-Sound Proofs. Logic Colloquium (1995)
Silvio Micali, Ray Sidney
A Simple Method for Generating and Sharing Pseudo-Random Functions, with Applications to Clipper-like Escrow Systems. CRYPTO (1995)
Rosario Gennaro, Silvio Micali
Verifiable Secret Sharing as Secure Computation. EUROCRYPT (1995)
Silvio Micali
CS Proofs (Extended Abstracts) FOCS (1994)
Eyal Kushilevitz, Silvio Micali, Rafail Ostrovsky
Reducibility and Completeness in Multi-Party Private Computations FOCS (1994)

Silvio Micali.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Silvio Micali