https://cryspen.com/tags/c/Recent content in C on CryspenHugoen-usThu, 27 Mar 2025 00:00:00 +0000https://cryspen.com/post/rwc-2025/Thu, 27 Mar 2025 00:00:00 +0000https://cryspen.com/post/rwc-2025/<p><a href="https://rwc.iacr.org/2025/">Real World Crypto 2025</a> 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.</p> <h4 id="verified-post-quantum-crypto-at-scale">Verified Post-Quantum Crypto at Scale</h4> <p>Our joint talk with Google described our collaboration on developing an efficient, SIMD-optimized implementation of the <a href="https://csrc.nist.gov/pubs/fips/203/final">ML-KEM standard</a> in Rust and C. This wasn&rsquo;t just about writing code; it was about proving its correctness through <a href="https://cryspen.com/post/fospqc/">rigorous formal verification</a>. 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.</p>