signalapp / SecureValueRecovery2
☆46Updated 3 weeks ago
Alternatives and similar repositories for SecureValueRecovery2
Users that are interested in SecureValueRecovery2 are comparing it to the libraries listed below
Sorting:
- ☆39Updated 3 weeks ago
- Implementation of Prio in Rust.☆107Updated last week
- The formally verified crypto library for Rust☆123Updated this week
- A collection of high-performance crypto implementations.☆51Updated 3 weeks ago
- Hybrid Public Key Encryption☆50Updated 10 months ago
- Always up-to-date mirror of the SUPERCOP cryptographic benchmark.☆28Updated last month
- AES Galois Extended Mode☆14Updated last year
- Fast constant-time AES implementations on 32-bit architectures☆64Updated 6 months ago
- Verifying constant-time code with symbolic execution☆44Updated 3 years ago
- This document describes the Distributed Aggregation Protocol (DAP) being developed by the PPM working group at IETF.☆49Updated this week
- Formal Analysis of the PQXDH Protocol☆25Updated 11 months ago
- Experimental implementation of KEMTLS in Rustls☆30Updated last year
- BAT KEM/Signature Reference Implementation☆22Updated 3 years ago
- ☆40Updated 3 years ago
- VDAF specification☆23Updated this week
- Rust source code for the FrodoPIR Private Information Retrieval scheme.☆67Updated last year
- Exploration of NIST post-quantum signatures on-ramp candidates☆31Updated 2 months ago
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆35Updated 3 weeks ago
- Crypto library☆59Updated 2 weeks ago
- ☆28Updated 3 years ago
- Rust library for cryptographic research☆140Updated 4 months ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆14Updated last month
- INACTIVE - A C library implementing a basic version of the Prio system for private aggregation. https://crypto.stanford.edu/prio/☆79Updated 4 years ago
- OPAQUE protocol, a secure asymmetric password authenticated key exchange (aPAKE) that supports mutual authentication in a client-server s…☆78Updated 3 years ago
- A raw implementation of Interoperable Private Attribution☆43Updated 2 months ago
- ☆22Updated 10 months ago
- The reference implementation of Tiptoe, accompanying the paper "Private web search with Tiptoe" (SOSP 2023).☆46Updated last year
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆61Updated 10 months ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- Community Cryptography Test Vectors☆77Updated 2 weeks ago