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.
https://github.com/ianonymous3000/awesome-rust-security-guide
Last synced: 5 days ago
JSON representation
-
6. Privacy-Preserving Technologies
-
6.2 Secure Multi-Party Computation
- KZen Networks' multi-party ECDSA - dex/frost) showcase Rust's potential in the MPC domain.
-
6.3 Homomorphic Encryption
- concrete - rs](https://github.com/tfhe/tfhe-rs) implement various HE primitives and schemes.
-
6.1 Zero-Knowledge Proofs
- Bellman - rs) provide building blocks for constructing ZKP circuits and protocols.
-
-
18. Emerging Trends in Rust Security
-
15. Security Testing in Rust
-
15.2 Property-Based Testing
-
15.1 Fuzz Testing
-
-
16. Secure API Design
-
16.2 Error Handling in APIs
-
-
Additional Resources
-
2. Safe Concurrency
-
2.3 Send and Sync Traits
-
-
7. Secure Coding Practices in Rust
-
7.5 Dependency Management
-
-
3. Safe FFI and Interoperability
-
3.2 Unsafe Code
-
3.3 Bindgen
-
-
11. Formal Verification
-
11.2 Verification-Friendly Rust Subsets
-
-
12. Case Studies and Real-World Examples
-
13. Rust Security Community and Initiatives
-
13.3 Community Participation and Collaboration
- Rust Security Forum - security` IRC channel.
-
-
4. Security Auditing and Analysis
-
4.3 Static Analysis Tools
- Clippy - lang/rust-analyzer) provide linting, code analysis, and vulnerability detection.
-
-
17. Troubleshooting Guide
-
17.4 Performance Bottlenecks
-
17.1 Memory Safety Issues
-
17.2 Concurrency Bugs
-
Categories
Additional Resources
10
6. Privacy-Preserving Technologies
3
12. Case Studies and Real-World Examples
3
17. Troubleshooting Guide
3
15. Security Testing in Rust
2
3. Safe FFI and Interoperability
2
18. Emerging Trends in Rust Security
2
11. Formal Verification
1
4. Security Auditing and Analysis
1
16. Secure API Design
1
2. Safe Concurrency
1
7. Secure Coding Practices in Rust
1
13. Rust Security Community and Initiatives
1
Sub Categories
18.3 Post-Quantum Cryptography
11
16.2 Error Handling in APIs
1
15.2 Property-Based Testing
1
11.2 Verification-Friendly Rust Subsets
1
4.3 Static Analysis Tools
1
12.2 Tock Operating System
1
17.2 Concurrency Bugs
1
3.2 Unsafe Code
1
13.3 Community Participation and Collaboration
1
7.5 Dependency Management
1
6.1 Zero-Knowledge Proofs
1
6.3 Homomorphic Encryption
1
12.1 Firecracker
1
12.3 Zcash
1
17.4 Performance Bottlenecks
1
15.1 Fuzz Testing
1
6.2 Secure Multi-Party Computation
1
2.3 Send and Sync Traits
1
18.2 Zero-Knowledge Proofs and Privacy-Preserving Computation
1
17.1 Memory Safety Issues
1
3.3 Bindgen
1
Keywords
rust
7
verification
2
cryptography
2
perf
1
flamegraphs
1
viper
1
formal-verification
1
tock
1
secure-operating-system
1
risc-v
1
operating-system
1
microcontroller
1
mcu
1
kernel
1
iot
1
embedded
1
cortex-m
1
arm
1
lint
1
ffi
1
codegen
1
bindings
1
virtualization
1
virtual-machine
1
serverless
1
sandbox
1
oversubscription
1
open-source
1
minimalist
1
model-checking
1
pqcrypto
1
pqc
1
post-quantum-cryptography
1
post-quantum
1
implementations
1
c
1
secure-coding
1
recommendations
1
good-practices
1
fuzzing
1
fuzz-testing
1
cargo
1
tfhe
1
security
1
python
1
privacy
1
mlir
1
llvm
1
homomorphic-encryption-library
1
homomorphic-encryption
1