Alternatives and similar repositories for e2eviv

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

• amaloz / ae-generator
  Authenticated encryption scheme prover/synthesizer
  ☆15Updated 3 years ago
• trevp / keyname
  Keyname format for public-key fingerprints
  ☆22Updated 11 years ago
• haskell-cryptography / cacophony
  A Haskell library implementing the Noise protocol.
  ☆102Updated 11 months ago
• GaloisInc / ec2-unikernel
  Tool for uploading unikernels into EC2
  ☆77Updated 7 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 9 years ago
• kadena-io / masala
  Standalone Ethereum Virtual Machine
  ☆52Updated 3 years ago
• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆47Updated 5 years ago
• amiller / lambda-auth
  authenticated data structures, generically
  ☆55Updated 9 years ago
• sinahab / shamir-secret-sharing
  Shamir secret sharing in Haskell.
  ☆15Updated 8 years ago
• FreeAndFair / evoting-systems
  Archive of existing evoting systems created by others.
  ☆19Updated 7 years ago
• cleichner / haskell-ipfs
  Haskell implementation of the InterPlanetary File System
  ☆14Updated 11 years ago
• meiersi / scyther-proof
  A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  ☆17Updated 10 years ago
• scslab / hails
  The security-centric web platform framework
  ☆52Updated 9 years ago
• mlswg / mls-architecture
  MLS architecture
  ☆74Updated 8 months ago
• gstew5 / snarkl
  ☆59Updated 3 years ago
• mirage / mirage-qubes
  Mirage support for writing QubesOS AppVM unikernels
  ☆64Updated 10 months ago
• asn-d6 / flute
  Secure multiparty messaging (kindof)
  ☆21Updated 9 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
• cbor / spec-with-errata-fixed
  RFC 7049 with the known errata fixed
  ☆38Updated 11 years ago
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 9 years ago
• project-everest / everest
  ☆204Updated 2 months ago
• sdiehl / double-ratchet
  Double ratchet algorithm for E2E encryption
  ☆59Updated 7 years ago
• HACS-workshop / links
  Links to stuff arising from or related to the HACS workshop.
  ☆34Updated 7 years ago
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆210Updated 5 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• diekmann / Iptables_Semantics
  Verified iptables Firewall Ruleset Analysis
  ☆99Updated last year
• Yawning / sphincs256
  SPHINCS-256 practical stateless hash-based signature scheme
  ☆26Updated 9 years ago
• bkirwi / ethereum-haskell
  An independent reimplementation of Ethereum in Haskell
  ☆81Updated 10 years ago
• konnov / fault-tolerant-benchmarks
  Fault-tolerant distributed algorithms encoded in a formal language
  ☆14Updated 5 years ago
• gsdlab / clafer
  Clafer is a lightweight modeling language
  ☆47Updated 10 months ago