Cryspen
@CryspenHQ
Followers
161
Following
12
Media
2
Statuses
33
High Assurance Crypto Solutions https://t.co/tEeDJyaOXw
Paris, France
Joined October 2021
RT @xmtp_: 👋 Builders! Join us for the next XMTP Developer Call:. MLS THIS WAY: A Deep Dive into XMTP’s Implementation of #MessagingLayerSe….
0
1
0
We worked with @xmtp_ to bring MLS to XMTP Groups 🎉.
Since day 1, devs have asked us for 1 thing: . Secure + private group chat. Today, we are stoked to announce the production launch of XMTP groups, leveraging MLS to bring the most secure, privacy preserving, soon-to-be decentralized group chat to devs. Scroll down to:.đź”–Learn
1
1
6
RT @signalapp: Our quantum-resistant protocol upgrade, PQXDH, is now “the first machine-checked post-quantum security proof of a real-world….
cryspen.com
A comprehensive, machine-checked, post-quantum security proof of the Signal PQXDH protocol.
0
458
0
In a joint effort with Charlie Jacomme @Inria and Rolfe Schmidt @signalapp , 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!.
0
5
10
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
An introduction to Messaging Layer Security
0
1
3
RT @sovtechfund: We’ve been following the standards work on MLS with interest, since it's a modern protocol that enables more comprehensive….
0
3
0
RT @_protz_: Not sure if Twitter is still a thing, but hey, I blogged about verifying MLS, the new secure group messaging standard https://….
jonathan.protzenko.fr
Long gone are the days of my youth where AOL Messenger and IRC ruled online communication spaces… in this day and age, people use WhatsApp, Signal, Facebook Messenger, or even Instagram Messages (or...
0
6
0
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. #cryptography #formalverification #tools #conference.
cryspen.com
At Real World Crypto 2023 in Tokyo, we gave a talk on the hacspec language, the hax tool, and the libcrux crypto library.
0
2
1
RT @twallez: I am starting a blog post series on MLS!. In the first post, I answer the question: "What is MLS?".Following posts will then d….
0
9
0
🌟 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
Jobs at Cryspen. Browse all our open positions and become part of our growing team! We are currently looking for additions to our company. Apply today!
0
1
0
We will talk about hacspec: a gateway to high-assurance cryptography @RealWorldCrypto in Tokyo end of March. #RealWorldCrypto.
rwc.iacr.org
Real World Crypto 2023
0
3
9
RT @CryspenHQ: We are #hiring a #Cryptography Researcher and Engineer to help us build and prove high-assurance cryptographic software.
0
4
0
We are #hiring a #Cryptography Researcher and Engineer to help us build and prove high-assurance cryptographic software.
We are hiring!. We are looking for a Cryptography Engineer and a Software Verification Engineer to build high assurance cryptography (tools, protocols, and applications).
0
4
4
We are hiring!. We are looking for a Cryptography Engineer and a Software Verification Engineer to build high assurance cryptography (tools, protocols, and applications).
0
4
4
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 and get the release here.
github.com
This is Cryspen's first release of HACL Packages! 🎉 HACL Packages provides modern cryptographic algorithms based on almost a decade of (research) work in formally verified cryptography. This re...
0
5
14