Silvio Micali

Silvio Micali

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

Biografia

Sin da piccolo si dimostrò particolarmente dotato per la matematica e la logica. Si trasferì 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 alla Sapienza di Roma, dove è stato uno dei più brillanti allievi di Corrado Böhm.

Ottenne il Ph.D. in Informatica presso l'Università della California a Berkeley nel 1983. Nel 1985, assieme a Shafi Goldwasser e Charles Rackoff, pubblica l'articolo The knowledge complexity of interactive proof-systems, in cui gli autori introducono il concetto di dimostrazione a conoscenza zero.[1] Micali vinse il Premio Gödel nel 1993.

Oggi[Da quando?] lavora al Laboratorio di Ricerca per l'informatica e l'intelligenza artificiale (Computer Science and Artificial Intelligence Laboratory ) del Massachusetts Institute of Technology di Cambridge (Massachusetts), dove, dal 1983['83 oppure '84?], insegna informatica presso il Dipartimento di Ingegneria elettrica e di Informatica[2].

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.

Nel 2017, fonda Algorand, progetto basato sulla tecnologia blockchain per garantire transazioni scalabili, sicure e decentralizzate attraverso un meccanismo di consenso più rapido, efficiente e meno costoso rispetto a quelli già esistenti.[3]

Riconoscimenti

Opere

Pubblicazioni
  • 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.

Note

  1. ^ (EN) Manuel Blum, Paul Feldman e Silvio Micali, Non-Interactive Zero-Knowledge and Its Applications (Extended Abstract), Twentieth annual ACM symposium on Theory of computing (STOC '88), gennaio 1988, pp. 103–112, DOI:10.1145/62212.62222.
  2. ^ Silvio Micali - Bio Sketch (PDF), su people.csail.mit.edu.
  3. ^ (EN) Algorand 2021 Performance, su algorand.com. URL consultato il 10 marzo 2021.
  4. ^ (EN) Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography, su acm.org. URL consultato il 5 aprile 2013 (archiviato dall'url originale il 16 marzo 2013).
  5. ^ L'italiano Silvio Micali vince il Nobel dell'informatica, su unina.it.
  6. ^ Università degli Studi di Salerno, Laurea Honoris Causa a Silvio Micali, su Università di Salerno, 20 maggio 2015. URL consultato il 13 ottobre 2023.
  7. ^ Sapienza, laurea ad honorem in Cybersecurity a Silvio Micali - Internet e Social, su Agenzia ANSA, 13 maggio 2023. URL consultato il 15 maggio 2023.

Altri progetti

Collegamenti esterni

Controllo di autoritàVIAF (EN) 72965772 · ISNI (EN) 0000 0000 2771 8849 · LCCN (EN) n88601784 · GND (DE) 1207775908 · J9U (EN, HE) 987007445168805171
  Portale Biografie