Homomorphic Encryption library and applications in Swift

Open-source implementation of a substantial portion of the API of Apple CryptoKit suitable for use on Linux platforms.

This is intended to be the CFRG draft containing security considerations for ML-KEM

The HOL Light theorem prover

Hybrid ECDHE-Kyber Key Agreement for TLS

The formal proofs for iMessage PQ3 using the Tamarin Prover

Benchmark on KPQClean

SMAUG reference code (public release)

NTRU+KEM&PKE

Official SQISignHD code, version under continuous development.

Guidelines, procedures, and templates used by the IETF Moderators team.

draft-ietf-lamps-cms-kyber

I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure

Repo for repo for Certificate Management over CMS I-Ds

Quick RFCs

An architecture for More Instant Messaging Interoperability

Zcash - Financial Privacy in Rust 🦓

DY* with extrinsic proofs

Deployments of fancy cryptography

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes