franziskuskiefer / rust-hacl-star
HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
☆27Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for rust-hacl-star
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆58Updated 3 years ago
- Rust implementation of Miscreant: misuse-resistant encryption library with AES-SIV (RFC 5297) and AES-PMAC-SIV support☆45Updated 3 years ago
- Helpers for clearing sensitive data on the stack and heap☆54Updated last year
- A pure Rust implementation of BLAKE2 based on RFC 7693.☆63Updated 2 years ago
- Constant Time Operations for Crypto Libraries☆10Updated 7 years ago
- asynchronous I/O in Rust☆14Updated 7 years ago
- build static rust position-independant-executables without any runtime requirements (no libc or ldso)☆43Updated 6 years ago
- NIST P-256 signatures for Cortex-M4 microcontrollers☆14Updated 3 years ago
- Rust implementation of the ChaCha family of stream ciphers☆8Updated 5 years ago
- Rust implementation `libsodium/utils`.☆48Updated 4 months ago
- Picoquic bindings for rust.☆28Updated 4 years ago
- Libhydrogen bindings for Rust.☆16Updated this week
- Benchmarks for crypto libraries (in Rust, or with Rust bindings)☆70Updated 4 years ago
- ☆24Updated 2 years ago
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆34Updated 11 months ago
- Implementation of Shamir's secret sharing in Rust☆36Updated 8 years ago
- Flexible, stand-alone benchmarking☆17Updated 6 years ago
- A simple Rust crate to drop privileges☆36Updated 5 months ago
- Certificate transparency SCT verification library in rust☆51Updated 9 months ago
- Bare metal Rust support for USB armory MkII devices☆58Updated 4 years ago
- Brotli encoders/decoers for Rust☆28Updated last year
- A Cargo plugin to list unsafe code in a Rust project.☆43Updated 6 years ago
- Perform Cargo builds inside of a sandboxed environment☆52Updated 4 years ago
- Bignum bindings for rust backed by GMP☆16Updated 7 years ago
- Data structure containers with protected memory for Rust☆18Updated 9 years ago
- A fuzzing tool for incremental compilation that walks git history☆33Updated 6 years ago
- No longer maintained☆38Updated 7 years ago
- A Rust implementation of CPace, a balanced PAKE.☆26Updated 10 months ago