Skip to content
@cryspen

Cryspen

High Assurance Software & Tools
README.md

Cryspen

Our mission is to provide services and software for high assurance cryptography in order to establish trust into your critical systems.

Software & Tools

  • libcrux - the formally verified crypto library
  • OpenMLS (Github) - a Rust implementation of MLS
  • hax - a framework to write formally verifiable Rust (specifications and code)

Pinned Loading

  1. hacl-packages hacl-packages Public

    The Cryspen HACL Distribution

    C 15 18

  2. hpke-spec hpke-spec Public

    Annotated HPKE specification in hacspec

    Rust 3 3

  3. bertie bertie Public

    Bertie TLS 1.3 Implementation

    F* 112 3

Repositories

Showing 10 of 29 repositories
View all repositories