ElectionGuard is a set of open source software components that can be used to create and publish end to end verifiable elections as well create a publishable artifact for ballot comparison audits.
☆862Nov 12, 2025Updated 4 months ago
Alternatives and similar repositories for electionguard
Users that are interested in electionguard are comparing it to the libraries listed below
Sorting:
- A python module implementing the ElectionGuard specification. This implementation can be used to conduct End-to-End Verifiable Elections …☆167Dec 8, 2023Updated 2 years ago
- This repository implements the ElectionGuard API using C#. It includes all major functions of the ElectionGuard SDK, including key ceremo…☆34Jul 23, 2020Updated 5 years ago
- ElectionGuard Web API in python to demonstrate usage of electionguard-python in performing ballot encryption, casting, spoiling, and tall…☆37Aug 2, 2023Updated 2 years ago
- This repository contains a specification describing the ElectionGuard software development kit, including cryptographic protocols and imp…☆28Aug 28, 2024Updated last year
- Core codebase of ElectionGuard 2.0☆14Feb 26, 2026Updated 3 weeks ago
- A port of electionguard-python to Java.☆11Dec 8, 2023Updated 2 years ago
- The ElectionGuard SDK Reference Verifier enables the verification of election ballots, tallies, and proofs generated by the ElectionGuard…☆44Jun 6, 2022Updated 3 years ago
- ElectionGuard monorepo in React & Typescript consisting of an api client, components, and apps to demonstrate examples of user interface …☆19Jul 19, 2023Updated 2 years ago
- ☆152Updated this week
- Common data format specification for voter records interchange data☆15Nov 8, 2021Updated 4 years ago
- Common data format specification for election results reporting data☆23Mar 29, 2023Updated 2 years ago
- Common data format specification for cast vote records☆21Jan 21, 2025Updated last year
- The BESSPIN Voting System. This system is used to demonstrate and red team SSITH secure CPUs.☆11May 26, 2021Updated 4 years ago
- VoteSecure, Free & Fair's core cryptographic library for the Mobile Voting Project☆62Feb 7, 2026Updated last month
- A C++ implementation of ElectionGuard specification focused on encryption components.☆25Sep 3, 2024Updated last year
- Cryptographic library written in JavaScript. Created at UZH as a part of an E-Voting project.☆14Jan 24, 2023Updated 3 years ago
- ACC template generation engine☆12Jun 12, 2023Updated 2 years ago
- Archive of existing evoting systems created by others.☆19Aug 22, 2018Updated 7 years ago
- DEciding Equivalence Properties in SECurity protocols☆20Mar 1, 2023Updated 3 years ago
- a PostgreSQL extension that allows you to set quotas on connections (per user, database or IP)☆13Dec 12, 2014Updated 11 years ago
- The NIST Voting Program repository☆34May 15, 2024Updated last year
- A foundational framework for modular cryptographic proofs in Coq☆77Updated this week
- An OCaml extension for RISC-V☆16Nov 6, 2020Updated 5 years ago
- ☆13Jul 24, 2021Updated 4 years ago
- Language for high-assurance and high-speed cryptography☆333Updated this week
- Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.☆3,962Apr 2, 2025Updated 11 months ago
- ☆11Sep 10, 2024Updated last year
- STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System.☆29Jun 26, 2018Updated 7 years ago
- EDHOC (RFC 9528): Lightweight authenticated key exchange in C for IoT and constrained devices☆14Mar 1, 2026Updated 2 weeks ago
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- ☆35Oct 7, 2025Updated 5 months ago
- HACL*, a formally verified cryptographic library written in F*☆1,815Oct 26, 2025Updated 4 months ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆308Updated this week
- SIDH Library is a fast and portable software library that implements state-of-the-art supersingular isogeny cryptographic schemes. The ch…☆327Mar 3, 2023Updated 3 years ago
- Search GitHub repositories☆15Apr 19, 2018Updated 7 years ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Apr 19, 2023Updated 2 years ago
- the independent voting booth for Helios☆17May 18, 2021Updated 4 years ago
- A tool for pulling data from cosmos networks and pushing it to git repos☆10Oct 12, 2021Updated 4 years ago
- A privacy-preserving, auditable, distributed voting system.☆14Jan 24, 2023Updated 3 years ago