fishinabarrel / bounty
Fish in a Barrel Memory Safety Bounty
☆47Updated 3 years ago
Alternatives and similar repositories for bounty:
Users that are interested in bounty are comparing it to the libraries listed below
- Just Use /dev/urandom -- now with more safety at early boot☆59Updated 4 years ago
- RustPräzi: Representing crates.io as a call-based dependency network☆78Updated 5 years ago
- A collection of small notes that aren't appropriate for my blog.☆31Updated 2 years ago
- Executes programs as sealed anonymous files on Linux☆45Updated 3 months ago
- Cargo dephell analyzes the third-party dependencies of a Rust workspace☆48Updated last year
- A proof-of-concept for a read-only filesystem with random contents generated on demand.☆37Updated 3 years ago
- RailCar: Rust implementation of the Open Containers Initiative oci-runtime☆32Updated 3 years ago
- A Rust toolkit to combine property-based testing and fuzzing.☆136Updated 2 years ago
- Verifying constant-time code with symbolic execution☆42Updated 3 years ago
- Distributed build system providing cryptographic proofs-of-reproducibility via Byzantine Fault Tolerant (BFT) consensus☆92Updated 4 years ago
- ☆17Updated last year
- NIST P-256 signatures for Cortex-M4 microcontrollers☆14Updated 3 years ago
- Byzantine-fault-tolerant time synchronization☆39Updated 3 years ago
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆58Updated 3 years ago
- Perform Cargo builds inside of a sandboxed environment☆52Updated 5 years ago
- A pure Rust implementation of the Minisign signature tool.☆93Updated last week
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆35Updated last year
- ☆106Updated 5 years ago
- Fuzzer to automatically find side-channel (timing) vulnerabilities☆114Updated 3 years ago
- A Rust implementation of the Message Layer Security group messaging protocol☆115Updated last year
- Using Rust to make a 137-byte static AMD64 Linux executable☆16Updated 4 years ago
- Deducing Tock execution flows from Ibex Verilator traces☆68Updated 2 years ago
- Rust parser for pcapng☆19Updated 5 years ago
- Effortlessly fuzz libraries with large API surfaces☆69Updated 3 years ago
- Bare metal Rust support for USB armory MkII devices☆57Updated 4 years ago
- A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.☆14Updated 5 years ago
- Toxiproxy Rust Client☆11Updated 10 months ago