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
- 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☆35Updated last year
- Reference implementations of post-quantum cryptographic primitives☆29Updated last year
- Elliptic curves Rust reference implementation☆15Updated 10 months ago
- A Rust implementation of CPace, a balanced PAKE.☆26Updated last year
- Fuzzer to automatically find side-channel (timing) vulnerabilities☆114Updated 3 years ago
- Rust bindings for HACL & Evercrypt☆28Updated last year
- Wrappers around Rust's integer to check for constant-time-compatible usage☆22Updated 4 years ago
- An EXPERIMENTAL implementation of the CPace PAKE, instantiated with the Ristretto255 group. In Rust☆17Updated 4 years ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆28Updated 5 months ago
- ☆18Updated last year
- Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.☆29Updated 10 months ago
- ☆24Updated 2 years ago
- Implementation of cryptographic primitives in Go☆12Updated last year
- Make AES-GCM safe to use with random nonces, for any practical number of messages.☆18Updated 10 months ago
- Certificate transparency SCT verification library in rust☆51Updated 2 months ago
- NIST P-256 signatures for Cortex-M4 microcontrollers☆14Updated 3 years ago
- Banquet implementation☆13Updated 2 years ago
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆58Updated 3 years ago
- ☆29Updated 3 years ago
- Hybrid Public Key Encryption☆50Updated 6 months ago
- Constant-time choose between two variables in Clang/LLVM☆18Updated 6 years ago
- Performance crypto in pure Rust☆54Updated 5 months ago
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆33Updated 4 months ago
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆118Updated 2 years ago
- Wycheproof for Rust☆17Updated 5 months ago
- Collection of sponge functions written in pure Rust☆42Updated this week
- The formally verified crypto library for Rust☆98Updated this week
- Crypto library☆55Updated 3 months ago
- Constant-Time WebAssembly☆24Updated 6 years ago