franziskuskiefer / rust-hacl-starLinks
HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
☆30Updated 5 years ago
Alternatives and similar repositories for rust-hacl-star
Users that are interested in rust-hacl-star are comparing it to the libraries listed below
Sorting:
- Helpers for clearing sensitive data on the stack and heap☆54Updated 5 months ago
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆59Updated 4 years ago
- A pure Rust implementation of BLAKE2 based on RFC 7693.☆64Updated 5 months ago
- Rust implementation of Miscreant: misuse-resistant encryption library with AES-SIV (RFC 5297) and AES-PMAC-SIV support☆46Updated 4 years ago
- This crate is no longer maintained. Looking for maintainers.☆79Updated 5 years ago
- Certificate transparency SCT verification library in rust☆53Updated 3 months ago
- Benchmarks for crypto libraries (in Rust, or with Rust bindings)☆70Updated 5 years ago
- high-performance implementations of BLAKE2b/s/bp/sp in pure Rust with dynamic SIMD☆134Updated 6 months ago
- [INACTIVE] const-time Rust experiment☆97Updated 10 years ago
- An experimental implementation of nQUIC in Rust☆32Updated 7 years ago
- Rust implementation `libsodium/utils`.☆51Updated 9 months ago
- The empty type Void.☆71Updated 2 years ago
- gmp bindings for rust☆40Updated 4 years ago
- Constant Time Operations for Crypto Libraries☆10Updated 8 years ago
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆120Updated 2 years ago
- A reader-writer lock that can be used with a Condvar.☆29Updated 9 years ago
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆36Updated last year
- Bare metal Rust support for USB armory MkII devices☆60Updated 5 years ago
- Very fast cryptographic hashing for large messages.☆69Updated 8 months ago
- rust verification condition generator☆96Updated 9 years ago
- Implementation of Shamir's secret sharing in Rust☆36Updated 9 years ago
- A Rust implementation of CPace, a balanced PAKE.☆26Updated last year
- A µTP (Micro/uTorrent Transport Library) library implemented in Rust☆138Updated 4 years ago
- Macaroons: bearer credentials with caveats for distributed authorization☆61Updated 8 years ago
- A Rust library for accessing Linux process and system information☆90Updated 2 years ago
- A Roughtime secure time sync client and server written in Rust☆139Updated this week
- No longer maintained☆38Updated 8 years ago
- Rust IP Stack - A userspace IP stack written in Rust (Work in progress)☆32Updated 8 years ago
- libsodium native binding in Rust☆31Updated 5 years ago
- Experimental Rust QUIC implementation - moved to https://github.com/djc/quinn☆68Updated 7 years ago