scaspin / memory-safe-assembly
Bottom-up memory-safety for assembly language using symbolic execution
☆12Updated last week
Related projects ⓘ
Alternatives and complementary repositories for memory-safe-assembly
- ☆16Updated 2 weeks ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆25Updated 5 months ago
- Wycheproof for Rust☆17Updated 2 months ago
- FN-DSA (Falcon) signature scheme☆21Updated this week
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆58Updated 4 months ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆28Updated 3 months ago
- Formal Analysis of the PQXDH Protocol☆23Updated 5 months ago
- An implementation of the DudeCT constant-time function tester☆21Updated last year
- Constant-time choose between two variables in Clang/LLVM☆18Updated 6 years ago
- An implementation of ZKBoo☆33Updated 2 years ago
- Verifying constant-time code with symbolic execution☆42Updated 3 years ago
- A repository of tools for verifying constant-timeness☆12Updated 2 months ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆51Updated last year
- The formally verified crypto library for Rust☆88Updated this week
- ABE GPSW scheme using BLS pairing implemented in Rust.☆15Updated last year
- Collection of Key Encapsulation Mechanisms written in pure Rust☆30Updated last month
- Fuzzer to automatically find side-channel (timing) vulnerabilities☆114Updated 3 years ago
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆31Updated 2 months ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated last year
- Ed25519 suitable for use in consensus-critical contexts.☆46Updated 3 months ago
- [RFC9380] Hash to curves - Rust reference implementation☆24Updated 8 months ago
- Collection of sponge functions written in pure Rust☆41Updated last week
- Wrappers around Rust's integer to check for constant-time-compatible usage☆22Updated 4 years ago
- toy implementation of bfv in rust☆26Updated 2 years ago
- Rust library for cryptographic research☆134Updated 5 months ago
- An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)☆35Updated this week
- Reference implementations of post-quantum cryptographic primitives☆28Updated 10 months ago
- ☆14Updated 3 weeks ago
- Implementation of cryptographic primitives in Go☆12Updated last year
- Find unmaintained packages in Rust projects☆66Updated this week