timmclean / rust-timing-shieldLinks
Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/
☆56Updated 2 years ago
Alternatives and similar repositories for rust-timing-shield
Users that are interested in rust-timing-shield are comparing it to the libraries listed below
Sorting:
- Collection of sponge functions written in pure Rust☆50Updated 3 weeks ago
- Wrappers around Rust's integer to check for constant-time-compatible usage☆22Updated 5 years ago
- Helpers for clearing sensitive data on the stack and heap☆54Updated 5 months ago
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆67Updated last year
- A Rust implementation of the Strobe protocol framework☆27Updated 8 months ago
- An implementation of the DudeCT constant-time function tester☆22Updated 2 years ago
- Verifying constant-time code with symbolic execution☆44Updated 4 years ago
- Turing-Incomplete Programming Language for Multi-Party Computation with Garbled Circuits☆54Updated last week
- Ed25519 suitable for use in consensus-critical contexts.☆53Updated last year
- Memory validation framework for Rust☆70Updated last month
- Collection of universal hashing functions☆36Updated last week
- toy implementation of bfv in rust☆27Updated 3 years ago
- Pure-Rust traits and utilities for constant-time cryptographic implementations.☆282Updated last year
- Rust bindings for HACL & Evercrypt☆30Updated 6 months ago
- Reverse engineering framework.☆36Updated 3 years ago
- Performance crypto in pure Rust☆54Updated 8 months ago
- A high-level API for interacting with SMT solvers.☆32Updated 3 weeks ago
- agora-glass_pumpkin☆22Updated last week
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆28Updated last year
- RustPräzi: Representing crates.io as a call-based dependency network☆82Updated 6 years ago
- Find the ideal fuzz targets in a Rust codebase☆221Updated last month
- Constant-Time WebAssembly☆24Updated 7 years ago
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆120Updated 2 years ago
- Password-Authenticated Key Agreement protocols☆112Updated last week
- An optimized sparse merkle tree.☆49Updated 4 years ago
- Collection of Key Derivation Functions written in pure Rust☆84Updated last week
- Rust library for cryptographic research☆145Updated 10 months ago
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆60Updated 2 years ago
- Rust implementation `libsodium/utils`.☆51Updated 9 months ago
- model testing sugar for testing interactions on structures over time☆27Updated 6 years ago