Karthikeyan Bhargavan
Daha fazla bilgi
- Bağlı olduğu kurum
- Inria Paris
- Tanınma nedeni
- miTLS, HACL*, FREAK, Logjam, SLOTH
Kriptografik protokollerin doğruluğunu kanıtlayan ve bu sırada doğru olmadıkları yerleri de bulan araştırmacı.
Bhargavan’ın Paris’teki Inria grubu, güvenliği makine tarafından doğrulanmış kanıtlarla desteklenen bir TLS gerçekleştirimi olan miTLS’yi geliştirdi. Protokolü biçimsel olarak tanımlamak, başkalarının hatalarını bulmanın çok iyi bir yolu çıktı. 2014’te Triple Handshake geldi; 2015’te FREAK ile istemciler, kripto savaşlarından kalma ihracat sınıfı RSA anahtarlarını kabul etmeye kandırılabildi; aynı yıl Logjam zayıf Diffie-Hellman gruplarını hedef aldı. 2016’da SLOTH, MD5’in el sıkışmalarda hâlâ istismar edilebildiğini gösterdi.
Bu çalışmalar doğrudan TLS 1.3’ün tasarımına girdi. Grubun biçimsel olarak doğrulanmış kripto kütüphanesi HACL* Firefox’ta ve Linux çekirdeğinde yer alıyor; Bhargavan ayrıca Cryspen’in kurucu ortağıdır.