With an unwavering commitment to high-performance high-assurance software engineering, our founders have a demonstrated track record of solving the most challenging problems. With a combined experience of over 40 years in the cryptography and formal methods space, the three co-founders are uniquely equipped to solve cryptographic challenges; starting from the design and analysis phase all the way to the production system.

Our Founders

Karthikeyan Bhargavan

Karthik has 20 years of experience in formal verification, protocol analysis, and applied cryptography. He leads the Programming Securely with Cryptography group at INRIA Paris and focuses on the design and implementation of new program verification techniques that would enable formal analyses of real-world security applications.

Franziskus Kiefer

Franziskus has 10 years of experience in analyzing and proving cryptographic protocols academically as well as implementing and maintaining cryptography software for Mozilla and others.

Jonathan Protzenko

Jonathan has 10 years of experience designing languages, verification software and toolchains for formal methods. Whether it’s a verified cryptographic library or a secure protocol implementation, the projects he drives bridge the gap between academia and usable, real world software.