FreeAndFair / evoting-systems
Archive of existing evoting systems created by others.
☆19Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for evoting-systems
- A forward-secure append-only persistent authenticated data structure☆14Updated 8 years ago
- CoSi command line interface☆21Updated 7 years ago
- A content addressed BTree☆32Updated 5 years ago
- ☆19Updated last year
- Apache Milagro (Incubating)☆42Updated 8 months ago
- The secure messaging summit information☆20Updated 4 years ago
- Mix Network Bibliography☆15Updated 4 years ago
- MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains☆18Updated 4 years ago
- DEPRECATED: Merkle-ized data store☆46Updated 5 years ago
- Implementation of the Fish and Begol signature schemes☆13Updated 7 years ago
- A core and experimental implementation of ClaimChain☆34Updated 6 years ago
- An experimental cooperative keyserver based on ideas from dename.☆107Updated 7 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆13Updated 3 years ago
- CONIKS design documents☆16Updated 8 years ago
- BLS working standard draft☆39Updated 5 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
- Cryptographic library written in JavaScript. Created at UZH as a part of an E-Voting project.☆13Updated last year
- [DEPRECATED] - Apache Milagro Crypto Incubator☆63Updated 5 years ago
- specification and design documents☆53Updated last year
- Pung: a fully untrusted private communication system☆33Updated 4 years ago
- High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.☆14Updated 3 years ago
- ☆18Updated last year
- a web page / paper☆18Updated 7 years ago
- library for implementing the server side of the mix network: mixes and providers☆26Updated last year
- Keyname format for public-key fingerprints☆22Updated 10 years ago
- a Private Publish Subscribe System☆47Updated 6 months ago
- Formalization of Tendermint proposer election properties☆15Updated 5 years ago
- Links to stuff arising from or related to the HACS workshop.☆35Updated 6 years ago
- C++ library for evaluating arithmetic circuits on batches of inputs☆15Updated 8 years ago