Helios
Search this site
Home
Installation
Verification Specs
Helios v1 and v2 Verification Specs
Helios v3 Verification Specs
Helios v4
Attacks and Defenses
Recent site activity
Home
This is the documentation site for the
Helios Voting System
.
The Helios Voting system is led by Ben Adida. Significant contributors to the source code are listed:
https://github.com/benadida/helios-server/blob/master/CONTRIBUTORS.txt