Karthik Bhargavan
Cryspen
Chief Research Scientist
Karthikeyan Bhargavan is a co-founder and chief researcher at Cryspen, a company that builds high-assurance software for security-critical domains. He is currently on leave from Inria, where he led a research team called Prosecco. Karthik’s research lies at the intersection of formal verification, applied cryptography, and protocol analysis. He has been involved in the design and analysis of prominent protocols like TLS 1.3, MLS, and Signal’s new Post-Quantum messaging protocols. At Inria and at Cryspen, he and his teams have built formal verification tools and used them to build high-assurance cryptographic libraries that is used in projects like Linux, WireGuard, Firefox, OpenSSH, mbedTLS, Python, and Signal.
Talks at this conference:
| Provably Secure Protocols and High-Assurance Software for the Post-Quantum Transition |