Alternatives and similar repositories for rust_kata

Users that are interested in rust_kata are comparing it to the libraries listed below

• dalek-cryptography / dalek-rangeproofs
  This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.
  ☆16Updated 7 years ago
• nmathewson / privcount_shamir
  ☆10Updated 6 years ago
• tommilligan / pyqubes
  QubesOS dom0 automation in Python
  ☆12Updated 8 years ago
• asn-d6 / flute
  Secure multiparty messaging (kindof)
  ☆21Updated 9 years ago
• canndrew / gnunet-rs
  GNUnet bindings for Rust
  ☆15Updated 7 years ago
• defuse / ictm
  A user-first approach to threat modeling.
  ☆19Updated 6 months ago
• rozbb / molasses
  A Rust implementation of the Message Layer Security group messaging protocol
  ☆115Updated 2 years ago
• mlswg / mls-architecture
  MLS architecture
  ☆74Updated 7 months ago
• david415 / reading_lists
  reading lists
  ☆31Updated 6 years ago
• Dhole / rust-tor-controller
  Rust Tor Controller library
  ☆24Updated 5 years ago
• cesarb / clear_on_drop
  Helpers for clearing sensitive data on the stack and heap
  ☆54Updated 4 months ago
• withoutboats / pbp
  pretty bad protocol
  ☆63Updated 4 years ago
• amaloz / ae-generator
  Authenticated encryption scheme prover/synthesizer
  ☆15Updated 3 years ago
• katzenpost / mixnet_uprising
  repository for tracking open tasks
  ☆18Updated 7 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…
  ☆37Updated 3 years ago
• signalapp / libsignal-protocol-rust
  ☆40Updated 4 years ago
• brave-intl / challenge-bypass-ristretto
  Challenge Bypass using the Ristretto group
  ☆36Updated 3 weeks ago
• SpinResearch / merkle_sigs.rs
  🎄🖋 A Rust implementation of Merkle signing
  ☆15Updated 5 years ago
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆44Updated 4 years ago
• imichaelmiers / libforwardsec
  ☆58Updated 8 years ago
• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆47Updated 4 years ago
• trevp / screech
  Rust implementation of Noise
  ☆126Updated 8 years ago
• isislovecruft / xocolatl
  ♥ ♥ ♥ Trevor's & Moxie's Axolotl Ratchet + AGL's xmpp-client ♥ ♥ ♥
  ☆12Updated 10 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 7 years ago
• mullvad / oqs-rs
  Rust bindings and key exchange for liboqs (Open Quantum Safe), a library for quantum-resistant cryptographic algorithms
  ☆36Updated 5 years ago
• bifurcation / tamarin-ake
  Models for authenticated key exchange in Tamarin
  ☆12Updated 6 years ago
• isislovecruft / aeonflux
  Infinitely presentable (aeon) rerandomisable (flux) anonymous credentials.
  ☆29Updated 4 years ago
• cryptouri / cryptouri.rs
  Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding
  ☆36Updated last year
• QubesOS / qubes-core-vchan-xen
  Qubes component: core-vchan-xen
  ☆15Updated last month
• infinity0 / msg-notes
  Notes relating to secure messaging
  ☆19Updated 9 years ago