scaspin / memory-safe-assembly
Bottom-up memory-safety for assembly language using symbolic execution
☆13Updated 3 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 months ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆59Updated 7 months ago
- The formally verified crypto library for Rust☆105Updated this week
- Verifying constant-time code with symbolic execution☆42Updated 3 years ago
- Rust library for cryptographic research☆138Updated last month
- Constant-time choose between two variables in Clang/LLVM☆18Updated 6 years ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆52Updated last year
- Wycheproof for Rust☆18Updated 5 months ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated 8 months ago
- FN-DSA (Falcon) signature scheme☆36Updated 3 weeks ago
- Fuzzer to automatically find side-channel (timing) vulnerabilities☆115Updated 3 years ago
- Reference implementations of post-quantum cryptographic primitives☆29Updated last year
- Crypto library☆55Updated 2 weeks ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆28Updated 6 months ago
- Formal Analysis of the PQXDH Protocol☆25Updated 8 months ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated last year
- List of crackpot 'scientists' and 'thinkers'☆15Updated 6 months ago
- An implementation of ZKBoo☆33Updated 2 years ago
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆35Updated this week
- Find the ideal fuzz targets in a Rust codebase☆209Updated last week
- Find unmaintained packages in Rust projects☆68Updated this week
- Collection of sponge functions written in pure Rust☆42Updated 3 weeks ago
- A collection of high-performance crypto implementations.☆46Updated 3 weeks ago
- Faster Montgomery and Joye ladder formulas for short Weierstrass elliptic curves☆19Updated 4 years ago
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆12Updated 2 years ago
- Curve ecGFp5☆68Updated 2 years ago
- Fast constant-time AES implementations on 32-bit architectures☆64Updated 4 months ago
- Script generated finite field arithmetic for elliptic curve cryptography☆17Updated last week
- [RFC9380] Hash to curves - Rust reference implementation☆25Updated 11 months ago
- Elliptic curves Rust reference implementation☆15Updated 11 months ago