Alternatives and similar repositories for memory-safe-assembly

Users that are interested in memory-safe-assembly are comparing it to the libraries listed below

• post-quantum-cryptography / KAT
  ☆20Updated 3 months ago
• lamps-wg / dilithium-certificates
  I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure
  ☆12Updated 2 weeks ago
• MQuaresma / pswoosh
  Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange
  ☆27Updated last year
• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆25Updated last year
• PQCMayo / MAYO-C
  MAYO C implementation
  ☆16Updated 3 months ago
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆62Updated last year
• SQISign / sqisign-ac20-obsolete
  SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)
  ☆27Updated 2 years ago
• tireddy2 / pqc-for-engineers
  ☆16Updated 2 weeks ago
• pqov / pqov
  ☆16Updated last month
• pornin / rust-fn-dsa
  FN-DSA (Falcon) signature scheme
  ☆43Updated 3 months ago
• formosa-crypto / libjade
  Crypto library
  ☆60Updated 3 weeks ago
• Chair-for-Security-Engineering / KEM-NIZKPoP
  Proof-of-possession for KEM certificates using verifiable generation
  ☆9Updated 3 years ago
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆142Updated this week
• mcarrickscott / modarith
  Script generated finite field arithmetic for elliptic curve cryptography
  ☆22Updated 3 weeks ago
• rozbb / dudect-bencher
  An implementation of the DudeCT constant-time function tester
  ☆21Updated last year
• zkcrypto / curve25519-dalek-ng
  A pure-Rust implementation of group operations on Ristretto and Curve25519
  ☆28Updated 11 months ago
• charlie-j / fm-crypto-lib
  ☆13Updated 3 months ago
• pornin / crrl
  Rust library for cryptographic research
  ☆140Updated 6 months ago
• Cosmian / abe_gpsw
  ABE GPSW scheme using BLS pairing implemented in Rust.
  ☆15Updated 2 years ago
• randombit / wycheproof-rs
  Wycheproof for Rust
  ☆19Updated 10 months ago
• PQShield / nist-sigs-zoo
  Exploration of NIST post-quantum signatures on-ramp candidates
  ☆33Updated last month
• lmrs2 / ct_choose
  Constant-time choose between two variables in Clang/LLVM
  ☆20Updated 7 years ago
• pornin / ecgfp5
  Curve ecGFp5
  ☆68Updated 3 years ago
• tamarin-pq3 / tamarin-pq3
  The formal proofs for iMessage PQ3 using the Tamarin Prover
  ☆16Updated 3 months ago
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆44Updated 3 years ago
• bifurcation / tamarin-ake
  Models for authenticated key exchange in Tamarin
  ☆12Updated 5 years ago
• phayes / sidefuzz
  Fuzzer to automatically find side-channel (timing) vulnerabilities
  ☆118Updated 4 years ago
• lmrs2 / zerostack
  Clang/LLVM patches to zero stack/registers of sensitive functions
  ☆14Updated 7 years ago
• geovandro / post-quantum-crypto
  Slides from talks and other materials related to post-quantum crypto
  ☆12Updated 4 years ago
• defeo / isogenies.bib
  A BibTeX collection on Isogeny-based Cryptography
  ☆17Updated 2 years ago