scaspin / memory-safe-assembly
Bottom-up memory-safety for assembly language using symbolic execution
☆14Updated 5 months ago
Alternatives and similar repositories for memory-safe-assembly:
Users that are interested in memory-safe-assembly are comparing it to the libraries listed below
- ☆18Updated 3 weeks ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆60Updated 10 months ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated 10 months ago
- Wycheproof for Rust☆19Updated 8 months ago
- An implementation of the DudeCT constant-time function tester☆21Updated last year
- Formal Analysis of the PQXDH Protocol☆25Updated 10 months ago
- An implementation of ZKBoo☆33Updated 2 years ago
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆37Updated last week
- ☆14Updated 3 weeks ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆55Updated last year
- Constant-time choose between two variables in Clang/LLVM☆18Updated 7 years ago
- Rust library for cryptographic research☆140Updated 4 months ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆28Updated 8 months ago
- [RFC9380] Hash to curves - Rust reference implementation☆28Updated last year
- MAYO C implementation☆16Updated 3 weeks ago
- An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)☆35Updated 2 weeks ago
- FN-DSA (Falcon) signature scheme☆40Updated 3 weeks ago
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆39Updated 7 months ago
- Easy SMT solver interaction☆35Updated last month
- Collection of sponge functions written in pure Rust☆46Updated 3 months ago
- Collection of Key Encapsulation Mechanisms written in pure Rust☆46Updated this week
- ☆13Updated last week
- Curve ecGFp5☆68Updated 3 years ago
- Crypto library☆58Updated 2 weeks ago
- ☆16Updated this week
- Verifying constant-time code with symbolic execution☆42Updated 3 years ago
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆13Updated 2 years ago
- Fuzzer to automatically find side-channel (timing) vulnerabilities☆117Updated 3 years ago
- Exploration of NIST post-quantum signatures on-ramp candidates☆31Updated 2 months ago
- ☆16Updated 3 years ago