fishinabarrel / bounty
Fish in a Barrel Memory Safety Bounty
☆47Updated 4 years ago
Alternatives and similar repositories for bounty:
Users that are interested in bounty are comparing it to the libraries listed below
- Executes programs as sealed anonymous files on Linux☆45Updated 5 months ago
- A Rust toolkit to combine property-based testing and fuzzing.☆135Updated 2 years ago
- 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☆79Updated 6 years ago
- Distributed build system providing cryptographic proofs-of-reproducibility via Byzantine Fault Tolerant (BFT) consensus☆91Updated 4 years ago
- Bare metal Rust support for USB armory MkII devices☆58Updated 4 years ago
- Byzantine-fault-tolerant time synchronization☆39Updated 4 years ago
- NIST P-256 signatures for Cortex-M4 microcontrollers☆14Updated 4 years ago
- Find the ideal fuzz targets in a Rust codebase☆211Updated last week
- Cargo dephell analyzes the third-party dependencies of a Rust workspace☆48Updated last year
- RailCar: Rust implementation of the Open Containers Initiative oci-runtime☆32Updated 3 years ago
- A Rust implementation of the Message Layer Security group messaging protocol☆115Updated last year
- ☆17Updated last year
- Custom memory allocator that helps discover reads from uninitialized memory☆162Updated 4 years ago
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆59Updated 4 years ago
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆36Updated last year
- A pure Rust implementation of the Minisign signature tool.☆93Updated 2 months ago
- Verifying constant-time code with symbolic execution☆42Updated 3 years ago
- problem sets for CS-GY 6903 Applied Cryptography☆39Updated 3 years ago
- A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.☆14Updated 5 years ago
- ☆106Updated 5 years ago
- Drop-in replacement controller for WASD CODE v2B keyboard☆77Updated 9 months ago
- Benign remote code execution☆111Updated 2 weeks ago
- A collection of small notes that aren't appropriate for my blog.☆32Updated 2 years ago
- Fuzzer to automatically find side-channel (timing) vulnerabilities☆116Updated 3 years ago
- banzai: pure rust bzip2 encoder☆30Updated 2 years ago
- Tool for generating non-trivial X.509 certificate chains☆29Updated last week
- [INACTIVE] const-time Rust experiment☆99Updated 9 years ago
- Certificate transparency SCT verification library in rust☆51Updated 4 months ago
- pretty bad protocol☆63Updated 4 years ago