Alternatives and similar repositories for ictm:

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

• 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
• warner / petmail
  secure messaging, file-transfer, and directory synchronization
  ☆41Updated 7 years ago
• veorq / fca
  free crypto audit
  ☆31Updated 7 years ago
• tommilligan / pyqubes
  QubesOS dom0 automation in Python
  ☆12Updated 7 years ago
• nmathewson / privcount_shamir
  ☆10Updated 6 years ago
• glamrock / anonbib
  Mirror of freehaven's anonymous research bibliography
  ☆13Updated 9 years ago
• katzenpost / mixnet_uprising
  repository for tracking open tasks
  ☆18Updated 7 years ago
• isislovecruft / signal-anonymous-credentials
  A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.
  ☆14Updated 5 years ago
• MaliciousSHA1 / MaliciousSHA1.github.io
  ☆17Updated 10 years ago
• veorq / misc
  misc stuff
  ☆19Updated 7 years ago
• david415 / reading_lists
  reading lists
  ☆31Updated 5 years ago
• gravity-postquantum / prune-horst
  Signature scheme submitted to NIST's Post-Quantum Cryptography Project
  ☆28Updated 7 years ago
• asn-d6 / flute
  Secure multiparty messaging (kindof)
  ☆21Updated 8 years ago
• tomrittervg / crypto-usability-study
  ☆29Updated 10 years ago
• USECAP / ct-infrastructure
  Docker environment that contains a Database, Monitor, Observatory and Analyzer
  ☆14Updated 3 years ago
• benlaurie / hacl
  Experimental High Assurance Cryptographic Library
  ☆20Updated 8 years ago
• Pythia3431 / Delphinium
  ☆11Updated 4 years ago
• IAIK / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• usnistgov / PasswordMetrics
  Python code for 1) permuting randomly-generated passwords for easier entry on mobile devices, and 2) for estimating entropy lost as a res…
  ☆16Updated 8 years ago
• cryptoparty / teaching-resources
  a collection of teaching resources
  ☆12Updated 6 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆27Updated 6 years ago
• HACS-workshop / links
  Links to stuff arising from or related to the HACS workshop.
  ☆35Updated 6 years ago
• securitywithoutborders / newsletter
  This is where we work on the newsletter
  ☆28Updated 7 years ago
• chelseakomlo / rust_kata
  A coding challenge to learn Rust
  ☆14Updated 7 years ago
• botherder / cryptoletter
  Simple script for PGP encrypted newsletter
  ☆26Updated 8 years ago
• bikeshedders / xchacha-rfc
  Towards an IETF RFC for XChaCha20-Poly1305
  ☆28Updated 5 years ago