PLSysSec / haybale-pitchfork
Verifying constant-time code with symbolic execution
☆42Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for haybale-pitchfork
- Rust bindings for HACL & Evercrypt☆28Updated last year
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆34Updated last year
- A Rust implementation of CPace, a balanced PAKE.☆26Updated 11 months ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆51Updated last year
- Fuzzer to automatically find side-channel (timing) vulnerabilities☆114Updated 3 years ago
- Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.☆29Updated 8 months ago
- ☆24Updated 2 years ago
- Hybrid Public Key Encryption☆49Updated 4 months ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆28Updated 3 months ago
- ☆18Updated last year
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆39Updated 2 months ago
- Constant-time choose between two variables in Clang/LLVM☆18Updated 6 years ago
- Crypto library☆52Updated last month
- Wrappers around Rust's integer to check for constant-time-compatible usage☆22Updated 4 years ago
- Implementations of do255e and do255s in C and assembly☆25Updated 3 years ago
- Implementation of cryptographic primitives in Go☆12Updated last year
- Elliptic curves Rust reference implementation☆15Updated 8 months ago
- ☆28Updated 3 years ago
- NIST P-256 signatures for Cortex-M4 microcontrollers☆14Updated 3 years ago
- Reference implementations of post-quantum cryptographic primitives☆28Updated 10 months ago
- Optimized Binary GCD for Modular Inversion☆41Updated 4 years ago
- Certificate transparency SCT verification library in rust☆51Updated this week
- A Zig implementation of EdDSA signatures with blind keys.☆16Updated last year
- Wycheproof for Rust☆17Updated 2 months ago
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆58Updated 3 years ago
- Banquet implementation☆13Updated 2 years ago
- FN-DSA (Falcon) signature scheme☆21Updated this week
- An EXPERIMENTAL implementation of the CPace PAKE, instantiated with the Ristretto255 group. In Rust☆17Updated 4 years ago
- Deterministic/nonce-reuse resistant authenticated encryption scheme using XChaCha20, implemented on libsodium.☆28Updated 3 months ago