Karthikeyan Bhargavan
Mehr Infos
- Tätig bei
- Inria Paris
- Bekannt für
- miTLS, HACL*, FREAK, Logjam, SLOTH
Forscher, der kryptografische Protokolle als korrekt beweist und dabei die Stellen findet, an denen sie es nicht sind.
Bhargavans Gruppe am Inria in Paris baute miTLS, eine TLS-Implementierung mit maschinengeprüften Sicherheitsbeweisen. Das Protokoll zu formalisieren erwies sich als hervorragende Methode, Fehler bei allen anderen zu finden. 2014 kam Triple Handshake, 2015 FREAK, bei dem Clients dazu gebracht werden konnten, aus den Crypto Wars übrig gebliebene Export-RSA-Schlüssel zu akzeptieren, und im selben Jahr Logjam gegen schwache Diffie-Hellman-Gruppen. 2016 zeigte SLOTH, dass sich MD5 in Handshakes immer noch ausnutzen ließ.
Die Arbeit floss direkt in das Design von TLS 1.3 ein. Die formal verifizierte Krypto-Bibliothek HACL* der Gruppe steckt in Firefox und im Linux-Kernel, und Bhargavan gründete Cryspen mit.