Karthikeyan Bhargavan
Meer info
- Werkgever
- Inria Parijs
- Bekend van
- miTLS, HACL*, FREAK, Logjam, SLOTH
Onderzoeker die cryptografische protocollen correct bewijst en daarbij ontdekt waar ze dat niet zijn.
Bhargavans groep bij Inria in Parijs bouwde miTLS, een TLS-implementatie met machinaal gecontroleerde beveiligingsbewijzen. Het protocol formaliseren bleek een uitstekende manier om fouten in andermans software te vinden. In 2014 volgde Triple Handshake; in 2015 FREAK, waarbij clients konden worden misleid om exportkwaliteit-RSA-sleutels te accepteren, een erfenis van de crypto wars; en datzelfde jaar Logjam, tegen zwakke Diffie-Hellman-groepen. In 2016 liet SLOTH zien dat MD5 in handshakes nog steeds te misbruiken was.
Het werk beïnvloedde rechtstreeks het ontwerp van TLS 1.3. De formeel geverifieerde cryptobibliotheek HACL* van de groep zit in Firefox en de Linux-kernel, en Bhargavan is medeoprichter van Cryspen.