Today, we are announcing the launch of CE Labs, a Cryspen spin-off dedicated to Cryptographic Engineering, under the leadership of Franziskus Kiefer. Learn more about CE Labs here.

Going forward, Cryspen will be led by Karthik Bhargavan and will focus on building usable formal verification tools, helping users apply them on real-world software, and working towards a new product funded by an EIC Transition Grant called Spectrum.

Cryspen and CE Labs are continuing their close collaboration at the intersection of formal verification and cryptography. This partnership allows CE Labs to build high-assurance software using Cryspen’s tools, while Cryspen uses CE Labs’ production code to refine and optimize its verification suite.

Stay tuned for posts describing our joint results on cryptographic verification.