FreeAndFair / evoting-systemsLinks
Archive of existing evoting systems created by others.
☆19Updated 6 years ago
Alternatives and similar repositories for evoting-systems
Users that are interested in evoting-systems are comparing it to the libraries listed below
Sorting:
- Keyname format for public-key fingerprints☆22Updated 11 years ago
- Command line client for splitting secrets using Shamir's Secret Sharing Algorithm☆15Updated 8 years ago
- An experimental cooperative keyserver based on ideas from dename.☆107Updated 8 years ago
- Swiss army knife for SSH agents☆10Updated 9 years ago
- Repeatr: Reproducible, hermetic Computation. Provision containers from Content-Addressable snapshots; run using familiar containers (e.g…☆69Updated 5 years ago
- Implementation and simulations for "CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Buil…☆23Updated 4 years ago
- A core and experimental implementation of ClaimChain☆34Updated 6 years ago
- ♥ ♥ ♥ Trevor's & Moxie's Axolotl Ratchet + AGL's xmpp-client ♥ ♥ ♥☆12Updated 10 years ago
- ☆19Updated 2 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 3 years ago
- CoSi command line interface☆21Updated 8 years ago
- A library for creating HTTP/2 servers in Haskell.☆9Updated 7 years ago
- A content addressed BTree☆34Updated 6 years ago
- A deployment of mesos via NixOps☆11Updated 10 years ago
- ☆63Updated last year
- cut out a small (binary) piece of a (binary) file☆15Updated 13 years ago
- DEPRECATED: Merkle-ized data store☆46Updated 6 years ago
- MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains☆18Updated 5 years ago
- Scripts that I used to write a blog post about section 7.24.1(2) of C11☆11Updated 9 years ago
- SPHINCS-256 practical stateless hash-based signature scheme☆26Updated 8 years ago
- A compiler for secure multiparty computation☆50Updated 8 years ago
- Decentralised gossip driven data sharing for the 21st century.☆59Updated 2 years ago
- package manager for datasets☆60Updated 10 years ago
- MRT Parser☆47Updated 6 years ago
- Derive Curve25519 encryption keys and ed25519 signing keys from username and password via BLAKE2s hash and scrypt.☆20Updated 9 years ago
- tiny command-line skeleton/snippet thing☆21Updated 6 years ago
- reading lists☆31Updated 6 years ago
- Stackbuilder builds stacks of virtual machines☆21Updated 8 months ago
- A CONIKS implementation in Java☆60Updated 6 years ago
- Mirage support for writing QubesOS AppVM unikernels☆63Updated 5 months ago