Silvio Micali
Silvio Micali (Palermo, 13 de octubre de 1954) es un informático italiano 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]
| Silvio Micali | ||
|---|---|---|
 | ||
| Información personal | ||
| Nacimiento |
13 de octubre de 1954 (70 años) Palermo (Italia) | |
| Nacionalidad | Estadounidense | |
| Educación | ||
| Educado en | ||
| Supervisor doctoral | Manuel Blum | |
| Información profesional | ||
| Ocupación | Criptógrafo, matemático, informático teórico y profesor universitario | |
| Área | Ciencias de la computación | |
| Empleador | Instituto Tecnológico de Massachusetts | |
| Estudiantes doctorales | Mihir Bellare | |
| Afiliaciones | Algorand | |
| Miembro de | ||
| Sitio web | people.csail.mit.edu/silvio | |
| Distinciones |
| |
Biografía
editarMicali 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
editarMicali 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] En 2017 fue galardonado con el Premio Fundación BBVA Fronteras del Conocimiento, en la categoría de Tecnologías de la Información y la Comunicación.
Referencias
editar- ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ Publicacions de Silvio Micali en el servidor DBLP de la Universidad de Trier. (en alemán)
- ↑ Silvio Micali en la biblioteca digital de la ACM. (en inglés)
- ↑ Silvio Micali en el Mathematics Genealogy Project.
- ↑ 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). pp. 103. ISBN 0897912640. doi:10.1145/62212.62222.
- ↑ 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.
- ↑ 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
Wikimedia Commons alberga una categoría multimedia sobre Silvio Micali.
| Predecesor: Judea Pearl |
Premio Turing 2012 |
Sucesor: Leslie Lamport |
Datos: Q93080- Multimedia: Silvio Micali / Q93080
