MTG and Cryspen release JZLint 2.0: A tool for analyzing post-quantum certificates| cryspen.com
Maintaining peak software performance is a critical aspect of our development process, and early regression detection is non-negotiable. At Cryspen, we’ve addressed this by implementing an automated, multi-platform benchmarking system. This post will detail the enhancements we’ve made to our workflows, allowing us to preemptively identify performance issues. Besides focusing on algorithm benchmarks, we utilize a tracing strategy for our protocol code. This method allows us to measure perf...| cryspen.com
A Warm Welcome to Clement, Our Newest Cryspen Crew Member!| cryspen.com
Group state forks are faulty states that MLS groups can end up in. This article looks at what they are exactly, how that happens and how to resolve them. We also look at a new OpenMLS feature that makes fork resolutions a little easier.| Cryspen
Real World Crypto 2025 buzzed with energy as the cutting edge of cryptography was presented to and discussed among an audience of leading researchers and developers from academia and industry. Today, on the second day of the conference, Cryspen teamed up with Google to showcase practical, scalable, verified solutions for high-assurance software and post-quantum cryptography.| Cryspen
A difficulty of formal verification is that specifying programs can be hard. Certain kinds of programs can end up having a specification that is as complex as the code itself. In this case it is better to focus on more interesting and understandable properties rather than an equivalence proof with a specification.| cryspen.com
A Warm Welcome to Clara, Our Newest Cryspen Crew Member!| cryspen.com
Annonuncing availability of post-quantum TLS handshakes in the Bertie server component.| cryspen.com
Karthik gave an invited talk on High Assurance Post-Quantum Cryptography at VSTTE 2024.| cryspen.com
Karthik gave an invited talk on Formal Methods for Cryptography at Crypto 2024.| cryspen.com
Cryspen provides high assurance, high performance open source implementations of post-quantum cryptography.| cryspen.com