Helios voting system
E487740
electronic voting system
end-to-end verifiable voting system
open-source software
web-based application
The Helios voting system is an open-source, web-based end-to-end verifiable electronic voting platform designed for secure, transparent, and auditable elections, often used in academic and organizational settings.
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf |
electronic voting system
ⓘ
end-to-end verifiable voting system ⓘ open-source software ⓘ web-based application ⓘ |
| allows |
anyone to verify tally correctness
ⓘ
voters to verify inclusion of their ballot ⓘ |
| deploymentModel |
self-hosted
ⓘ
software-as-a-service ⓘ |
| designedFor |
auditable elections
ⓘ
secure elections ⓘ transparent elections ⓘ |
| hasAuthor | Ben Adida NERFINISHED ⓘ |
| hasDeveloper |
Ben Adida
NERFINISHED
ⓘ
Helios community ⓘ |
| hasFeature |
auditability
ⓘ
cryptographic ballot encryption ⓘ end-to-end verifiability ⓘ individual verifiability ⓘ mixnet or homomorphic tallying support ⓘ public bulletin board ⓘ universal verifiability ⓘ voter authentication integration ⓘ web-based election management interface ⓘ |
| hasProperty |
cryptographically protected tally
ⓘ
open audit trail ⓘ supports multiple election types ⓘ supports secret ballots ⓘ web-based user interface ⓘ |
| hasUseCase |
academic elections
ⓘ
organizational internal elections ⓘ professional association elections ⓘ student government elections ⓘ |
| isOpenSource | true ⓘ |
| license | GNU Affero General Public License NERFINISHED ⓘ |
| programmingLanguage | Python ⓘ |
| publishes | encrypted ballots on a public bulletin board ⓘ |
| relatedTo |
electronic voting security
ⓘ
end-to-end verifiable voting research ⓘ |
| stores | encrypted ballots ⓘ |
| supports |
remote voting
ⓘ
web-based voting ⓘ |
| typicalUser |
non-profit organizations
ⓘ
professional societies ⓘ research institutions ⓘ universities ⓘ |
| usedIn | academic studies of e-voting ⓘ |
| uses |
homomorphic encryption
ⓘ
public-key cryptography ⓘ zero-knowledge proofs ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.