Silvio Micali
Silvio M. Micali (né le à Palerme) est un informaticien italo-américain du Laboratoire d'informatique et intelligence artificielle du MIT et professeur d'informatique au Département d’ingénierie électrique et informatique du MIT depuis 1983. Sa recherche porte sur la théorie de la cryptographie et de la sécurité de l'information.
Naissance | |
---|---|
Nationalité | |
Formation | |
Activités |
A travaillé pour |
Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Laboratory |
---|---|
Domaine | |
Membre de | |
Directeur de thèse | |
Site web | |
Distinction |
Biographie
Il obtient un doctorat Ph.D. de l'université de Californie à Berkeley en 1982 ; son directeur de thèse est Manuel Blum[1].
Micali est lauréat du prix Gödel en 1993 et du prix Turing 2012[2]. En 2007, il est nommé membre de l'Académie nationale des sciences et membre de l'International Association for Cryptologic Research. Il est également membre de l'Académie nationale d'ingénierie des États-Unis et de l'Académie américaine des arts et des sciences[3].
En 2017, Micali créé Algorand, une blockchain sécurisée et évolutive, qui fournit une plateforme numérique pour la création de produits et services financiers décentralisés[4].
Travaux
Micali est connu notamment pour ses travaux fondamentaux sur la cryptographie asymétrique (cryptographie à clé publique), les fonctions pseudo-aléatoires, la signature numérique, le transfert inconscient (oblivious transfer en anglais), le calcul multiparti sécurisé (en) (secure multi-party computation en anglais), et il est l'un des coïnventeurs de la preuve à divulgation nulle de connaissance (zero-knowledge proof en anglais).
Il a travaillé avec Shafi Goldwasser.
Publications (sélection)
- Michael J. Fischer, Silvio Micali et Charles Rackoff, « A Secure Protocol for the Oblivious transfer (Extended Abstract) », Journal of Cryptology, vol. 9, n° 3, 1996, p. 191-195.
- Oded Goldreich, Silvio Micali et Avi Wigderson, « Proofs that Yield Nothing But Their Validity, or All Languages in NP have Zero-Knowledge Proof systems », Journal of the ACM, vol. 38, n° 3, 1991, p. 691-729.
- Manuel Blum, Alfredo De Sants, Silvio Micali et Giuseppe Persiano, « Noninteractive Zero-Knowledge », SIAM Journal on Computing, vol. 20, n° 6, 1991, p. 1084-1118.
- Michael Ben-Or, Oded Goldreich, Silvio Micali et Ronald L. Rivest, « A Fair Protocol for Signing Contracts », IEEE Transactions on Information Theory, vol. 36, n° 1, 1990, p. 40-46.
- Shafi Goldwasser, Silvio Micali et Charles Rackoff, « The Knowledge Complexity of Interactive Proof Systems », SIAM Journal on Computing, vol. 18, n° 1, 1989, p. 186-208.
- Shafi Goldwasser, Silvio Micali et Ronald L. Rivest, « A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks », SIAM Journal on Computing, vol. 17, n° 2, 1988, p. 281-308.
- Silvio Micali, Charles Rackoff et Bob Sloan, « The Notion of Security for Probabilistic Cryptosystems », SIAM Journal on Computing, vol. 17, n° 2, 1988, p. 412-426.
- Oded Goldreich, Silvio Micali et Avi Wigderson, « How to Play any Mental Game, or A Completeness Theorem for Protocols with Honest Majority », Proceedings of the Symposium on the Theory of Computation (STOC), 1987, p. 218-229.
- Shafi Goldwasser et Silvio Micali, « Probabilistic Encryption », Journal of Computer and System Sciences, vol. 28, n° 2, 1984, p. 270-299.
- Manuel Blum et Silvio Micali, « How to Generate Cryptographically Strong Sequences of Pseudo-Random Bits », SIAM Journal on Computing, vol. 13, n° 4, 1984, p. 850-864.
Notes et références
- (en) « Silvio M. Micali », sur le site du Mathematics Genealogy Project.
- Page officielle du prix Turing pour Sivio Micali.
- Lauréats du Laboratoire d'informatique et intelligence artificielle du MIT.
- (en) « From Our Founder », sur www.algorand.com (consulté le )
Voir aussi
Article connexe
Peppercoin (en)
Liens externes
- Page personnelle de Silvio Micali au MIT
- Silvio Micali au DĂ©partement Computer Science and Artificial Intelligence du MIT
- Silvio Micali - Breaking the code sur YouTube
- Ressources relatives Ă la recherche :