Karthikeyan Bhargavan
Más información
- Afiliación
- Inria París
- Conocido por
- miTLS, HACL*, FREAK, Logjam, SLOTH
Investigador que demuestra la corrección de protocolos criptográficos y, de paso, encuentra dónde no son correctos.
El grupo de Bhargavan en Inria, en París, construyó miTLS, una implementación de TLS con pruebas de seguridad verificadas por máquina. Formalizar el protocolo resultó ser una manera excelente de encontrar fallos en las implementaciones de todos los demás. En 2014 llegó Triple Handshake; en 2015 FREAK, que engañaba a los clientes para aceptar claves RSA de grado exportación heredadas de las guerras criptográficas, y ese mismo año Logjam, contra grupos Diffie-Hellman débiles. En 2016 SLOTH mostró que MD5 seguía siendo explotable en los handshakes.
El trabajo influyó directamente en el diseño de TLS 1.3. La biblioteca criptográfica formalmente verificada del grupo, HACL*, se usa en Firefox y en el kernel de Linux, y Bhargavan cofundó Cryspen.