Karthikeyan Bhargavan
Więcej informacji
- Afiliacja
- Inria Paris
- Znany z
- miTLS, HACL*, FREAK, Logjam, SLOTH
Badacz, który dowodzi poprawności protokołów kryptograficznych i przy okazji znajduje miejsca, w których poprawne nie są.
Zespół Bhargavana w Inria w Paryżu zbudował miTLS — implementację TLS z maszynowo sprawdzonymi dowodami bezpieczeństwa. Formalizacja protokołu okazała się świetnym sposobem na znajdowanie błędów u wszystkich innych. Triple Handshake pojawił się w 2014 roku; FREAK w 2015, gdy klienty dawały się nakłonić do przyjęcia eksportowych kluczy RSA, pozostałości po wojnach o kryptografię; w tym samym roku Logjam, wymierzony w słabe grupy Diffie-Hellmana. W 2016 roku SLOTH pokazał, że MD5 wciąż da się wykorzystać w uzgadnianiu połączenia.
Te prace wpłynęły bezpośrednio na projekt TLS 1.3. Formalnie zweryfikowana biblioteka kryptograficzna HACL* z tego zespołu trafiła do Firefoksa i jądra Linuksa, a Bhargavan współzałożył firmę Cryspen.