signalapp / SecureValueRecovery2

Related projects ⓘ

Alternatives and complementary repositories for SecureValueRecovery2

• facebookincubator / haberdashery
  A collection of high-performance crypto implementations.
  ☆44Updated 4 months ago
• cfrg / draft-irtf-cfrg-ristretto255
  ☆18Updated last year
• cloudflare / boringssl-pq
  Fork of BoringSSL that adds hybrid post-quantum key exchange
  ☆23Updated last month
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆42Updated 3 years ago
• claucece / formal-tutorials
  ☆28Updated 3 years ago
• signalapp / ContactDiscoveryService-Icelake
  ☆32Updated 5 months ago
• jedisct1 / nonce-extension
  Make AES-GCM safe to use with random nonces, for any practical number of messages.
  ☆18Updated 7 months ago
• formosa-crypto / libjade
  Crypto library
  ☆52Updated last month
• jedisct1 / supercop
  Always up-to-date mirror of the SUPERCOP cryptographic benchmark.
  ☆25Updated 2 weeks ago
• C2SP / CCTV
  Community Cryptography Test Vectors
  ☆64Updated 3 weeks ago
• mozilla / libprio
  INACTIVE - A C library implementing a basic version of the Prio system for private aggregation. https://crypto.stanford.edu/prio/
  ☆79Updated 4 years ago
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆88Updated this week
• jedisct1 / libsodium-xchacha20-siv
  Deterministic/nonce-reuse resistant authenticated encryption scheme using XChaCha20, implemented on libsodium.
  ☆28Updated 3 months ago
• ietf-wg-ppm / draft-ietf-ppm-dap
  This document describes the Distributed Aggregation Protocol (DAP) being developed by the PPM working group at IETF.
  ☆46Updated this week
• dkales / banquet
  Banquet implementation
  ☆13Updated 2 years ago
• microsoft / Nimble
  Rollback protection for confidential services
  ☆30Updated last year
• kriskwiatkowski / nobs
  Implementation of cryptographic primitives in Go
  ☆12Updated last year
• gustin / opaque
  OPAQUE protocol, a secure asymmetric password authenticated key exchange (aPAKE) that supports mutual authentication in a client-server s…
  ☆74Updated 3 years ago
• cfrg / draft-irtf-cfrg-vdaf
  VDAF specification
  ☆20Updated this week
• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆23Updated 5 months ago
• virtee / snphost
  Administrative utility for SEV-SNP
  ☆22Updated this week
• thomwiggers / kemtls-experiment
  Experimental implementation of KEMTLS in Rustls
  ☆27Updated last year
• pornin / BAT
  BAT KEM/Signature Reference Implementation
  ☆19Updated 2 years ago
• pornin / rust-fn-dsa
  FN-DSA (Falcon) signature scheme
  ☆21Updated this week
• zkcrypto / curve25519-dalek-ng
  A pure-Rust implementation of group operations on Ristretto and Curve25519
  ☆28Updated 3 months ago
• MQuaresma / pswoosh
  Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange
  ☆25Updated 5 months ago
• divviup / libprio-rs
  Implementation of Prio in Rust.
  ☆103Updated this week
• catenacyber / elliptic-curve-differential-fuzzer
  Differential fuzzing for elliptic curves
  ☆23Updated last year
• ucbrise / MerkleSquare
  A Go library for MerkleSquare: A Low-Latency Transparency Log System
  ☆20Updated 3 years ago
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆58Updated 4 months ago