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 40 repositories
-
- longfellow-zk Public Forked from google/longfellow-zk
Implementation of the Google Zero-Knowledge library for Identity Protocols.
- SparsePostQuantumRatchet Public Forked from signalapp/SparsePostQuantumRatchet
Provides SPQR, a chunked post-quantum ratchet usable in parallel with DH ratchets for the libsignal protocol.
- openmls Public Forked from openmls/openmls
Rust implementation of the Messaging Layer Security (MLS) protocol
- cryspen.github.io Public
Top languages
Loading…
Most used topics
Loading…
