Helios: web-based open-audit voting. Voting with cryptographic auditing, sometimes called open-audit voting, has remained, for the most part, a the- oretical endeavor. In spite of dozens of fascinating pro- tocols and recent ground-breaking advances in the field, there exist only a handful of specialized implementations that few people have experienced directly. As a result, the benefits of cryptographically audited elections have remained elusive. We present Helios, the first web-based, open-audit voting system. Helios is publicly accessible today: any- one can create and run an election, and any willing ob- server can audit the entire process. Helios is ideal for on- line software communities, local clubs, student govern- ment, and other environments where trustworthy, secret- ballot elections are required but coercion is not a serious concern. With Helios, we hope to expose many to the power of open-audit elections

References in zbMATH (referenced in 12 articles )

Showing results 1 to 12 of 12.
Sorted by year (citations)

  1. Smyth, Ben: Surveying global verifiability (2020)
  2. Meyer, Maxime; Smyth, Ben: Exploiting re-voting in the Helios election system (2019)
  3. Marcos del Blanco, David Yeregui; Panizo Alonso, Luis; Hermida Alonso, Jose Angel: Review of cryptographic schemes applied to remote electronic voting systems: remaining challenges and the upcoming post-quantum paradigm (2018)
  4. Quaglia, Elizabeth A.; Smyth, Ben: Secret, verifiable auctions from elections (2018)
  5. Dreier, Jannik; Duménil, Charles; Kremer, Steve; Sasse, Ralf: Beyond subterm-convergent equational theories in automated verification of stateful protocols (2017)
  6. Culnane, Chris; Teague, Vanessa: Strategies for voter-initiated election audits (2016)
  7. Cuvelier, Édouard; Pereira, Olivier: Verifiable multi-party computation with perfectly private audit trail (2016)
  8. Meadows, Catherine: Emerging issues and trends in formal methods in cryptographic protocol analysis: twelve years later (2015)
  9. Bhargavan, Karthikeyan; Delignat-Lavaud, Antoine; Maffeis, Sergio: Defensive JavaScript: building and verifying secure web components (2014) ioport
  10. McCarthy, Adam; Smyth, Ben; Quaglia, Elizabeth A.: Hawk and Aucitas: e-auction schemes from the helios and civitas e-voting schemes (2014) ioport
  11. Moran, Murat; Heather, James; Schneider, Steve: Verifying anonymity in voting systems using CSP (2014) ioport
  12. Jonker, Hugo; Mauw, Sjouke; Pang, Jun: Privacy and verifiability in voting systems: methods, developments and trends (2013)