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.
Verified Post-Quantum Crypto at Scale
Our joint talk with Google described our collaboration on developing an efficient, SIMD-optimized implementation of the ML-KEM standard in Rust and C. This wasn’t just about writing code; it was about proving its correctness through rigorous formal verification. We demonstrated how verified cryptography can be implemented at scale, a critical advancement for securing our digital infrastructure. Our verified implementations are already powering security-critical software projects like OpenSSH, Firefox, and Signal.
High-Assurance Cryptography: Building Trust
In an era where data breaches are commonplace, the need for robust security is paramount. This is where high-assurance cryptography comes in. It’s not just about encrypting or authenticating data; it’s about doing so with the highest level of certainty. Our work at Cryspen focuses on building cryptographic solutions that are not only secure but also verifiably so, providing a foundation of trust in an increasingly digital world.
Post-Quantum Cryptography: Preparing for the Future
The looming threat of quantum computing casts a shadow over current cryptographic systems. That’s why post-quantum cryptography is no longer a futuristic concept, but a present-day necessity. At RWC 2025, we showcased our advancements in this field, highlighting how our solutions are designed to withstand the quantum challenge. By focusing on formally verified implementations, we’re not just creating secure systems; we’re building a future-proof security infrastructure.
Scaling Verified Solutions
Creating formally verified solutions is challenging; creating ones that scale is even more so. This is the challenge Cryspen and Google are tackling head-on. Our collaboration demonstrates that it’s possible to achieve both efficiency and assurance, providing solutions that can handle the demands of modern, large-scale applications. We are showing the industry that verified solutions are not just for niche applications, but can be used anywhere.
RWC 2025: Engagement and Impact
As a sponsor of RWC 2025, Cryspen was deeply engaged with the event and its attendees. The response to our joint talk with Google was overwhelmingly positive. Attendees were keen to understand how our verified solutions could be integrated into their own systems. The discussions were insightful, the connections valuable, and the feedback confirmed the industry’s hunger for scalable, high-assurance cryptography. We left the event energized and ready to push the boundaries even further.
Interested in learning more about how Cryspen’s high-assurance software and post-quantum cryptography solutions can secure your digital future? Contact us directly! Let’s build a safer, more secure digital world together.