chelseakomlo / rust_kata

Related projects ⓘ

Alternatives and complementary repositories for rust_kata

• asn-d6 / flute
  Secure multiparty messaging (kindof)
  ☆21Updated 8 years ago
• katzenpost / docs
  specification and design documents
  ☆53Updated last year
• dalek-cryptography / dalek-rangeproofs
  This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.
  ☆16Updated 6 years ago
• canndrew / gnunet-rs
  GNUnet bindings for Rust
  ☆15Updated 6 years ago
• isislovecruft / xocolatl
  ♥ ♥ ♥ Trevor's & Moxie's Axolotl Ratchet + AGL's xmpp-client ♥ ♥ ♥
  ☆12Updated 9 years ago
• QubesOS / qubes-core-vchan-xen
  Qubes component: core-vchan-xen
  ☆13Updated 3 months ago
• david415 / reading_lists
  reading lists
  ☆31Updated 5 years ago
• cesarb / clear_on_drop
  Helpers for clearing sensitive data on the stack and heap
  ☆54Updated last year
• katzenpost / mixnet_uprising
  repository for tracking open tasks
  ☆18Updated 6 years ago
• mullvad / oqs-rs
  Rust bindings and key exchange for liboqs (Open Quantum Safe), a library for quantum-resistant cryptographic algorithms
  ☆36Updated 4 years ago
• cryptouri / cryptouri.rs
  Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding
  ☆34Updated last year
• dedis / cosi
  CoSi command line interface
  ☆21Updated 7 years ago
• Dhole / rust-tor-controller
  Rust Tor Controller library
  ☆25Updated 4 years ago
• stef / libsaxolotl
  axolotl based on libsodium
  ☆22Updated 8 years ago
• brave-intl / challenge-bypass-ristretto
  Challenge Bypass using the Ristretto group
  ☆35Updated this week
• nmathewson / privcount_shamir
  ☆10Updated 6 years ago
• claimchain / claimchain-core
  A core and experimental implementation of ClaimChain
  ☆34Updated 6 years ago
• Randati / cjdrs
  ☆19Updated 9 years ago
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆42Updated 3 years ago
• imichaelmiers / libforwardsec
  ☆57Updated 7 years ago
• ebfull / nemo
  Session types for asynchronous networking
  ☆20Updated 9 years ago
• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆46Updated 4 years ago
• franziskuskiefer / rust-hacl-star
  HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
  ☆27Updated 4 years ago
• mmou / threshold-OPAQUE
  OPAQUE asymmetric PAKE, and its threshold implementation. Experimental, not audited.
  ☆16Updated 3 years ago
• Inria-Prosecco / proscript-messaging
  Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…
  ☆36Updated 2 years ago
• defuse / ictm
  A user-first approach to threat modeling.
  ☆15Updated 5 years ago