معرفی
Karthikeyan Bhargavan is a Research Director at Inria specializing in securing data exchanges on the Internet. He leads the Prosecco project team focused on cryptographic security mechanisms including protocols, smart cards, and encrypted databases.
His research centers on developing formal methods for cryptographic security, notably creating the F* programming language to verify TLS protocols. His team's work uncovered critical vulnerabilities later confirmed by the 'Triple Handshake,' 'Freak,' and 'Logjam' attacks on TLS in 2014-2015. Current research under the ERC Consolidator Grant 'Circus' aims to design secure end-to-end cryptographic processes including browser security cores.
Bhargavan's work bridges theoretical computer science with practical internet security applications, demonstrating how academic research can solve real-world problems in cryptographic systems.
- ERC Starting Grant (2010) - 'Crysp' (Collaborative cryptographic security proofs for programs)
- ERC Consolidator Grant (2015) - 'Circus' (Certified implementations of robust, cryptographically secure Web applications)
- Award at Real World Cryptography Conference (Stanford, January 2016)
He teaches at École Polytechnique and as part of the Paris Master of Research in Computer Science (MPRI), mentoring the next generation of computer security researchers while leading a team that rivals top American university research groups in cryptographic security.
