CyberHive / rust-cheriLinks
Fork of Rust adding CHERI support
☆13Updated 8 months ago
Alternatives and similar repositories for rust-cheri
Users that are interested in rust-cheri are comparing it to the libraries listed below
Sorting:
- Rust bindings for HACL & Evercrypt☆30Updated 8 months ago
- Ambient Authority☆21Updated 2 years ago
- A crate to find DWARF debug symbols from stripped binaries☆22Updated 2 years ago
- constant-size associative container backed by a simple array☆20Updated 2 years ago
- Proposal to add instrumentation and tracing instructions to WebAssembly☆16Updated 4 years ago
- ☆25Updated 3 years ago
- A Rust implementation of CPace, a balanced PAKE.☆27Updated 2 years ago
- Cross-platform polyfills.☆17Updated 2 years ago
- MnemOS Global Networking Protocol☆15Updated last year
- Bertie TLS 1.3 Implementation☆130Updated 3 months ago
- wrap errors with automatic backtrace capture and print-on-result-unwrap☆32Updated last year
- Memory validation framework for Rust☆74Updated 3 months ago
- Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.☆64Updated last week
- Verifying constant-time code with symbolic execution☆46Updated 4 years ago
- SFI verifier of Wasm binaries☆83Updated 2 years ago
- Rust bindings for the FreeBSD capsicum framework☆64Updated last month
- Rust implementation of macaroons.☆23Updated 3 years ago
- Initial discussions on signatures of WebAssembly modules.☆17Updated 3 years ago
- Wrappers around Rust's integer to check for constant-time-compatible usage☆23Updated 5 years ago
- Frayed ribbon filter cascade☆48Updated 2 years ago
- <RPC (HATEOAS) actions on a universally addressable publickey>. Copernica is a transport agnostic, privacy preserving, Information-centri…☆11Updated 3 years ago
- high-efficiency concurrent reclamation☆38Updated last year
- sptr: The Strict Provenance Polyfill☆75Updated 2 years ago
- A small Rust crate to verify Minisign signatures.☆38Updated 7 months ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆41Updated last year
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆37Updated 2 years ago
- Byzantine-fault-tolerant time synchronization☆42Updated 4 years ago
- ☆10Updated 11 months ago
- Bare metal Rust support for USB armory MkII devices☆60Updated 5 years ago
- Small crate for interacting with cargo registry indices☆27Updated last month