KIT | KIT-Bibliothek | Impressum | Datenschutz

Towards Improving the Efficacy of Code-Based Verification in Internet Voting

Kulyk, Oksana 1; Volkamer, Melanie 1; Müller, Monika 1; Renaud, Karen
1 Karlsruher Institut für Technologie (KIT)


End-to-end verifiable Internet voting enables a high level of election integrity. Cast-as-intended verification, in particular, allows voters to verify that their vote has been correctly cast, even in the presence of malicious voting devices. One cast-as-intended verification approach is code-based verification, used since 2015 in legally-binding Swiss elections. We evaluated the Swiss paper-based polling sheet and voting interface, focusing on how well it supported voters in verifying their votes. We uncovered several potential issues related to manipulation detection. We improved the paper-based polling sheet and voting interface accordingly. Then, we carried out a between-subjects lab study with 128 participants to compare the original and improved sheet and interface wrt. usability and its effectiveness in supporting manipulation detection. Our improvements significantly enhanced detection. Our study delivered insights into participants’ somewhat ineffectual reactions to detected anomalies, i.e. starting over again and trying to cast the same vote again, or calling the telephone number provided by the interface. This problem is likely to manifest in any verifiable voting system and thus needs to be addressed as future work.

Postprint §
DOI: 10.5445/IR/1000119664
Veröffentlicht am 15.02.2021
DOI: 10.1007/978-3-030-54455-3_21
Zitationen: 2
Zitationen: 3
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2020
Sprache Englisch
Identifikator ISBN: 978-3-030-54454-6
ISSN: 0302-9743
KITopen-ID: 1000119664
Erschienen in Financial Cryptography and Data Security : FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, [1st Asian Workshop on Usable Security, AsiaUSEC 2020, the 1st Workshop on Coordination of Decentralized Finance, CoDeFi 2020, the 5th Workshop on Advances in Secure Electronic Voting, VOTING 2020, and the 4th Workshop on Trusted Smart Contracts, WTSC 2020, held at the 24th International Conference on Financial Cryptography and Data Security, FC 2020; Kota Kinabalu; Malaysia; 14 February 2020 through 14 February 2020], Revised Selected Papers. Ed.: Matthew Bernhard
Veranstaltung 5th Workshop on Advances in Secure Electronic Voting (VOTING 2020), Sabah, Malaysia, 14.02.2020
Verlag Springer
Seiten 291-309
Serie Security and Cryptology ; 12063
Bemerkung zur Veröffentlichung Vortrag gehalten: Financial Cryptography and Data Security Workshop on Advances in Secure Electronic Voting (VOTING), February 14, 2020 Sabah, Malaysia
Vorab online veröffentlicht am 14.02.2020
Externe Relationen Konferenz
Nachgewiesen in Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page