Silvio Micali

De Wikipedia, la enciclopedia libre
Ir a la navegación Ir a la búsqueda
Silvio Micali
Silvio Micali IMG 0459.jpg
Información personal
Nacimiento 13 de octubre de 1954 Ver y modificar los datos en Wikidata (64 años)
Palermo, Italia Ver y modificar los datos en Wikidata
Nacionalidad Estadounidense Ver y modificar los datos en Wikidata
Educación
Educado en
Supervisor doctoral Manuel Blum Ver y modificar los datos en Wikidata
Información profesional
Ocupación Criptógrafo, matemático, informático teórico y profesor universitario Ver y modificar los datos en Wikidata
Área Ciencias de la computación Ver y modificar los datos en Wikidata
Empleador
Miembro de
Distinciones
Web
Sitio web

Silvio Micali (Palermo, 13 de octubre de 1954) es un informático italo-estadounidense que es profesor del Instituto Tecnológico de Massachusetts (MIT) desde 1983 y trabaja en el MIT Computer Science and Artificial Intelligence Laboratory. Su investigación se concentra en teoría de criptografía y seguridad de la información.[1][2][3][4][5][6][7][8][9][10][11][12]

Biografía[editar]

Micali se licenció en Matemáticas en La Sapienza de Roma en 1978 y se doctoró en informática en la Universidad de California en Berkeley en 1982; su director de tesis fue Manuel Blum.[13]

Micali es conocido sobre todo por sus primeros trabajos en criptografía de clave pública, funciones pseudoaleatorias, firmas digitales, transferencia inconsciente y computación segura; además, es uno de los coinventores de las pruebas de conocimiento cero.[14]

Reconocimientos[editar]

Micali ha sido galardonado con el Premio Gödel en 1993. En 2007 fue elegido miembro de la Academia Nacional de Ciencias de Estados Unidos y como 'fellow' de la Asociación Internacional para la Investigación Criptológica (IACR). También es miembro de la National Academy of Engineering y la Academia Americana de las Artes y las Ciencias. Obtuvo el Premio Turing[15]​ en 2012 junto con Shafi Goldwasser por su trabajo que sentó las bases teóricas de la ciencia de la criptografía y nuevos métodos para el control eficaz de las pruebas matemáticas en la teoría de la complejidad computacional.[16]

Referencias[editar]

  1. Fischer, M. J.; Micali, S.; Rackoff, C. (1996). «A secure protocol for the oblivious transfer (extended abstract)». Journal of Cryptology 9 (3). doi:10.1007/BF00208002. 
  2. Goldreich, O.; Micali, S.; Wigderson, A. (julio de 1991). «Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems». Journal of the ACM 38 (3): 690. doi:10.1145/116825.116852. 
  3. Blum, M.; De Santis, A.; Micali, S.; Persiano, G. (1991). «Noninteractive Zero-Knowledge». SIAM Journal on Computing (en inglés) 20 (6): 1084. doi:10.1137/0220068. 
  4. Ben-Or, M.; Goldreich, O.; Micali, S.; Rivest, R. L. (1990). «A fair protocol for signing contracts». IEEE Transactions on Information Theory (en inglés) 36: 40. doi:10.1109/18.50372. 
  5. Goldwasser, S.; Micali, S.; Rackoff, C. (1989). «The Knowledge Complexity of Interactive Proof Systems». SIAM J. Comput. (en inglés) 18 (1): 186-208. doi:10.1137/0218012. 
  6. Goldwasser, S.; Micali, S.; Rivest, R. L. (1988). «A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks». SIAM Journal on Computing (en inglés) 17 (2): 281. doi:10.1137/0217017. 
  7. Micali, S.; Rackoff, C.; Sloan, B. (1988). «The Notion of Security for Probabilistic Cryptosystems». SIAM Journal on Computing (en inglés) 17 (2): 412. doi:10.1137/0217025. 
  8. Goldreich, O.; Micali, S.; Wigderson, A. (1987). «How to play ANY mental game». Proceedings of the nineteenth annual ACM conference on Theory of computing - STOC '87 (en inglés). pp. 218-229. ISBN 0897912217. doi:10.1145/28395.28420. 
  9. Goldwasser, S.; Micali, S. (1984). «Probabilistic encryption». Journal of Computer and System Sciences (en inglés) 28 (2): 270. doi:10.1016/0022-0000(84)90070-9. 
  10. Blum, Manuel; Micali, Silvio (1984). «How to Generate Cryptographically Strong Sequences of Pseudorandom Bits». SIAM Journal on Computing (en inglés) 13 (4): 850. doi:10.1137/0213053. 
  11. Publicacions de Silvio Micali en el servidor DBLP de la Universidad de Trier. (en alemán)
  12. Silvio Micali en la biblioteca digital de la ACM. (en inglés)
  13. Silvio Micali en el Mathematics Genealogy Project.
  14. Blum, M.; Feldman, P.; Micali, S. (1988). «Non-interactive zero-knowledge and its applications». Proceedings of the twentieth annual ACM symposium on Theory of computing - STOC '88 (en inglés). p. 103. ISBN 0897912640. doi:10.1145/62212.62222. 
  15. Savage, N. (2013). «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 (en inglés) 56 (6): 22. doi:10.1145/2461256.2461265. 
  16. ACM (ed.). «Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography». Archivado desde el original el 16 de marzo de 2013. Consultado el 13 de marzo de 2013. 

Enlaces externos[editar]