Individual verifiability in the Polyas e-voting system

Abstract

The demand for secure and accessible voting mechanisms has led to the exploration of electronic voting (e-voting) systems. Among these, end-to-end verifiable e-voting systems have emerged as a promising solution, ensuring transparency, integrity, and privacy throughout the voting process. This thesis delves into the realm of end-to-end verifiable e-voting, with a particular emphasis on the Polyas e-voting system and its method for individual verifiability. Polyas is a German company developing a secure and verifiable remote e-voting system of the same name. They have already held elections for churches, political parties and other organizations like the GI, a German organization concerned with computer science. The GI holds an election soon which is of particular interest as the tool for individual verifiability in the Polyas e-voting system, which was developed in the scope of this thesis, will first be used by them. Successful use of the tool assures voters that, as long as either their voting device or audit device is honest, their ballot will be accurately included in the final tally as they intended. The tool and the protocol it implements are discussed in-depth Die Nachfrage nach sicheren und zugänglichen Wahlsystemen hat zur Erkundung von elektronischen Wahl (E-Voting)-Systemen geführt. Unter diesen haben sich end-to-end verifizierbare E-Voting-Systeme als vielversprechende Lösung herausgebildet, die Transparenz, Integrität und Datenschutz während des gesamten Wahlprozesses gewährleisten. Diese Arbeit taucht in die Welt des end-to-end verifizierbaren E Votings ein, wobei ein besonderer Schwerpunkt auf dem Polyas E-Voting-System und seiner Methode zur individuellen Verifizierbarkeit liegt. Polyas ist ein deutsches Unternehmen, das ein sicheres und verifizierbares Fern-E-Voting-System gleichen Namens entwickelt. Sie haben bereits Wahlen für Kirchen, politische Parteien und andere Organisationen wie die Gesellschaft für Informatik e.V. (GI) durchgeführt. Die GI wird bald eine Wahl abhalten, die von besonderem Interesse ist, da das Werkzeug zur individuellen Verifizierbarkeit im Polyas E Voting-System, das im Rahmen dieser Arbeit entwickelt wurde, erstmals von ihnen verwendet wird. Die erfolgreiche Verwendung des Werkzeugs sichert den Wählern zu, dass ihre Stimme in die endgültige Auszählung aufgenommen wird, sofern entweder ihr Wahlgerät oder das Prüfgerät ehrlich ist, und zwar so, wie sie es beabsichtigt haben. Das Werkzeug und das von ihm implementierte Protokoll werden ausführlich erläutert.