Stars
A programming language that is a minimal subset of Rust
Efficient, flexible and constant time Rust implementation of finite fields GF(p^2) where p = 3 mod 4
Provides SPQR, a chunked post-quantum ratchet usable in parallel with DH ratchets for the libsignal protocol.
An implementation of Messaging Layer Security (RFC 9420)
Formal Verification companion material to The Joy of Cryptography textbook by Mike Rosulek
model-checking / verify-rust-std
Forked from rust-lang/rustVerifying the Rust standard library
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