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 46 repositories
- embedded-cal Public Forked from lake-rs/embedded-cal
A Cryptographic Abstraction Layer (CAL) for embedded systems
cryspen/embedded-cal’s past year of commit activity - verify-rust-std Public Forked from model-checking/verify-rust-std
Verifying the Rust standard library
cryspen/verify-rust-std’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 - rosenpass Public Forked from rosenpass/rosenpass
Rosenpass is a post-quantum-secure VPN that uses WireGuard to transport the actual data.
cryspen/rosenpass’s past year of commit activity - rust-core-spec Public
cryspen/rust-core-spec’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…