Skip to content

@cryspen Cryspen

Change the repository type filter

All

    Repositories list

    48 repositories

    • libcrux-proofs

      Public
      The formally verified crypto library for Rust
      C
      •
      Apache License 2.0
      •48•0•0•1•Updated Apr 27, 2026Apr 27, 2026

    • libcrux

      Public
      The formally verified crypto library for Rust
      cryptographyencryptionsignatures
      cryptographyencryptionsignaturesformal-verification
      C
      •
      Apache License 2.0
      •48•222•50•14•Updated Apr 27, 2026Apr 27, 2026

    • rust-core-models

      Public
      Rust models for the Rust core library
      Lean
      •0•0•0•0•Updated Apr 27, 2026Apr 27, 2026

    • hax

      Public
      A Rust verification tool
      rustformal-verification
      rustformal-verification
      OCaml
      •
      Apache License 2.0
      •56•403•218•15•Updated Apr 27, 2026Apr 27, 2026

    • libcrux-iot

      Public
      An IoT friendly, formally verified, crypto library based on libcrux
      C
      •
      GNU Affero General Public License v3.0
      •3•6•24•4•Updated Apr 27, 2026Apr 27, 2026

    • hpke-rs

      Public
      Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)
      rustcryptographycrypto
      rustcryptographycryptoecdhhpke
      Rust
      •28•49•6•2•Updated Apr 27, 2026Apr 27, 2026

    • embedded-cal

      Public
      A Cryptographic Abstraction Layer (CAL) for embedded systems
      Rust
      •3•0•0•0•Updated Apr 23, 2026Apr 23, 2026

    • rosenpass

      Public
      Rosenpass is a post-quantum-secure VPN that uses WireGuard to transport the actual data.
      Rust
      •
      Apache License 2.0
      •120•0•0•4•Updated Apr 23, 2026Apr 23, 2026

    • verify-rust-std

      Public
      Verifying the Rust standard library
      Rust
      •
      Other
      •15k•0•0•2•Updated Apr 23, 2026Apr 23, 2026

    • rust-core-spec

      Public
      Rust
      •0•1•0•1•Updated Apr 23, 2026Apr 23, 2026

    • cryspen.github.io

      Public
      HTML
      •0•1•0•0•Updated Apr 22, 2026Apr 22, 2026

    • SparsePostQuantumRatchet

      Public
      Provides SPQR, a chunked post-quantum ratchet usable in parallel with DH ratchets for the libsignal protocol.
      F*
      •
      GNU Affero General Public License v3.0
      •16•1•0•3•Updated Apr 14, 2026Apr 14, 2026

    • bertie

      Public
      Bertie TLS 1.3 Implementation
      F*
      •
      Apache License 2.0
      •5•133•26•6•Updated Apr 13, 2026Apr 13, 2026

    • benchmark-upload-and-plot-action

      Public
      GitHub Action for continuous benchmarking to keep performance
      TypeScript
      •
      MIT License
      •0•0•2•2•Updated Apr 9, 2026Apr 9, 2026

    • benchmark-data-extract-transform

      Public
      GitHub Action for continuous benchmarking to keep performance
      TypeScript
      •
      MIT License
      •0•0•0•1•Updated Apr 2, 2026Apr 2, 2026

    • wycheproof

      Public
      Project Wycheproof tests crypto libraries against known attacks.
      Go
      •
      Apache License 2.0
      •324•0•0•1•Updated Mar 24, 2026Mar 24, 2026

    • advisory-db

      Public
      Security advisory database for Rust crates published through crates.io
      Other
      •459•1•0•0•Updated Mar 24, 2026Mar 24, 2026

    • duvet

      Public
      A requirements traceability tool
      Rust
      •
      Apache License 2.0
      •22•0•0•0•Updated Mar 20, 2026Mar 20, 2026

    • formats

      Public
      Cryptography-related format encoders/decoders: DER, PEM, PKCS, PKIX
      Rust
      •173•2•0•4•Updated Mar 9, 2026Mar 9, 2026

    • rustls-libcrux

      Public
      Crypto provider for Rustls backed by libcrux
      Rust
      •1•3•1•1•Updated Feb 5, 2026Feb 5, 2026

    • rust-gcd

      Public
      Small Rust library for calculating greatest common divisor
      Rust
      •
      Apache License 2.0
      •11•0•0•0•Updated Jan 13, 2026Jan 13, 2026

    • atlas

      Public
      BMBF ATLAS project
      Rust
      •
      Other
      •2•5•5•3•Updated Dec 16, 2025Dec 16, 2025

    • boringssl

      Public
      Mirror of BoringSSL
      C++
      •
      Other
      •881•0•0•2•Updated Nov 26, 2025Nov 26, 2025

    • ci-test

      Public
      0•0•0•3•Updated Aug 21, 2025Aug 21, 2025

    • benchmark-comment-and-plot-action

      Public
      TypeScript
      •
      MIT License
      •0•0•0•0•Updated Aug 21, 2025Aug 21, 2025

    • mls-partial

      Public
      F*
      •
      Other
      •2•0•5•2•Updated Jul 30, 2025Jul 30, 2025

    • sandwich

      Public
      Rust
      •
      GNU Affero General Public License v3.0
      •0•1•0•0•Updated Jun 30, 2025Jun 30, 2025

    • pqm4

      Public
      Post-quantum crypto library for the ARM Cortex-M4
      C
      •103•0•0•0•Updated Jun 2, 2025Jun 2, 2025

    • libxmtp

      Public
      Rust
      •
      MIT License
      •83•0•0•2•Updated May 29, 2025May 29, 2025

    • libcrux-benchmarks

      Public
      0•0•0•0•Updated May 7, 2025May 7, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.