Silvio Micali
(
Palermo
,
13 ottobre
1954
) e un
matematico
,
crittografo
e
informatico
italiano
, professore d'
informatica
presso il Laboratorio d'Informatica ed Intelligenza Artificiale (CSAIL) del
MIT
di
Cambridge, Massachusetts
.
Sin da piccolo si dimostro particolarmente dotato per la
matematica
e la
logica
. Si sposto 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
maturita classica
nel
1973
, si e poi laureato nel
1978
all'
Universita di Roma
, dove e stato uno dei piu brillanti allievi di
Corrado Bohm
.
Ottenne il
Ph.D.
in Informatica presso l'
Universita 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 Godel
nel 1993.
Oggi 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
, 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 e 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 piu rapido, efficiente e meno costoso rispetto a quelli gia esistenti.
[3]
Nel 2014 riceve il Premio Franca Florio "Scienziati Italiani Patrimonio dell'Umanita", conferito agli scienziati italiani nel mondo.
Nel 2015 riceve Laurea Magistrale ad honorem in Informatica dell’
Universita degli Studi di Salerno
[5]
e nel 2023 riceve la Laurea ad honorem in Cybersecurity presso l'
Universita degli Studi di Roma "La Sapienza"
[6]
.
- 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.
- ^
(
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
.
- ^
Silvio Micali - Bio Sketch
(
PDF
), su
people.csail.mit.edu
.
- ^
(
EN
)
Algorand 2021 Performance
, su
algorand.com
.
URL consultato il 10 marzo 2021
.
- ^
(
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)
.
- ^
Universita degli Studi di Salerno, Laurea Honoris Causa a Silvio Micali
, su
Universita di Salerno
, 20 maggio 2015.
URL consultato il 13 ottobre 2023
.
- ^
Sapienza, laurea ad honorem in Cybersecurity a Silvio Micali - Internet e Social
, su
Agenzia ANSA
, 13 maggio 2023.
URL consultato il 15 maggio 2023
.