PLSysSec / haybale-pitchfork
Verifying constant-time code with symbolic execution
☆42Updated 3 years ago
Alternatives and similar repositories for haybale-pitchfork:
Users that are interested in haybale-pitchfork are comparing it to the libraries listed below
- Reference implementations of post-quantum cryptographic primitives☆29Updated last year
- Rust bindings for HACL & Evercrypt☆28Updated last year
- Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.☆29Updated 11 months ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆52Updated last year
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆36Updated last year
- Fuzzer to automatically find side-channel (timing) vulnerabilities☆115Updated 3 years ago
- ☆18Updated last year
- Wrappers around Rust's integer to check for constant-time-compatible usage☆22Updated 4 years ago
- NIST P-256 signatures for Cortex-M4 microcontrollers☆14Updated 3 years ago
- Elliptic curves Rust reference implementation☆15Updated 11 months ago
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆12Updated 2 years ago
- ☆24Updated 2 years ago
- Make AES-GCM safe to use with random nonces, for any practical number of messages.☆18Updated 11 months ago
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆39Updated 5 months ago
- An EXPERIMENTAL implementation of the CPace PAKE, instantiated with the Ristretto255 group. In Rust☆17Updated 4 years ago
- ☆29Updated 3 years ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆28Updated 6 months ago
- Implementation of cryptographic primitives in Go☆12Updated last year
- A Rust implementation of CPace, a balanced PAKE.☆26Updated last year
- Constant-Time WebAssembly☆24Updated 6 years ago
- Certificate transparency SCT verification library in rust☆51Updated 3 months ago
- Hybrid Public Key Encryption☆50Updated 7 months ago
- Rust implementation of Miscreant: misuse-resistant encryption library with AES-SIV (RFC 5297) and AES-PMAC-SIV support☆46Updated 4 years ago
- Constant-time choose between two variables in Clang/LLVM☆18Updated 6 years ago
- Banquet implementation☆13Updated 2 years ago
- Wycheproof for Rust☆18Updated 6 months ago
- A collection of high-performance crypto implementations.☆46Updated last month
- ☆19Updated 4 years ago
- Towards an IETF RFC for XChaCha20-Poly1305☆28Updated 5 years ago
- HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).☆27Updated 5 years ago