chelseakomlo / rust_kataLinks
A coding challenge to learn Rust
☆14Updated 7 years ago
Alternatives and similar repositories for rust_kata
Users that are interested in rust_kata are comparing it to the libraries listed below
Sorting:
- reading lists☆31Updated 6 years ago
- ☆10Updated 6 years ago
- repository for tracking open tasks☆18Updated 7 years ago
- A Rust implementation of the Message Layer Security group messaging protocol☆115Updated 2 years ago
- QubesOS dom0 automation in Python☆12Updated 8 years ago
- ☆40Updated 4 years ago
- MLS architecture☆74Updated 6 months ago
- Qubes component: core-vchan-xen☆15Updated 3 weeks ago
- This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.☆16Updated 7 years ago
- A user-first approach to threat modeling.☆18Updated 5 months ago
- ☆58Updated 8 years ago
- Rust bindings and key exchange for liboqs (Open Quantum Safe), a library for quantum-resistant cryptographic algorithms☆36Updated 4 years ago
- Helpers for clearing sensitive data on the stack and heap☆54Updated 3 months ago
- An experimental implementation of nQUIC in Rust☆32Updated 7 years ago
- Infinitely presentable (aeon) rerandomisable (flux) anonymous credentials.☆28Updated 4 years ago
- Off-the-Record Messaging Protocol version 4. -This is a draft- This repository is a mirror of http://bugs.otr.im/otrv4/otrv4☆190Updated 2 years ago
- ♥ ♥ ♥ Trevor's & Moxie's Axolotl Ratchet + AGL's xmpp-client ♥ ♥ ♥☆12Updated 10 years ago
- Secure multiparty messaging (kindof)☆21Updated 9 years ago
- Mix Network Bibliography☆15Updated 5 years ago
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆36Updated last year
- secure messaging, file-transfer, and directory synchronization☆41Updated 8 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆37Updated 3 years ago
- Rust Tor Controller library☆24Updated 5 years ago
- axolotl based on libsodium☆22Updated 9 years ago
- Verifying constant-time code with symbolic execution☆44Updated 3 years ago
- The secure messaging summit information☆20Updated 4 years ago
- A core and experimental implementation of ClaimChain☆34Updated 6 years ago
- Challenge Bypass using the Ristretto group☆36Updated 2 months ago
- a Private Publish Subscribe System☆50Updated last year
- A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.☆14Updated 5 years ago