Today we welcome Damian Poddebniak as Cryptography Engineer at Cryspen! 🎉

We're joining raphaelrobert and Phnx to develop and maintain OpenMLS. More details here: blog.cryspen.com/blog/hello-ope…

Today we publish the first release of HACL Packages. A usable, formally verified, efficient C library on top of hacl-star. Read more in the announcement blog post blog.cryspen.com/blog/hacl-0_6/ and get the release here github.com/cryspen/hacl-p…

We are hiring! We are looking for a Cryptography Engineer and a Software Verification Engineer to build high assurance cryptography (tools, protocols, and applications). join.com/companies/crys…

#Job R&D Cryptography Engineer: Cryspen iacr.org/jobs/item/3254

#Job Software Verification Engineer: Cryspen iacr.org/jobs/item/3255

We are #hiring a #Cryptography Researcher and Engineer to help us build and prove high-assurance cryptographic software.

We will talk about hacspec: a gateway to high-assurance cryptography Real World Crypto in Tokyo end of March. #RealWorldCrypto rwc.iacr.org/2023/program.p…

🌟 Exciting Opportunity Alert! 🌟 📢 We're thrilled to announce that our team is expanding and we are on the lookout for a Software Engineer to join us on our mission. 🚀 📍 Location: Remote in Germany or France join.com/companies/crys…

I am starting a blog post series on MLS! In the first post, I answer the question: "What is MLS?" Following posts will then describe how MLS is designed, and why it is designed that way. twal.org/blog/0001_what…

End of March Cryspen has been at the Real World Crypto Symposium to give a talk on the hacspec language, the hax tool, and the libcrux crypto library. Read more about it on our blog. cryspen.com/post/rwc-2023/ #cryptography #formalverification #tools #conference

Not sure if Twitter is still a thing, but hey, I blogged about verifying MLS, the new secure group messaging standard jonathan.protzenko.fr/2023/06/09/mls…

MLS got published as RFC 9420 🎉 cryspen.com/post/mls-rfc-a…

We’ve been following the standards work on MLS with interest, since it's a modern protocol that enables more comprehensive protection of communications, making end-to-end encrypted messaging for groups more efficient and secure. The Sovereign Tech Fund has supported OpenMLS 🧵1/3

We are kicking off our blog post series on MLS. In this first post we unpack the key goals and design constraints of MLS and break it down into its essential sub-protocols, to provide the interested reader an entry point to the standard cryspen.com/post/mls-intro…

In a joint effort with Charlie Jacomme Inria and Rolfe Schmidt Signal , we did a formal analysis of the PQXDH protocol. TL;DR: We found a few issues which are now fixed in version 2 and we have a security proof! cryspen.com/post/pqxdh/

Our quantum-resistant protocol upgrade, PQXDH, is now “the first machine-checked post-quantum security proof of a real-world cryptographic protocol.” Thanks to the researchers who did this important formal verification! Read more from them here👇 cryspen.com/post/pqxdh

We worked with XMTP to bring MLS to XMTP Groups 🎉

👋 Builders! Join us for the next XMTP Developer Call: MLS THIS WAY: A Deep Dive into XMTP’s Implementation of #MessagingLayerSecurity - On MLS: Cryspen CEO Franziskus Kiefer - On XMTP and MLS: XMTP core developer Richard Hua When: Tue, Jul 2 at 10 am P / 1 pm E Where: