Chercheurs

Informatique / MICALI, SILVIO

silvio

Position

Ford Professor of Engineering
Electrical Engineering and Computer Science Department, MIT, USA.

Thèmes de recherche

• Cryptography
• Secure Protocols
• Pseudo-Random Number Generation
• Proof Systems
• Distributed Computation
• Zero Knowledge
• Mechanism Design

Founder of the Algorithmic Theory of Pseudoramdomness and co-inventor of Zero Knowledge Proofs, Professor Micali is interested in cryptography, secure protocols and their applications to Electronic Commerce.

Prix et récompenses

* Gödel - Gödel Prize in Theoretical Computer Science 1993
* American Academy of Arts and Sciences - Fellow 2003
* RSA - Mathematics Award 2004
* University of California Berkeley - Distinguished Alumnus of the year 2006
* University of Pennsylvania - Rademacher Lecture Series 2005
* ISE New England - Rising Star Award 2006
* National Academy of Engineering - Member 2007

Publications

2006

Silvio Micali, Rafael Pass, Alon Rosen: Input-Indistinguishable Computation. FOCS 2006: 367-378

Rosario Gennaro, Silvio Micali: Independent Zero-Knowledge Sets. ICALP (2) 2006: 34-45

Silvio Micali, Rafael Pass: Local zero knowledge. STOC 2006: 306-315

2005

Sergei Izmalkov, Silvio Micali, Matt Lepinski: Rational Secure Computation and Ideal Mechanism Design. FOCS 2005: 585-595

Matt Lepinski, Silvio Micali, Abhi Shelat: Collusion-free protocols. STOC 2005: 543-552

Silvio Micali, Chris Peikert, Madhu Sudan, David A. Wilson: Optimal Error Correction Against Computationally Bounded Noise. TCC 2005: 1-16

Matt Lepinski, Silvio Micali, Abhi Shelat: Fair-Zero Knowledge. TCC 2005: 245-263

2004

Anna Lysyanskaya, Silvio Micali, Leonid Reyzin, Hovav Shacham: Sequential Aggregate Signatures from Trapdoor Permutations. EUROCRYPT 2004: 74-90

Matt Lepinski, Silvio Micali, Chris Peikert, Abhi Shelat: Completely fair SFE and coalition-safe cheap talk. PODC 2004: 1-10

Rosario Gennaro, Anna Lysyanskaya, Tal Malkin, Silvio Micali, Tal Rabin: Algorithmic Tamper-Proof (ATP) Security: Theoretical Foundations for Security against Hardware Tampering. TCC 2004: 258-277

Silvio Micali, Leonid Reyzin: Physically Observable Cryptography (Extended Abstract). TCC 2004: 278-296

2003

Jonathan Herzog, Moses Liskov, Silvio Micali: Plaintext Awareness via Key Registration. CRYPTO 2003: 548-564

Markus Jakobsson, Frank Thomson Leighton, Silvio Micali, Michael Szydlo: Fractal Merkle Tree Representation and Traversal. CT-RSA 2003: 314-326

Silvio Micali, Michael O. Rabin, Joe Kilian: Zero-Knowledge Sets. FOCS 2003: 80-91

Silvio Micali: Simple and fast optimistic protocols for fair electronic exchange. PODC 2003: 12-19

2002

Silvio Micali, Ronald L. Rivest: Micropayments Revisited. CT-RSA 2002: 149-163

Silvio Micali, Ronald L. Rivest: Transitive Signature Schemes. CT-RSA 2002: 236-243

Silvio Micali, Leonid Reyzin: Improving the Exact Security of Digital Signature Schemes. J. Cryptology 15(1): 1-18 (2002)

2001

Moses Liskov, Anna Lysyanskaya, Silvio Micali, Leonid Reyzin, Adam Smith.
\"Mutually Independent Commitments\"

Silvio Micali, Kazuo Ohta, Leonid Reyzin: Accountable-subgroup multisignatures: extended abstract. ACM Conference on Computer and Communications Security 2001: 245-254

Moses Liskov, Anna Lysyanskaya, Silvio Micali, Leonid Reyzin, Adam Smith: Mutually Independent Commitments. ASIACRYPT 2001: 385-401

Silvio Micali, Leonid Reyzin: Soundness in the Public-Key Model. CRYPTO 2001: 542-565

Silvio Micali, Leonid Reyzin: Min-round Resettable Zero-Knowledge in the Public-Key Model. EUROCRYPT 2001: 373-393

Mihir Bellare, Marc Fischlin, Shafi Goldwasser, Silvio Micali: Identification Protocols Secure against Reset Attacks. EUROCRYPT 2001: 495-511

Moses Liskov, Silvio Micali: Amortized E-Cash. Financial Cryptography 2001: 1-20