hacspec / rust-secret-integers
Wrappers around Rust's integer to check for constant-time-compatible usage
☆22Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for rust-secret-integers
- An implementation of the DudeCT constant-time function tester☆21Updated last year
- ☆24Updated 2 years ago
- Rust bindings for HACL & Evercrypt☆28Updated last year
- Helpers for clearing sensitive data on the stack and heap☆54Updated last year
- Collection of sponge functions written in pure Rust☆41Updated last week
- Constant-Time WebAssembly☆24Updated 6 years ago
- A Rust implementation of the Strobe protocol framework☆25Updated 3 months ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆51Updated last year
- Constant Time Operations for Crypto Libraries☆10Updated 7 years ago
- Performance crypto in pure Rust☆52Updated 3 months ago
- Rust implementation `libsodium/utils`.☆48Updated 5 months ago
- model testing sugar for testing interactions on structures over time☆27Updated 5 years ago
- Byzantine-fault-tolerant time synchronization☆39Updated 3 years ago
- Wraps around a futures::Spawn and adds diagnostics to it☆31Updated 4 years ago
- A Rust implementation of CPace, a balanced PAKE.☆26Updated 11 months ago
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆118Updated last year
- Collection of universal hashing functions☆27Updated last week
- NIST P-256 signatures for Cortex-M4 microcontrollers☆14Updated 3 years ago
- FN-DSA (Falcon) signature scheme☆21Updated this week
- Arbitrary precision integers library.☆26Updated 3 years ago
- Certificate transparency SCT verification library in rust☆51Updated this week
- Ambient Authority☆19Updated last year
- Verifying constant-time code with symbolic execution☆42Updated 3 years ago
- A library for deadlock-free multiparty session-typed communication in Rust.☆26Updated 2 months ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆28Updated 3 months ago
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆58Updated 3 years ago
- A pure Rust implementation of BLAKE2 based on RFC 7693.☆63Updated 2 years ago
- SAW front end for the MIR language from rustc☆36Updated 3 years ago
- Very fast cryptographic hashing for large messages.☆68Updated 6 months ago