Silvio Micali

Da Wikipedia, l'enciclopedia libera.
Silvio Micali

Silvio Micali (Palermo, 13 ottobre 1954) è un informatico italiano, professore d'informatica presso il Laboratorio d'Informatica ed Intelligenza Artificiale (CSAIL) del MIT di Boston.

Biografia[modifica | modifica wikitesto]

Sin da piccolo si dimostrò particolarmente dotato per la matematica e la logica. Si spostò con la famiglia a Roma dove il padre, magistrato, era stato trasferito. Dopo aver frequentato il Liceo classico statale Giulio Cesare e aver ottenuto la maturità classica nel 1973, si è poi laureato nel 1978 all'Università di Roma, dove è stato uno dei più brillanti allievi del prof. Corrado Böhm.

Ottenne il Ph.D. in Informatica presso l'Università della California a Berkeley nel 1983. Micali vinse il Premio Gödel nel 1993.

Oggi lavora al Laboratorio di Ricerca per l’informatica e l’intelligenza artificiale del MIT di Cambridge (Massachusetts), dove dal 1984 insegna informatica presso il Dipartimento di Ingegneria elettrica.

Le sue ricerche sono sempre state indirizzate alla crittografia e alla sicurezza informatica. Micali è molto conosciuto nel mondo scientifico per fondamentali lavori nel campo della crittografia.

Riconoscimenti[modifica | modifica wikitesto]

Nel 2007 è stato chiamato a far parte dell’Accademia Nazionale delle Scienze degli Stati Uniti. È inoltre membro dell’IACR (International Association for Cryptologic Research).

Nel 2012 ha ricevuto il Premio Turing, insieme a Shafi Goldwasser, per i suoi contributi alla crittografia.[1]

Note[modifica | modifica wikitesto]

  1. ^ (EN) Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography. URL consultato il 5 aprile 2013.

Principali pubblicazioni[modifica | modifica wikitesto]

  • Michael J. Fischer, Silvio Micali, and Charles Rackoff. A Secure Protocol for the Oblivious Transfer (Extended Abstract). Journal of Cryptology, vol. 9, no. 3, pp. 191-195, 1996.
  • Oded Goldreich, Silvio Micali, and Avi Wigderson. Proofs that Yield Nothing But Their Validity, or All Languages in NP (complexity) have Zero-knowledge proof systems. Journal of the ACM vol. 38, no. 3, pp. 691-729, 1991.
  • Manuel Blum, Alfredo De Santis, Silvio Micali, and Giuseppe Persiano. Noninteractive Zero-Knowledge. SIAM Journal on Computing vol. 20, no. 6, pp. 1084-1118, 1991.
  • Michael Ben-Or, Oded Goldreich, Silvio Micali, and Ronald L. Rivest. A Fair Protocol for Signing Contracts. IEEE Transactions on Information Theory vol. 36, no. 1, pp. 40-46, 1990.
  • Shafi Goldwasser, Silvio Micali, and Charles Rackoff. The Knowledge Complexity of Interactive Proof Systems. SIAM Journal on Computing vol. 18, no. 1, pp. 186-208, 1989.
  • Shafi Goldwasser, Silvio Micali, and Ronald L. Rivest. A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks. SIAM Journal on Computing vol. 17, no. 2, pp. 281-308, 1988.
  • Silvio Micali, Charles Rackoff, and Bob Sloan. The Notion of Security for Probabilistic Cryptosystems. SIAM Journal on Computing vol. 17, no. 2, pp. 412-426, 1988.
  • Oded Goldreich, Silvio Micali, and Avi Wigderson. How to Play any Mental Game, or A Completeness Theorem for Protocols with Honest Majority, Proceedings of STOC 1987, pp. 218-229, 1987.
  • Shafi Goldwasser and Silvio Micali. Probabilistic Encryption. Journal of Computer and System Sciences, vol. 28, no. 2, pp. 270-299, 1984.
  • Manuel Blum and Silvio Micali. How to Generate Cryptographically secure pseudorandom number generator-Cryptographically Strong Sequences of Pseudo-Random Bits (Generatore di numeri pseudocasuali crittograficamente sicuro), SIAM Journal on Computing vol. 13, no. 4, pp. 850-864, 1984.

Collegamenti esterni[modifica | modifica wikitesto]

Controllo di autorità VIAF: 72965772 LCCN: n88601784