@inproceedings{62503889923a458e89116239922bd954,
title = "No more excuses: Automated synthesis of practical and verifiable vote-counting programs for complex voting schemes",
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.",
author = "{Bennett Moses}, Lyria and Rajeev Gor{\'e} and Ron Levy and Dirk Pattinson and Mukesh Tiwari",
note = "Publisher Copyright: {\textcopyright} 2017, Springer International Publishing AG.; 2nd International Joint Conference on Electronic Voting, E-Vote-ID 2017 ; Conference date: 24-10-2017 Through 27-10-2017",
year = "2017",
doi = "10.1007/978-3-319-68687-5_5",
language = "English",
isbn = "9783319686868",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "66--83",
editor = "Melanie Volkamer and Olivier Pereira and Robert Krimmer and Norbert Kersting and Carsten Schurmann and {Braun Binder}, Nadja",
booktitle = "Electronic Voting - 2nd International Joint Conference, E-Vote-ID 2017, Proceedings",
address = "Germany",
}