Alternatives and similar repositories for zeus:

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

• GaloisInc / e2eviv
  Artifacts associated with the U.S. Vote Foundation's E2E-VIV Project (end-to-end verifiable internet voting).
  ☆17Updated 6 years ago
• fmerg / pymerkle
  Merkle-tree in Python
  ☆71Updated 3 months 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
• Fraunhofer-AISEC / libpabc
  ☆13Updated last year
• verificatum / verificatum-vjsc
  NEWS! We will soon release a TypeScript transpilation and improvement of this library. Self-contained cryptographic library for use in el…
  ☆15Updated 3 years ago
• embassynetwork / modernomad
  manage multi-use community houses: members, guests, events.
  ☆132Updated 7 months ago
• grnet / panoramix
  PANORAMIX repo
  ☆20Updated 2 years ago
• mc2-umd / ethereumlab
  ☆71Updated 5 years ago
• meck93 / evote-crypto
  Cryptographic library written in JavaScript. Created at UZH as a part of an E-Voting project.
  ☆14Updated 2 years ago
• ReverseControl / MuchPIR
  Homomorphic Encryption PIR Postgres C/C++ Agregate Extension.
  ☆27Updated 2 years ago
• defuse / ictm
  A user-first approach to threat modeling.
  ☆16Updated 5 years ago
• gstew5 / snarkl
  ☆59Updated 2 years ago
• HACS-workshop / links
  Links to stuff arising from or related to the HACS workshop.
  ☆35Updated 7 years ago
• gdanezis / petlib
  A python library that implements a number of Privacy Enhancing Technolgies
  ☆132Updated 2 years ago
• claimchain / claimchain-core
  A core and experimental implementation of ClaimChain
  ☆34Updated 6 years ago
• JHUISI / auto-tools
  Automated Cryptographic Transformations
  ☆27Updated 3 years ago
• cryptimeleon / upb.crypto.clarc
  Cryptographic Library for Anonymous Reputation and Credentials
  ☆12Updated 3 years ago
• calaylin / CodeStylometry
  Programmer De-anonymization via Code Stylometry
  ☆74Updated 7 years ago
• citizenos / citizenos-fe-old
  Citizen OS front-end web application - https://app.citizenos.com/
  ☆37Updated 10 months ago
• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆66Updated 4 years ago
• nazar-pc / ronion
  Generic anonymous routing protocol framework agnostic to encryption algorithm and transport layer
  ☆15Updated 6 years ago
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆33Updated 2 years ago
• AarhusCrypto / TinyLEGO
  A C++ implementation of the TinyLEGO cryptographic protocol [NST17] for general secure two-party computation
  ☆16Updated 7 years ago
• eellak / gsoc17module-zeus
  Repository of GSOC 2017 GFOSS Project for improving Zeus.
  ☆8Updated 7 years ago
• IRTF-HRPC / drafts
  Drafts of the IRTF-HRPC research group.
  ☆15Updated 2 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆28Updated 7 months ago
• gdanezis / PET-Exercises
  Exercises in Privacy Enhancing Technologies (UCL Information Security MSc; Course COMPGA17)
  ☆38Updated 4 years ago
• arlolra / ctypes-otr
  js-ctypes wrapper for libotr
  ☆29Updated 7 years ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆10Updated last week
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆49Updated 10 months ago