chelseakomlo / rust_kata

Related projects: ⓘ

• katzenpost / docs
  specification and design documents
  ☆53Updated last year
• nmathewson / privcount_shamir
  ☆10Updated 5 years ago
• asn-d6 / flute
  Secure multiparty messaging (kindof)
  ☆21Updated 8 years ago
• isislovecruft / xocolatl
  ♥ ♥ ♥ Trevor's & Moxie's Axolotl Ratchet + AGL's xmpp-client ♥ ♥ ♥
  ☆12Updated 9 years ago
• dalek-cryptography / dalek-rangeproofs
  This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.
  ☆16Updated 6 years ago
• katzenpost / mixnet_uprising
  repository for tracking open tasks
  ☆18Updated 6 years ago
• claucece / Secure-Messaging-Summit
  The secure messaging summit information
  ☆20Updated 3 years ago
• agl / postquantum
  ☆14Updated this week
• claimchain / claimchain-core
  A core and experimental implementation of ClaimChain
  ☆34Updated 5 years ago
• david415 / reading_lists
  reading lists
  ☆31Updated 5 years ago
• stef / libsaxolotl
  axolotl based on libsodium
  ☆22Updated 8 years ago
• tommilligan / pyqubes
  QubesOS dom0 automation in Python
  ☆12Updated 7 years ago
• mullvad / oqs-rs
  Rust bindings and key exchange for liboqs (Open Quantum Safe), a library for quantum-resistant cryptographic algorithms
  ☆35Updated 3 years ago
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆40Updated 2 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…
  ☆35Updated 2 years ago
• imichaelmiers / libforwardsec
  ☆57Updated 7 years ago
• quininer / rust-hacl-star
  HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
  ☆27Updated 4 years ago
• ahf / passphrase-identity
  Regenerable ed25519 keys for OpenSSH and OpenPGP.
  ☆34Updated 4 years ago
• isislovecruft / aeonflux
  Infinitely presentable (aeon) rerandomisable (flux) anonymous credentials.
  ☆28Updated 3 years ago
• HACS-workshop / hacspec
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆46Updated 3 years ago
• kaepora / permakey
  ☆27Updated this week
• armfazh / flor-sidh-x64
  This software library is a C-language + optimized assembly code that supports an instance of the Super-Singular Isogeny Diffie-Hellman (S…
  ☆9Updated 5 years ago
• cesarb / clear_on_drop
  Helpers for clearing sensitive data on the stack and heap
  ☆54Updated last year
• infinity0 / msg-notes
  Notes relating to secure messaging
  ☆19Updated 8 years ago
• canndrew / gnunet-rs
  GNUnet bindings for Rust
  ☆15Updated 6 years ago
• mlswg / mls-architecture
  MLS architecture
  ☆66Updated 2 weeks ago
• isislovecruft / ristretto-donna
  A fork of floodyberry's ed25519-donna modified to support the Ristretto prime-order group
  ☆13Updated 3 years ago
• cryptouri / cryptouri.rs
  Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding
  ☆34Updated 10 months ago
• smimp / smimp_spec
  ☆17Updated this week