timmclean / rust-timing-shield
Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/
☆55Updated last year
Alternatives and similar repositories for rust-timing-shield:
Users that are interested in rust-timing-shield are comparing it to the libraries listed below
- Collection of sponge functions written in pure Rust☆46Updated 3 months ago
- A Rust implementation of the Strobe protocol framework☆27Updated last month
- Helpers for clearing sensitive data on the stack and heap☆54Updated 2 years ago
- Wrappers around Rust's integer to check for constant-time-compatible usage☆22Updated 5 years ago
- Verifying constant-time code with symbolic execution☆43Updated 3 years ago
- Fuzzer to automatically find side-channel (timing) vulnerabilities☆117Updated 3 years ago
- Rust bindings for HACL & Evercrypt☆28Updated last week
- Collection of Key Derivation Functions written in pure Rust☆77Updated last month
- An implementation of the DudeCT constant-time function tester☆21Updated last year
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆66Updated last year
- Collection of Cryptographically Secure PseudoRandom Number Generators written in pure Rust☆10Updated last year
- Collection of universal hashing functions☆29Updated 2 months ago
- Constant-Time WebAssembly☆24Updated 6 years ago
- Ed25519 suitable for use in consensus-critical contexts.☆48Updated 9 months ago
- Reverse engineering framework.☆36Updated 2 years ago
- Performance crypto in pure Rust☆55Updated last month
- Memory validation framework for Rust☆67Updated 2 months ago
- SFI verifier of Wasm binaries☆81Updated 2 years ago
- SAW front end for the MIR language from rustc☆36Updated 4 years ago
- Ambient Authority☆21Updated last year
- Advisory cross-platform file locks using file descriptors☆77Updated 2 weeks ago
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆61Updated last year
- agora-glass_pumpkin☆21Updated 11 months ago
- Wycheproof for Rust☆19Updated 8 months ago
- ☆24Updated 2 years ago
- Perform Cargo builds inside of a sandboxed environment☆52Updated 5 years ago
- model testing sugar for testing interactions on structures over time☆27Updated 5 years ago
- Effortlessly fuzz libraries with large API surfaces☆69Updated 3 years ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆28Updated 8 months ago
- "Blank slate" Dylint library☆10Updated 2 years ago