At VSTTE 2024 in Prague, Karthik spoke about how formal verification can be used to speed up the development and clarify the security of real-world cryptography from design to implementation. Slides are up! Check them out. cryspen.com/post/vstte20...
Karthik gave an invited talk on High Assurance Post-Quantum Cryptography at VSTTE 2024.
Our Chief Researcher, Karthik, is giving an invited talk today at VSTT in Prague! He will delve into the fascinating world of modern cryptography and software verification and discuss how formal verification is being used to improve the security of real-world systems.
Updates from Cryspen's Open Source Projects! Check out our latest updates: - Dive into the latest developments from the past month on hax. buff.ly/3XS4ifIbuff.ly/4gJVxgp
When implementing cryptographic protocols, ensuring input validation is paramount. Neglecting this can lead to severe vulnerabilities. In a recent blog post, Jan delved into how we address input validation in OpenMLS, an open-source Rust implementation of the MLS protocol.
Our Chief Researcher Karthik Bhargavan has been invited to present at the 6-th Future-IoT School this week. His talk is titled "Formal Guarantees for Secure IoT Systems" and will dive into how formal methods can help building secure IoT systems.
IoT meets Secure Supply Chain, 30.9.-4.10.2024 in Paris, France
Real World Crypto (RWC) 2025 is now open for submissions! 🌍 As part of the program committee, we're excited to see the latest groundbreaking research and practical applications in applied cryptography.
Real World Crypto Symposium
We are happy to announce the release of OpenMLS v0.6, a significant update to our open-source MLS implementation. This version includes several new features and improvements. Read all details on the blog: https://buff.ly/47aL5dz#MLS#opensource#cryptography
Our Chief Researcher, Karthikeyan Bhargavan, delivered a captivating talk at Crypto 2024. His presentation, titled "Integrating Formal Verification in Cryptographic Standards and Implementations", is now available on YouTube. www.youtube.com/watch?v=PIma...#crypto#formalverification
Our Chief Research Scientist, Karthikeyan Bhargavan, was invited to speak at Crypto, the world's leading cryptography conference. He shared insights on using formal methods to enhance the security of protocols like PQXDH, TLS, and MLS. cryspen.com/post/crypto2...#cryptography#formalmethods
Karthik gave an invited talk on Formal Methods for Cryptography at Crypto 2024.
Thrilled to share that we've teamed up with Google to create formally verified implementations of NIST's post-quantum algorithms. These open-source solutions will offer robust security guarantees, high performance, and are designed for widespread adoption. bughunters.google.com/blog/6038863...
In our latest post on PQC, we discuss how we are partnering with Cryspen to produce formally verified implementations of the NIST-selected post-quantum algorithms.