signalapp / SecureValueRecovery2

Related projects: ⓘ

• signalapp / ContactDiscoveryService-Icelake
  ☆31Updated 3 months ago
• divviup / libprio-rs
  Implementation of Prio in Rust.
  ☆103Updated last week
• facebookincubator / haberdashery
  A collection of high-performance crypto implementations.
  ☆44Updated 2 months ago
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆78Updated this week
• virtee / snphost
  Administrative utility for SEV-SNP
  ☆21Updated this week
• virtee / sevctl
  Administrative utility for AMD SEV
  ☆41Updated last week
• C2SP / CCTV
  Community Cryptography Test Vectors
  ☆53Updated 6 months ago
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆40Updated 2 years ago
• thomwiggers / kemtls-experiment
  Experimental implementation of KEMTLS in Rustls
  ☆26Updated 10 months ago
• cfrg / draft-irtf-cfrg-ristretto255
  ☆18Updated 10 months ago
• dot-asm / cryptogams
  CRYPTOGAMS distribution repository
  ☆55Updated last month
• brave-experiments / frodo-pir
  Rust source code for the FrodoPIR Private Information Retrieval scheme.
  ☆56Updated 8 months ago
• claucece / formal-tutorials
  ☆28Updated 2 years ago
• google / go-sev-guest
  go-sev-guest offers a library to wrap the /dev/sev-guest device in Linux, as well as a library for attestation verification of fundamenta…
  ☆46Updated 2 weeks ago
• virtee / sev
  Rust library abstracting Linux AMD SEV and SEV-SNP ioctls.
  ☆86Updated last week
• marcoguerri / rust-tpm2
  Rust native library for TPM 2.0 operations. Heavily work in progress.
  ☆11Updated last year
• pornin / crrl
  Rust library for cryptographic research
  ☆125Updated 3 months ago
• mozilla / libprio
  INACTIVE - A C library implementing a basic version of the Prio system for private aggregation. https://crypto.stanford.edu/prio/
  ☆76Updated 3 years ago
• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆22Updated 3 months ago
• signalapp / zkgroup
  ☆42Updated 2 years ago
• pornin / BAT
  BAT KEM/Signature Reference Implementation
  ☆19Updated 2 years ago
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆55Updated 2 months ago
• zkcrypto / curve25519-dalek-ng
  A pure-Rust implementation of group operations on Ristretto and Curve25519
  ☆27Updated last month
• jedisct1 / supercop
  Always up-to-date mirror of the SUPERCOP cryptographic benchmark.
  ☆27Updated this week
• cfrg / draft-irtf-cfrg-voprf
  Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups
  ☆38Updated last week
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆27Updated 7 months ago
• trailofbits / aes-gem
  AES Galois Extended Mode
  ☆12Updated 5 months ago
• ahenzinger / tiptoe
  The reference implementation of Tiptoe, accompanying the paper "Private web search with Tiptoe" (SOSP 2023).
  ☆33Updated 11 months ago
• kudelskisecurity / oramfs
  Resizable ORAM, remote storage agnostic, written in Rust
  ☆67Updated 2 years ago
• signalapp / curve25519-dalek
  ☆38Updated 3 months ago