We’re proud to announce the hax playground! Inspired by the Rust Playground, the hax playground allows you to play with hax directly in your web browser! This provides a first glimpse at Cryspen’s upcoming verification workbench! hax-playground.cryspen.comcryspen.com/post/announc...
Our Rust verification framework now has a web playground!
This month in hax #2 hacspec.org/blog/posts/t...
We’re thrilled to announce that Maxime Buyse has joined Cryspen as a Formal Verification Engineer! Maxime is a whiz when it comes to formal methods, software verification, and compilers. His expertise will be instrumental in supercharging our tools. cryspen.com/post/welcome...
Maxime joins the Cryspen family.
Last week, at the National CyberSecurity Center of Excellence in Maryland, NIST hosted a workshop on Formal Methods within Certification Programs. cryspen.com/post/fmcp/
We gave a talk at the NIST workshop on Formal Methods within Certification Programs.
We are excited to collaborate with SandboxAQ on formally verified software. This collaboration marks a significant step towards making our hax toolchain accessible to a wider audience, transforming it into a tool for software architects, engineers, and crypto experts. cryspen.com/post/hax-san...
Cryspen partners with SandboxAQ to accelerate hax adoption
I'm excited to announce that our very own Karthik will be presenting and participating in a panel discussion at the upcoming NIST Workshop on Formal Methods within Certification Programs next week at the National Cybersecurity Center of Excellence. www.nist.gov/news-events/...
Our first "This month in hax" post is out for June 2024 🎉 hacspec.org/blog/posts/t...
There may be some relation to Bertinoro and the SKECH workshop 😄
We’re excited to announce that Bertie, our minimal, verification-friendly implementation of TLS 1.3, supports post-quantum key agreement using x25519-kyber768 now and is fully interoperable with other implementations currently deployed by Google and others! cryspen.com/post/pq-bert...
Annonuncing the arrival of post-quantum TLS handshakes in Bertie.
We worked with XMTP to bring MLS to their private group chat. 🎉 Read more details in their announcement: community.xmtp.org/t/xmtp-now-w...
We’re thrilled to announce that XMTP now supports group chat! This highly requested feature has been a while in the making, and we’re excited to finally bring it to you. The team has worked tirelessly...