Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 3 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
-
6.1 Zero-Knowledge Proofs
- Bellman - rs) provide building blocks for constructing ZKP circuits and protocols.
-
-
Additional Resources
-
18.3 Post-Quantum Cryptography
-
-
15. Security Testing in Rust
-
15.2 Property-Based Testing
-
15.1 Fuzz Testing
-
-
16. Secure API Design
-
16.2 Error Handling in APIs
-
-
18. Emerging Trends in Rust Security
-
3. Safe FFI and Interoperability
-
3.2 Unsafe Code
-
3.3 Bindgen
-
-
2. Safe Concurrency
-
2.3 Send and Sync Traits
-
-
4. Security Auditing and Analysis
-
7. Secure Coding Practices in Rust
-
7.5 Dependency Management
- `cargo-audit`
- `cargo-audit`
- Rust Security Guidelines - and-security).
-
-
11. Formal Verification
-
12. Case Studies and Real-World Examples
-
12.1 Firecracker
-
12.2 Tock Operating System
-
12.3 Zcash
-
-
13. Rust Security Community and Initiatives
-
13.3 Community Participation and Collaboration
- Rust Security Forum - security` IRC channel.
- Rust Security Forum - security` IRC channel.
-
13.1 Rust Secure Code Working Group
-
-
17. Troubleshooting Guide
-
17.1 Memory Safety Issues
-
17.2 Concurrency Bugs
-
17.4 Performance Bottlenecks
-
17.3 Cryptographic Misuse
- RustCrypto - maintained and audited cryptographic implementations.
-
Categories
Additional Resources
14
12. Case Studies and Real-World Examples
6
17. Troubleshooting Guide
6
6. Privacy-Preserving Technologies
4
3. Safe FFI and Interoperability
4
18. Emerging Trends in Rust Security
4
7. Secure Coding Practices in Rust
3
13. Rust Security Community and Initiatives
3
15. Security Testing in Rust
2
11. Formal Verification
2
4. Security Auditing and Analysis
2
16. Secure API Design
1
2. Safe Concurrency
1
Sub Categories
18.3 Post-Quantum Cryptography
16
7.5 Dependency Management
3
11.2 Verification-Friendly Rust Subsets
2
4.3 Static Analysis Tools
2
12.2 Tock Operating System
2
17.2 Concurrency Bugs
2
3.2 Unsafe Code
2
13.3 Community Participation and Collaboration
2
6.3 Homomorphic Encryption
2
12.1 Firecracker
2
12.3 Zcash
2
18.2 Zero-Knowledge Proofs and Privacy-Preserving Computation
2
17.1 Memory Safety Issues
2
3.3 Bindgen
2
17.3 Cryptographic Misuse
1
6.1 Zero-Knowledge Proofs
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
15.2 Property-Based Testing
1
16.2 Error Handling in APIs
1
13.1 Rust Secure Code Working Group
1
Keywords
rust
12
cryptography
4
verification
3
virtualization
2
virtual-machine
2
serverless
2
sandbox
2
oversubscription
2
open-source
2
minimalist
2
containers
2
tfhe
2
security
2
python
2
privacy
2
mlir
2
llvm
2
homomorphic-encryption-library
2
homomorphic-encryption
2
gdpr
2
fully-homomorphic-encryption
2
fhe
2
encryption
2
crypto
2
compiler
2
lint
2
ffi
2
codegen
2
pqcrypto
2
pqc
2
post-quantum-cryptography
2
post-quantum
2
implementations
2
c
2
good-practices
2
recommendations
2
secure-coding
2
formal-verification
2
viper
2
tock
2
secure-operating-system
2
risc-v
2
operating-system
2
microcontroller
2
mcu
2
kernel
2
iot
2
embedded
2
cortex-m
2
arm
2