Our mission is to provide services and software for high assurance software in order to establish trust into your critical systems.
Cryspen
High Assurance Software & Tools
Pinned Loading
Repositories
Showing 10 of 43 repositories
- advisory-db Public Forked from rustsec/advisory-db
Security advisory database for Rust crates published through crates.io
cryspen/advisory-db’s past year of commit activity - SparsePostQuantumRatchet Public Forked from signalapp/SparsePostQuantumRatchet
Provides SPQR, a chunked post-quantum ratchet usable in parallel with DH ratchets for the libsignal protocol.
cryspen/SparsePostQuantumRatchet’s past year of commit activity - hpke-rs Public
Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)
cryspen/hpke-rs’s past year of commit activity - cryspen.github.io Public
cryspen/cryspen.github.io’s past year of commit activity - formats Public Forked from RustCrypto/formats
Cryptography-related format encoders/decoders: DER, PEM, PKCS, PKIX
cryspen/formats’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…