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
  ☆18Updated 4 months ago
• randombit / wycheproof-rs
  Wycheproof for Rust
  ☆19Updated 7 months ago
• zkcrypto / curve25519-dalek-ng
  A pure-Rust implementation of group operations on Ristretto and Curve25519
  ☆28Updated 7 months ago
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆60Updated 9 months ago
• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆25Updated 9 months ago
• timmclean / rust-timing-shield
  Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/
  ☆53Updated last year
• rozbb / dudect-bencher
  An implementation of the DudeCT constant-time function tester
  ☆21Updated last year
• phayes / sidefuzz
  Fuzzer to automatically find side-channel (timing) vulnerabilities
  ☆116Updated 3 years ago
• pornin / rust-fn-dsa
  FN-DSA (Falcon) signature scheme
  ☆39Updated 2 months ago
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆42Updated 3 years ago
• lmrs2 / ct_choose
  Constant-time choose between two variables in Clang/LLVM
  ☆18Updated 6 years ago
• Cosmian / abe_gpsw
  ABE GPSW scheme using BLS pairing implemented in Rust.
  ☆16Updated last year
• crocs-muni / ct-tools
  A repository of tools for verifying constant-timeness
  ☆18Updated last month
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆113Updated this week
• psve / cryptagraph
  A tool for linear and differential cryptanalysis of block ciphers written in Rust
  ☆13Updated 2 years ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated last week
• RustCrypto / sponges
  Collection of sponge functions written in pure Rust
  ☆44Updated 2 months ago
• armfazh / h2c-rust-ref
  [RFC9380] Hash to curves - Rust reference implementation
  ☆26Updated last year
• kino-mc / rsmt2
  A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
  ☆66Updated last year
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆33Updated this week
• veorq / crackpots
  List of crackpot 'scientists' and 'thinkers'
  ☆16Updated 7 months ago
• cronokirby / boo-hoo
  An implementation of ZKBoo
  ☆33Updated 2 years ago
• PQCMayo / MAYO-C
  MAYO C implementation
  ☆16Updated 3 weeks ago
• pornin / ecgfp5
  Curve ecGFp5
  ☆68Updated 2 years ago
• pornin / crrl
  Rust library for cryptographic research
  ☆140Updated 3 months ago
• MQuaresma / pswoosh
  Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange
  ☆27Updated 9 months ago
• trailofbits / cargo-unmaintained
  Find unmaintained packages in Rust projects
  ☆70Updated this week
• kriskwiatkowski / TEE-TLS-delegator
  Solution to harden TLS security by storing private keys and delegating operations to the Trused Execution Environment
  ☆12Updated 2 years ago
• hacspec / rust-secret-integers
  Wrappers around Rust's integer to check for constant-time-compatible usage
  ☆22Updated 5 years ago
• trailofbits / siderophile
  Find the ideal fuzz targets in a Rust codebase
  ☆211Updated this week