Shai Halevi ( hebreo : שי הלוי ; nacido en 1966) es un científico informático que trabaja en la investigación de la criptografía en la Fundación Algorand, una startup de blockchain fundada por Silvio Micali .
Shai Halevi | |
---|---|
Nació | 1966 |
alma mater | |
Conocido por | |
Carrera científica | |
Campos | Ciencias de la computación , criptografía |
Instituciones | Centro de investigación IBM TJ Watson , Fundación Algorand |
Tesis | Teoría y práctica del compromiso secreto (1997) |
Asesor de doctorado | Silvio Micali [1] |
Sitio web | alum |
Nacido en Israel en 1966, Halevi recibió un BA y M.Sc. en Ciencias de la Computación del Technion , Instituto de Tecnología de Israel en 1991 y 1993. Recibió su Ph.D. en Ciencias de la Computación del MIT en 1997, y luego se unió a IBM 's Thomas J. Watson Research Center , donde fue miembro principal del personal de investigación hasta 2019. Desde 2019, ha sido un investigador de la Fundación Algorand.
Investigar
Los intereses de investigación de Shai Halevi son la criptografía y la seguridad. Ha publicado numerosos artículos originales de investigación técnica, [2] [3] tres de los cuales fueron galardonados con el premio IBM Pat Goldberg memorial al mejor artículo [4] (en 2004, 2012 y 2013). Las contribuciones notables de Shai Halevi incluyen:
- Ofuscación. Halevi es un co-inventor del primer candidato a esquemas de ofuscación de indistinguibilidad de propósito general , con seguridad basada en una conjetura matemática. [5] Este desarrollo generó mucho interés en la comunidad de la criptografía y fue llamado "un momento decisivo para la criptografía". [6]
- Mapas criptográficos multilineales. Halevi es co-inventor de mapas criptográficos multilineales (que constituyen la principal herramienta técnica detrás de la ofuscación criptográfica y muchas otras aplicaciones), resolviendo un problema abierto de larga data [7] [8]
- Cifrado homomórfico. Halevi es uno de los principales investigadores en cifrado homomórfico . Es autor de muchos artículos, [9] [10] [11] [12] [13] [14] dio conferencias y tutoriales invitados sobre el tema, [15] [16] [17] y también es el desarrollador principal (juntos with Victor Shoup ) de la biblioteca de software de cifrado homormófico HElib. [18] [19] [20]
- El modelo aleatorio de Oracle. Halevi fue coautor del influyente trabajo que señaló por primera vez la existencia de criptosistemas "estructuralmente defectuosos" que, sin embargo, tienen una prueba de seguridad en el modelo de oráculo aleatorio . [21]
Desde 2013, Halevi es el presidente del comité directivo de la Conferencia de Teoría de la Criptografía . Formó parte de la junta directiva de la Asociación Internacional para la Investigación Criptológica . [22] Presidió la conferencia CRYPTO en 2009 y copresidió la conferencia TCC en 2006. Halevi también dio muchas charlas invitadas, incluso en el Simposio de Seguridad USENIX en 2008 y la conferencia PKC en 2014.
Software
Halevi mantiene dos proyectos de software de código abierto: la biblioteca de cifrado homomórfico HElib, [23] y un sistema web para el envío / revisión de artículos a conferencias académicas [24]
Referencias
- ^ Shai Halevi en el Proyecto de genealogía matemática
- ^ "Publicaciones de Shai Halevi en DBLP" .
- ^ "Perfil académico de Google de Shai Halevi" .
- ^ "Mejores artículos de Pat Goldberg Memorial en CS, EE y matemáticas" .
- ^ Sanjam Garg; Craig Gentry; Shai Halevi; Mariana Raykova; Amit Sahai; Aguas de Brent (2013). "Ofuscación de indistinguibilidad de candidatos y cifrado funcional para todos los circuitos". FOCS 2013 . IEEE: 40–49. CiteSeerX 10.1.1.672.1968 . doi : 10.1109 / FOCS.2013.13 .
- ^ Klarreich, Erica (3 de febrero de 2014). "El avance de la criptografía podría hacer que el software sea imposible de piratear" . Revista Quanta .
- ^ Sanjam Garg, Craig Gentry y Shai Halevi. Candidatos mapas multilineales de Ideal Lattices . En EUROCRYPT 2013 (Springer)
- ^ "¿Qué son los mapas criptográficos multilineales?" . 2014-05-13.
- ^ M. van Dijk, C. Gentry, S. Halevi y V. Vaikuntanathan. Cifrado totalmente homomórfico sobre los enteros . En EUROCRYPT 2010 (Springer)
- ^ C. Gentry y S. Halevi. Implementación del esquema de cifrado totalmente homomórfico de Gentry . En EUROCRYPT 2011 (Springer)
- ^ C. Gentry y S. Halevi. Cifrado totalmente homomórfico sin aplastamiento mediante circuitos aritméticos de profundidad 3 . En FOCS 2011 (IEEE)
- ^ C. Gentry, S. Halevi y NP Smart. Cifrado totalmente homomórfico con Polylog Overhead . En EUROCRYPT 2012 (Springer)
- ^ C. Gentry, S. Halevi y NP Smart. Mejor Bootstrapping en cifrado totalmente homomórfico . En PKC 2012 (Springer)
- ^ C. Gentry, S. Halevi y NP Smart. Evaluación Homomórfica del Circuito AES . En CRYPTO 2012 (Springer)
- ^ Cifrado totalmente homomórfico . Tutorial en la Escuela de Invierno sobre Computación Segura y Eficiencia, Universidad de Bar-Ilan, 2011.
- ^ Cifrado totalmente homomórfico . Tutorial en CRYPTO 2011, UC Santa-Barbara
- ^ Cifrado totalmente homomórfico . Conferencia invitada en el Workshop de la UCI sobre celosías con simetría
- ^ Shai Halevi; Victor Shoup. "HElib: una implementación de cifrado homomórfico" . Consultado el 31 de diciembre de 2014 .
- ^ S. Halevi y V. Shoup. Algoritmos en HElib . En CRYPTO 2014
- ^ S. Halevi y V. Shoup. Bootstrapping para HElib . En Cryptology ePrint Archive
- ^ Canetti, Ran; Goldreich, Oded; Halevi, Shai (julio de 2004). "La metodología de Oracle al azar, revisada" . J ACM . ACM. 51 (4): 557–594.
- ^ "Junta Directiva de la IACR (2013)" . Asociación Internacional para la Investigación Criptológica . Archivado desde el original el 15 de junio de 2013 . Consultado el 7 de enero de 2015 .
- ^ "HElib: biblioteca de software de cifrado homomórfico" .
- ^ "websubrev: envío web y revisión de software" .
enlaces externos
- Página de inicio de Shai Halevi
- El Grupo de Investigación en Criptografía en el Centro de Investigación IBM TJWatson