images/blog-logo.png
  • Home
  • Projects
  • Blog
  • About Us
  • Contact
images/posts/circus-cyber-campus.png
Announcing Campus Cyber Circus Project

Cryspen partners with Inria to build a new integrated development and verification environment

๐ŸŽ‰ Weโ€™re excited to announce that Cryspen partnered with Inria on a transfer project to build a new integrated development and verification environment (IDVE).

images/posts/pexels-egor-kamelev-751689.jpeg
Specifying Oblivious Pseudonymization

In this blog post we announce an executable specification in the hacspec specification language for the ScrambleDB pseudonymization system, developed by Cryspen as part of the BMBF ATLAS project.

images/posts/usenix-award.jpeg
Internet Defense Prize 2023

Cryspen co-founders win Usenix Security prizes

At the 32nd Usenix Security Symposium in Anaheim CA, a paper on the Messaging Layer Security Protocol, co-authored by our founders Jonathan Protzenko and Karthikeyan Bhargavan, was awarded both the Distinguished Paper Award and the prestigious Internet Defense Prize.

images/ai-pic.jpeg
Prairie and Atlas

Privacy-Preserving Data Analysis at Cryspen

With the widespread adoption and deployment of machine learning across enterprises, ever-increasing amounts of data are being collected, stored, communicated, combined, and computed over by sophisticated algorithms.

images/posts/mls-logo.png
Three (thousand) may keep a secret

An introduction to Messaging Layer Security

โ€œThree may keep a secret, if two of them are dead.โ€ - Benjamin Franklin (1735) However skeptical we may be of our human ability to keep secrets, we still routinely participate in group conversations that we would like to keep away from prying eyes.

images/posts/cybertree.jpeg
MLS - RFC 9420

A new standard for secure messaging

โœจ We are thrilled to announce the release of the MLS specification as RFC 9420. RFC 9420 is a comprehensive description of the first standardised, efficient, asynchronous, key establishment protocol with forward secrecy and post-compromise security for groups in size ranging from two to thousands.

images/jonas.jpg
Welcome Jonas

๐Ÿ“ข Exciting News! ๐Ÿš€ We are thrilled to welcome Dr. Jonas Schneider-Bensch, to the Cryspen family as our newest R&D Cryptography Engineer!

images/posts/rwc-karthik-franziskus.jpeg
Cryspen @ RWC 2023

At Real World Crypto 2023 in Tokyo, we gave a talk on the hacspec language, the hax tool, and the libcrux crypto library.

images/posts/hacl-0_6.jpeg
HACL Packages v0.6

Today, we announce the first release of the HACL Packages libraries. ๐ŸŽ‰ This release of HACL packages includes the first release of the HACL C library and a new release of the hacl-star OCaml bindings.

  • ««
  • «
  • 1
  • 2
  • »
  • »»

Cryspen

High Assurance Cryptography

About us
  • How we work
  • About Us
  • Jobs
Location
  • 149 Avenue du Maine, 75014 Paris, France

  • Weserstr. 44, 10247 Berlin, Germany

Contact us

info@cryspen.com

ยฉ 2021 - 2023 Cryspen - All Rights Reserved.