No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes

Date

2017

Authors

Moses, Lyria Bennett
Gore, Rajeev
Levy, Ron
Pattinson, Dirk
Tiwari, Mukesh

Journal Title

Journal ISSN

Volume Title

Publisher

Springer Verlag

Abstract

We argue that electronic vote-counting software can engender broad-based public trust in elections to public office only if they are formally verified against their legal definition and only if they can produce an easily verifiable certificate for the correctness of the count. We then show that both are achievable for the Schulze method of vote-counting, even when the election involves millions of ballots. We argue that our methodology is applicable to any vote-counting scheme that is rigorously specified. Consequently, the current practice of using unverified and unverifiable vote counting software for elections to public office is untenable. In particular, proprietary closed source vote-counting software is simply inexcusable.

Description

Keywords

Citation

Source

Lecture Notes in Computer Science

Type

Conference paper

Book Title

Electronic Voting : Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings

Entity type

Access Statement

License Rights

DOI

10.1007/978-3-319-68687-5_5

Restricted until

2099-12-31