awesome-rust-security-guide
github.com/ianonymous3000/awesome-rust-security-guide ↗Comprehensive Guide to Rust for Security and Privacy Researchers: Covering memory safety, concurrency, cryptography, secure coding practices, formal verification, and more.
16
GitHub Stars
27
Curated Resources
11
Categories
22 hours ago
Last Refreshed
3. Safe FFI and Interoperability4. Security Auditing and Analysis5. Secure Cryptography6. Privacy-Preserving Technologies11. Formal Verification12. Case Studies and Real-World Examples13. Rust Security Community and Initiatives15. Security Testing in Rust17. Troubleshooting Guide18. Emerging Trends in Rust SecurityAdditional Resources
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me 6.1 zero-knowledge proofs resources from awesome-rust-security-guide"
Installation instructions →What's inside
6. Privacy-Preserving Technologies
- Bellman6.1 Zero-Knowledge Proofs
- concrete6.3 Homomorphic Encryption
- KZen Networks' multi-party ECDSA6.2 Secure Multi-Party Computation
3. Safe FFI and Interoperability
- Bindgen3.3 Bindgen
17. Troubleshooting Guide
- cargo-flamegraph17.4 Performance Bottlenecks
- Miri17.1 Memory Safety Issues
15. Security Testing in Rust
- cargo-fuzz15.1 Fuzz Testing
- proptest15.2 Property-Based Testing
4. Security Auditing and Analysis
- Clippy4.3 Static Analysis Tools
12. Case Studies and Real-World Examples
- Firecracker12.1 Firecracker
- Tock12.2 Tock Operating System
- Zcash12.3 Zcash
Additional Resources
- Kani18.1 Formal Verification Advancements
- Prusti11.1 Rust Verification Tools
- Rust Analyzer
- RustCrypto17.3 Cryptographic Misuse
- Rust Cryptography Libraries
- Rust Embedded Resources
Showing a sample of 27 resources. View the full list on GitHub →