Silvio Micali
| ||||||||||
Silvio Micali. Científico italiano de la Ciencia de la Computación e Inteligencia Artificial de laboratorio y profesor de ciencias de la computación en el MIT del Departamento de Ingeniería Eléctrica y Ciencias de la Computación desde 1983. Su investigación se centra en la teoría de la criptografía y seguridad de la información. Su pensamiento no convencional ha cambiado fundamentalmente la comprensión de conceptos básicos, como el azar, los secretos, la prueba, el conocimiento, la colusión y la privacidad, que se han contemplado y debatido durante miles de años. Esta obra fundacional fue un componente clave en el desarrollo de la industria de la seguridad informática, facilitado por sus patentes y empresas de nueva creación. Su trabajo también ha tenido un gran impacto en otras áreas de investigación en informática y matemáticas.
Educación
Micali se graduó en matemáticas en la Universidad La Sapienza de Roma en 1978 y obtuvo su doctorado en ciencias de la computación de la Universidad de California, Berkeley en 1982; su asesor de tesis doctoral fue Manuel Blue.
Investigación
Micali es mejor conocido por algunos de sus primeros trabajos fundamentales sobre sistemas criptográficos de clave pública, funciones pseudoaleatorias , firmas digitales , transferencia inconsciente , computación multipartidista segura , y es uno de los co-inventores de pruebas de conocimiento cero.
Criptografía
El trabajo de Micali con Goldwasser (su co-ganador del Premio Turing y colaborador desde hace mucho tiempo) ayudó a que la criptografía sea una ciencia exacta. Las estructuras matemáticas que ellos crearon, incluyendo nociones formales de privacidad, adversarios, pseudoaleatoriedad , pruebas interactivas , pruebas de conocimiento cero , y muchos otros conceptos básicos que son a menudo muy sutil para formular, establecieron la criptografía sobre bases rigurosas de los más altos estándares y se abrieron nuevas áreas de investigación dentro de la informática.
Su revolucionario primer artículo, escrito cuando eran estudiantes de postgrado, es "Probabilistic Encryption", uno de los periódicos más influyentes en la historia de la informática. Así mismo, fijó las bases sobre las que miles de investigadores basan su trabajo.
La primera pregunta formulada y respondida en este artículo es "¿Cuál es el secreto?" Esta pregunta muy básica nunca se había abordado formalmente, a pesar de siglos de investigación en criptografía y un antiguo interés natural del ser humano en la idea. Establecen estándares muy altos: un adversario no debe ser capaz de obtener información, incluso parcial, de un secreto. En este artículo se definen cifrado probabilístico , la seguridad semántica , y también indistinguibilidad computacional , la noción de que los objetos que tienen el mismo aspecto que los algoritmos eficientes son los mismos. El uso de estos conceptos que son capaces de dar sentido formal de Diffie y Hellman las ideas de la criptografía computacional. Combinan todas estas para dar un esquema de cifrado de clave pública que es seguro por su calidad: prueban que cualquier fuga se traducirá en un algoritmo eficiente para factorizar enteros. Tales definiciones y pruebas formales no están en los papeles seminales anteriores como Diffie y Hellman y RSA de RL Rivest , A. Shamir y L. Adleman . Micali y el primer artículo de Goldwasser allanaron el camino para ellos y muchos otros para avanzar en el campo rico e importante de la criptografía, que fue fundamental para el desarrollo de aplicaciones comerciales de Internet.
Premios
Micali ganó el Premio Gödel en 1993. En 2007, fue seleccionado para ser un miembro de la Academia Nacional de Ciencias y miembro de la CAII . Él es también un miembro de la Academia Nacional de Ingeniería y la Academia Americana de las Artes y las Ciencias . Recibió el Premio Turing para el año 2012, junto con Shafi Goldwasser por su trabajo en el campo de la criptografía.
