# Silvio Micali

Silvio Micali (nascut el 13 d'octubre de 1954) és un informàtic nascut a Palerm que és professor del MIT des de 1983 i treballa al MIT Computer Science and Artificial Intelligence Laboratory. La seva recerca es concentra en teoria de criptografia i seguretat de la informació.

## Educació

Micali es va llicenciar en Matemàtiques a La Sapienza el 1978 i es va doctorar en informàtica a Berkeley el 1982; el seu director de tesi va ser Manuel Blum.

## Recerca

Micali és conegut sobretot pels seus primers treballs en criptografia de clau pública, funcions pseudoaleatòries, signatures digitals, transferència inconscient, càlcul multipart segur, i és un dels coinventors de les proves de coneixement zero.

## Reconeixements

Micali va guanyar el Premi Gödel el 1993. El 2007, fou seleccionat per l'Acadèmia Nacional de Ciències dels Estats Units i com a Fellow de l'Associació Internacional per a la Recerca Criptològica (IACR). També és membre de la National Academy of Engineering i l'Acadèmia Americana de les Arts i les Ciències. Va obtenir el Premi Turing de l'any 2012 juntament amb Shafi Goldwasser per la seva feina en criptografia.

## Referències

* 1 2 3 Silvio Micali al Mathematics Genealogy Project.
* 1 2 3 Savage, N. «Proofs probable: Shafi Goldwasser and Silvio Micali laid the foundations for modern cryptography, with contributions including interactive and zero-knowledge proofs». Communications of the ACM, 56, 6, 2013, pàg. 22. DOI: 10.1145/2461256.2461265.
* ↑ http://people.csail.mit.edu/silvio/CV.pdf
* ↑ Fischer, M. J.; Micali, S.; Rackoff, C. «A secure protocol for the oblivious transfer (extended abstract)». Journal of Cryptology, 9, 3, 1996. DOI: 10.1007/BF00208002.
* ↑ Goldreich, O.; Micali, S.; Wigderson, A. «Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems». Journal of the ACM, 38, 3, 01-07-1991, pàg. 690. DOI: 10.1145/116825.116852.
* ↑ Blum, M.; De Santis, A.; Micali, S.; Persiano, G. «Noninteractive Zero-Knowledge». SIAM Journal on Computing, 20, 6, 1991, pàg. 1084. DOI: 10.1137/0220068.
* ↑ Ben-Or, M.; Goldreich, O.; Micali, S.; Rivest, R. L. «A fair protocol for signing contracts». IEEE Transactions on Information Theory, 36, 1990, pàg. 40. DOI: 10.1109/18.50372.
* ↑ Goldwasser, S.; Micali, S.; Rackoff, C. «The Knowledge Complexity of Interactive Proof Systems». SIAM J. Comput., 18, 1, 1989, pàg. 186–208. Arxivat de l'original el 2011-09-27. DOI: 10.1137/0218012 [Consulta: 19 febrer 2016].
* ↑ Goldwasser, S.; Micali, S.; Rivest, R. L. «A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks». SIAM Journal on Computing, 17, 2, 1988, pàg. 281. DOI: 10.1137/0217017.
* ↑ Micali, S.; Rackoff, C.; Sloan, B. «The Notion of Security for Probabilistic Cryptosystems». SIAM Journal on Computing, 17, 2, 1988, pàg. 412. DOI: 10.1137/0217025.
* ↑ Goldreich, O.; Micali, S.; Wigderson, A. «How to play ANY mental game». A: Proceedings of the nineteenth annual ACM conference on Theory of computing - STOC '87, 1987, p. 218-229. DOI 10.1145/28395.28420. ISBN 0897912217.
* ↑ Goldwasser, S.; Micali, S. «Probabilistic encryption». Journal of Computer and System Sciences, 28, 2, 1984, pàg. 270. DOI: 10.1016/0022-0000(84)90070-9.
* ↑ Blum, Manuel; Micali, Silvio «How to Generate Cryptographically Strong Sequences of Pseudorandom Bits». SIAM Journal on Computing, 13, 4, 1984, pàg. 850. DOI: 10.1137/0213053.
* ↑ Publicacions de Silvio Micali al servidor DBLP de la Universitat de Trier
* ↑ Silvio Micali a la biblioteca digital de l'ACM
* ↑ http://people.csail.mit.edu/silvio/
* ↑ Blum, M.; Feldman, P.; Micali, S. «Non-interactive zero-knowledge and its applications». A: Proceedings of the twentieth annual ACM symposium on Theory of computing - STOC '88, 1988, p. 103. DOI 10.1145/62212.62222. ISBN 0897912640.
* ↑ http://sigact.acm.org/prizes/godel/
* ↑ http://theory.csail.mit.edu/awards.html
* ↑ «Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography». ACM. Arxivat de l'original el 2013-03-16. [Consulta: 13 març 2013].