grnet / zeus

Related projects ⓘ

Alternatives and complementary repositories for zeus

• ThemisB / diavgeiaRedefined
  Diavgeia using Semantic Technologies and Permissionless Blockchains
  ☆17Updated 6 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…
  ☆36Updated 2 years ago
• cryptobib / db
  CryptoBib Database for Developers
  ☆40Updated last week
• hcrypt-project / libScarab
  An Implementation of the Fully Homomorphic Smart-Vercauteren Cryptosystem
  ☆44Updated 9 years ago
• JHUISI / auto-tools
  Automated Cryptographic Transformations
  ☆27Updated 3 years ago
• benadida / helios-server
  Helios server
  ☆730Updated 2 months ago
• markvdb / diybookscanner
  official diybookscanner repository
  ☆39Updated 10 years ago
• DeepSec-prover / deepsec
  DEciding Equivalence Properties in SECurity protocols
  ☆17Updated last year
• gdanezis / petlib
  A python library that implements a number of Privacy Enhancing Technolgies
  ☆134Updated 2 years ago
• nmathewson / privcount_shamir
  ☆10Updated 6 years ago
• cascremers / scyther
  The Scyther Tool for the symbolic analysis of security protocols
  ☆99Updated 6 months ago
• cpeikert / Lol
  Λ ⚬ λ: Functional Lattice Cryptography
  ☆224Updated 3 years ago
• mdipierro / evote
  A system for secure, trusted, and verifiable voting on the web
  ☆119Updated last year
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆31Updated last year
• Inria-Prosecco / reftls
  ☆29Updated 7 months ago
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆319Updated this week
• cryptobib / cryptobib
  CryptoBib Main Repository for Developers
  ☆18Updated 3 months ago
• bogdan-kulynych / libshe
  Symmetric somewhat homomorphic encryption library based on DGHV
  ☆27Updated 7 years ago
• HACS-workshop / links
  Links to stuff arising from or related to the HACS workshop.
  ☆35Updated 6 years ago
• 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 2 years ago
• gustin / opaque
  OPAQUE protocol, a secure asymmetric password authenticated key exchange (aPAKE) that supports mutual authentication in a client-server s…
  ☆74Updated 3 years ago
• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆66Updated 4 years ago
• ReverseControl / MuchPIR
  Homomorphic Encryption PIR Postgres C/C++ Agregate Extension.
  ☆27Updated 2 years ago
• leapcode / soledad
  Synchronization Of Locally Encrypted Data Among Devices
  ☆39Updated 5 years ago
• meck93 / evote-crypto
  Cryptographic library written in JavaScript. Created at UZH as a part of an E-Voting project.
  ☆13Updated last year
• FaiplayMP / FairplayMP
  FairplayMP provides secure multiparty computation.
  ☆45Updated 9 years ago
• IAIK / pairings_in_c
  C library for bilinear pairings
  ☆26Updated 7 years ago
• mmeh / simon-speck-cryptanalysis
  Cryptanalysis code for the SIMON and SPECK families of block ciphers
  ☆20Updated 8 years ago
• UCL-InfoSec / loopix
  The public repository of the Loopix mix system
  ☆68Updated 7 years ago
• cryptimeleon / upb.crypto.clarc
  Cryptographic Library for Anonymous Reputation and Credentials
  ☆12Updated 2 years ago