Knowledge Base Wiki

Search for LIMS content across all our Wiki Knowledge Bases.

Type a search term to find related articles by LIMS subject matter experts gathered from the most trusted and dynamic collaboration tools in the laboratory informatics industry.

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 (EN72965772 · ISNI (EN0000 0000 2771 8849 · LCCN (ENn88601784 · GND (DE1207775908 · J9U (ENHE987007445168805171