hacspec / rust-secret-integers
Wrappers around Rust's integer to check for constant-time-compatible usage
☆22Updated 4 years ago
Alternatives and similar repositories for rust-secret-integers:
Users that are interested in rust-secret-integers are comparing it to the libraries listed below
- Rust bindings for HACL & Evercrypt☆28Updated last year
- Helpers for clearing sensitive data on the stack and heap☆54Updated 2 years ago
- ☆24Updated 2 years ago
- Collection of sponge functions written in pure Rust☆42Updated 3 weeks ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆52Updated last year
- A Rust implementation of the Strobe protocol framework☆26Updated 6 months ago
- Collection of universal hashing functions☆27Updated 3 weeks ago
- A pure Rust implementation of BLAKE2 based on RFC 7693.☆63Updated 3 years ago
- An implementation of the DudeCT constant-time function tester☆21Updated last year
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆118Updated 2 years ago
- Verifying constant-time code with symbolic execution☆42Updated 3 years ago
- Rust XDR interoperability library and codegen☆16Updated 2 years ago
- Byzantine-fault-tolerant time synchronization☆39Updated 3 years ago
- model testing sugar for testing interactions on structures over time☆27Updated 5 years ago
- "Blank slate" Dylint library☆10Updated 2 years ago
- Arbitrary precision integers library.☆27Updated 3 years ago
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆33Updated 5 months ago
- Ambient Authority☆20Updated last year
- NIST P-256 signatures for Cortex-M4 microcontrollers☆14Updated 3 years ago
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆58Updated 3 years ago
- Constant-Time WebAssembly☆24Updated 6 years ago
- Certificate transparency SCT verification library in rust☆51Updated 3 months ago
- Collection of Cryptographically Secure PseudoRandom Number Generators written in pure Rust☆10Updated last year
- Rust implementation `libsodium/utils`.☆49Updated last month
- HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).☆27Updated 4 years ago
- A Rust implementation of CPace, a balanced PAKE.☆26Updated last year
- Collection of Key Derivation Functions written in pure Rust☆74Updated last week
- Ed25519 suitable for use in consensus-critical contexts.☆46Updated 6 months ago
- Managing Rust dependencies via a dashboard☆49Updated last year
- Performance crypto in pure Rust☆56Updated 2 weeks ago