Karthikeyan Bhargavan
Mer info
- Verksam vid
- Inria Paris
- Känd för
- miTLS, HACL*, FREAK, Logjam, SLOTH
Forskare som bevisar kryptoprotokoll korrekta och på vägen hittar de ställen där de inte är det.
Bhargavans grupp på Inria i Paris byggde miTLS, en implementation av TLS med maskinkontrollerade säkerhetsbevis. Att formalisera protokollet visade sig vara ett effektivt sätt att hitta fel i alla andra implementationer. 2014 kom Triple Handshake, 2015 FREAK, där klienter kunde luras att acceptera exportsvaga RSA-nycklar som var kvarlevor från kryptokrigen, och samma år Logjam mot svaga Diffie-Hellman-grupper. 2016 visade SLOTH att MD5 fortfarande gick att utnyttja i handskakningar.
Arbetet påverkade direkt designen av TLS 1.3. Gruppens formellt verifierade kryptobibliotek HACL* används i Firefox och Linuxkärnan, och Bhargavan var med och grundade Cryspen.