chelseakomlo / rust_kata
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
- specification and design documents☆54Updated 2 years ago
- A user-first approach to threat modeling.☆17Updated 5 years ago
- Secure multiparty messaging (kindof)☆21Updated 8 years ago
- This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.☆16Updated 6 years ago
- ☆10Updated 6 years ago
- repository for tracking open tasks☆18Updated 7 years ago
- Rust bindings and key exchange for liboqs (Open Quantum Safe), a library for quantum-resistant cryptographic algorithms☆35Updated 4 years ago
- Authenticated encryption scheme prover/synthesizer☆15Updated 2 years ago
- GNUnet bindings for Rust☆15Updated 6 years ago
- Helpers for clearing sensitive data on the stack and heap☆54Updated 2 years ago
- Challenge Bypass using the Ristretto group☆35Updated this week
- ♥ ♥ ♥ Trevor's & Moxie's Axolotl Ratchet + AGL's xmpp-client ♥ ♥ ♥☆12Updated 10 years ago
- A core and experimental implementation of ClaimChain☆34Updated 6 years ago
- HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).☆28Updated 5 years ago
- ☆40Updated 4 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 2 years ago
- This software library is a C-language + optimized assembly code that supports an instance of the Super-Singular Isogeny Diffie-Hellman (S…☆9Updated 6 years ago
- 🎄🖋 A Rust implementation of Merkle signing☆15Updated 4 years ago
- Rust Tor Controller library☆25Updated 5 years ago
- The secure messaging summit information☆20Updated 4 years ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Updated 4 years ago
- Rust implementation of Miscreant: misuse-resistant encryption library with AES-SIV (RFC 5297) and AES-PMAC-SIV support☆46Updated 4 years ago
- Verifying constant-time code with symbolic execution☆42Updated 3 years ago
- reading lists☆31Updated 6 years ago
- A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.☆14Updated 5 years ago
- Infinitely presentable (aeon) rerandomisable (flux) anonymous credentials.☆28Updated 4 years ago
- A client library for interfacing with ssb from rust.☆39Updated 3 years ago
- Small, self-contained C implementation of Ristretto255 based on libdecaf☆13Updated 6 years ago
- ☆81Updated 5 years ago
- Deterministic And Verifiable Randomness On Schnorr signatures☆13Updated 7 years ago