David Schmid | University of Basel, Switzerland (original) (raw)
Uploads
Thesis Chapters by David Schmid
The end-to-end-verifiability enables software-independent verification of remote electronic votin... more The end-to-end-verifiability enables software-independent verification of remote electronic voting systems. Each voter should be able to convince himself that his vote was "cast as intended", "recorded as cast" and "tallied as recorded", regardless of the software used. In this thesis different approaches of verifiability are demonstrated. In addition, it is examined whether new safety problems and points of attack have emerged.
----------------------
Die Ende-zu-Ende-Verifizierbarkeit ermöglicht die Software-unabhängige Verifikation elektronischer Wahlen. Jeder Wähler soll sich selbst und unabhängig von der eingesetzten Software davon überzeugen können, dass seine Stimme korrekt abgegeben, erfasst und ausgezählt wurde. In dieser Arbeit werden am norwegischen, estnischen und Helios-Wahlsystem verschiedene Ansätze der Verifizierbarkeit demonstriert. Darüber hinaus wird untersucht, ob sich aus dem praktischen Einsatz neue Sicherheitsprobleme und Angriffspunkte ergeben haben.
The end-to-end-verifiability enables software-independent verification of remote electronic votin... more The end-to-end-verifiability enables software-independent verification of remote electronic voting systems. Each voter should be able to convince himself that his vote was "cast as intended", "recorded as cast" and "tallied as recorded", regardless of the software used. In this thesis different approaches of verifiability are demonstrated. In addition, it is examined whether new safety problems and points of attack have emerged.
----------------------
Die Ende-zu-Ende-Verifizierbarkeit ermöglicht die Software-unabhängige Verifikation elektronischer Wahlen. Jeder Wähler soll sich selbst und unabhängig von der eingesetzten Software davon überzeugen können, dass seine Stimme korrekt abgegeben, erfasst und ausgezählt wurde. In dieser Arbeit werden am norwegischen, estnischen und Helios-Wahlsystem verschiedene Ansätze der Verifizierbarkeit demonstriert. Darüber hinaus wird untersucht, ob sich aus dem praktischen Einsatz neue Sicherheitsprobleme und Angriffspunkte ergeben haben.