grnet / zeus
Zeus server
☆60Updated 10 months ago
Alternatives and similar repositories for zeus:
Users that are interested in zeus are comparing it to the libraries listed below
- An Implementation of the Fully Homomorphic Smart-Vercauteren Cryptosystem☆44Updated 9 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 2 years ago
- A core and experimental implementation of ClaimChain☆34Updated 6 years ago
- A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.☆62Updated 6 years ago
- A Language and Compiler for Homomorphic Encryption Made easY☆67Updated 4 years ago
- Helios server☆750Updated 7 months ago
- Homomorphic Encryption PIR Postgres C/C++ Agregate Extension.☆27Updated 2 years ago
- A user-first approach to threat modeling.☆17Updated 5 years ago
- Grecka is a python script to convert Greek to Greeklish based on ELOT 743☆12Updated 6 years ago
- Experiments in homomorphic encryption☆31Updated 10 years ago
- js-ctypes wrapper for libotr☆29Updated 7 years ago
- Super Amazing Universal Composability, Yeah!☆34Updated 3 years ago
- Merkle-tree in Python☆72Updated 5 months ago
- Privacy-preserving auditing for distributed ledgers☆66Updated 6 years ago
- A python library that implements a number of Privacy Enhancing Technolgies☆132Updated 2 years ago
- PANORAMIX repo☆20Updated 2 years ago
- PassLok privacy app☆31Updated 3 weeks ago
- Links to stuff arising from or related to the HACS workshop.☆34Updated 7 years ago
- Privacy enhanced instant messenger☆44Updated 5 years ago
- A project to convert the world to liquid democracy☆41Updated 4 years ago
- ☆10Updated 6 years ago
- Example of storing cryptographic keys with IndexedDB☆18Updated 10 years ago
- XPIR: Private Information Retrieval for Everyone☆119Updated 3 years ago
- manage multi-use community houses: members, guests, events.☆132Updated 9 months ago
- Keyname format for public-key fingerprints☆22Updated 10 years ago
- A C++ implementation of the TinyLEGO cryptographic protocol [NST17] for general secure two-party computation☆16Updated 7 years ago
- A system for secure, trusted, and verifiable voting on the web☆119Updated last year
- An hash-chain with efficient O(1) append and O(logN) proof.☆14Updated 6 years ago
- ☆62Updated 10 years ago
- Synchronization Of Locally Encrypted Data Among Devices☆39Updated 6 years ago