Verifying ElectionGuard - a theoretical and empirical analysis
| dc.contributor.author | Jensen, Markus V. G. | |
| dc.contributor.author | Kjeldsen, Hans-Christian | |
| dc.contributor.author | Nielsen, Andreas S. | |
| dc.contributor.author | Olesen, Niklas B. | |
| dc.contributor.author | Aranha, Diego F. | |
| dc.contributor.editor | Volkamer, Melanie | |
| dc.contributor.editor | Duenas-Cid, David | |
| dc.contributor.editor | Rønne, Peter B. | |
| dc.contributor.editor | Budurushi, Jurlind | |
| dc.contributor.editor | Blom, Michelle | |
| dc.contributor.editor | Rodriguez Pérez, Adrià | |
| dc.contributor.editor | Spycher-Krivonosova, Iuliia | |
| dc.contributor.editor | Martin-Rozumilowicz, Beata | |
| dc.contributor.editor | Spycher, Oliver | |
| dc.date.accessioned | 2025-02-14T11:23:55Z | |
| dc.date.available | 2025-02-14T11:23:55Z | |
| dc.date.issued | 2024 | |
| dc.description.abstract | End-to-end-verifiable voting systems can only meet their goals if independent auditors are capable of verifying election outcomes as easily and efficiently as possible. ElectionGuard is a prominent effort in this direction, in which simplifying the verification process guides several design decisions, from the choice of cryptographic group to the building blocks for encryption and zero-knowledge proofs. In this paper, we present the development of optimized ElectionGuard verifiers in the Go programming language, targeting versions 1.1 and 2.0 of the specification, focused on analyzability and efficiency. Our verifiers are built on an architecture emphasizing efficiency that exploits parallelism to achieve a running time up to 10 times faster than related work. We also show that version 2.0 of the specification introduces several changes that improve the verification performance by an overall factor of 2, with the decryption process being around 24 times faster. We expect that our design can be used as a reference for future ElectionGuard verifiers. | en |
| dc.identifier.doi | 10.18420/e-vote-id2024_01 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/45853 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik | |
| dc.relation.ispartof | E-Vote-ID 2024 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-359 | |
| dc.subject | E-Voting | |
| dc.subject | ElectionGuard | |
| dc.subject | Verification | |
| dc.title | Verifying ElectionGuard - a theoretical and empirical analysis | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 33 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 17 | |
| gi.conference.date | 2.-4. October 2024 | |
| gi.conference.location | Tarragona, Spain | |
| gi.conference.review | full | |
| gi.conference.sessiontitle | Track 1: Security, Usability and Technical Issues |
Dateien
Originalbündel
1 - 1 von 1