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 42 repositories
- formats Public Forked from RustCrypto/formats
Cryptography-related format encoders/decoders: DER, PEM, PKCS, PKIX
- cryspen.github.io Public
- SparsePostQuantumRatchet Public Forked from signalapp/SparsePostQuantumRatchet
Provides SPQR, a chunked post-quantum ratchet usable in parallel with DH ratchets for the libsignal protocol.
- securedrop-protocol Public Forked from freedomofpress/securedrop-protocol
Research and proof of concept to develop the next SecureDrop with end to end encryption.
Top languages
Loading…
Most used topics
Loading…