Karthikeyan Bhargavan
Pesquisador que prova a correção de protocolos criptográficos e, de quebra, encontra os lugares onde eles não estão corretos.
O grupo de Bhargavan no Inria, em Paris, construiu o miTLS, uma implementação de TLS com provas de segurança verificadas por máquina. Formalizar o protocolo se mostrou uma ótima maneira de achar bugs nas implementações dos outros. O Triple Handshake veio em 2014; o FREAK, em 2015, em que clientes podiam ser enganados a aceitar chaves RSA de grau de exportação, resquício das crypto wars; e o Logjam, no mesmo ano, contra grupos Diffie-Hellman fracos. Em 2016, o SLOTH mostrou que o MD5 ainda era explorável em handshakes.
O trabalho influenciou diretamente o projeto do TLS 1.3. A biblioteca criptográfica formalmente verificada do grupo, a HACL*, é distribuída no Firefox e no kernel do Linux, e Bhargavan cofundou a Cryspen.