E-Voting

Themenbereich

Was sollte ein Wahlverfahren erfüllen? Wann ist ein Wahlverfahren sicher? Welche Bestandteile muss man dabei untersuchen? Mithilfe welcher Methoden lässt sich dies untersuchen?

Es werden kryptographische Wahlverfahren sowie algorithmische Wahl- (auszähl-)verfahren aus verschiedenen Blickwinkeln (kryptographische Methoden, formale Korrektheit, menschliche Faktoren) untersucht.

Empfohlene Vorkenntnisse

Kenntnisse zu Grundlagen formaler Logik und Verifikationsmethoden, sowie Grundlagen der IT-Sicherheit sind hilfreich, beispielsweise aus den entsprechenden Stammmodulen.

Ablauf

Die Anmeldung für das Seminar war im Zeitraum Montag 06.04.2020 17:00 Uhr bis Montag 20.04.2020 12:00 Uhr über die Seite https://portal.wiwi.kit.edu/ys/3560 möglich. Die notwendigen Informationen zur Teilnahme an der Kick-Off-Veranstaltung sind im ILIAS-Kurs verfügbar, bitte prüfen Sie die technischen Voraussetzungen Ihrerseits rechtzeitig im Voraus.

Aufgabenstellung

Für das Seminar werden von allen Teilnehmenden für eine erfolgreiche Teilnahme folgende Leistungen erwartet:

• Selbstständiges Erarbeiten der Inhalte des gewählten Themas auf Basis einer Auswahl von Einstiegspapieren. In regelmäßigen Treffen mit einem/r betreuenden wissenschaftlichen Mitarbeiter/in erhalten Sie hierbei die nötige Unterstützung.
• Auswahl und Gliederung der Inhalte, die in Ihrem Seminarvortrag präsentiert werden sollen.
• Kurze Vorstellung Ihrer Gliederung im Plenum.
• Entscheidung, wie Sie die Inhalte präsentieren wollen.
• Erstellung der Folien für Ihren Seminarvortrag und gegebenenfalls weiterer Materialien.
• Dreißminütiger Seminarvortrag im Plenum gefolgt von einer etwa fünfzehnminütigen Diskussion.
• Nach dem Vortrag: Verfassen einer etwa zehnseitigen Ausarbeitung, die die wesentlichen Inhalte Ihres Vortrags zusammenfassend darstellt.

Folien und Materialien

• Folien der Kick-Off-Veranstaltung

Liste der Themen

1. Deep Dive into Oblivious Bingo Voting (Betreuung: Rebecca Schwerdt)

   Most cryptographic voting system proposals come with a list of properties and a list assumptions under which these properties hold. This is a good start to assess a proposal. For meaningful comparisons of different proposals and decisions regarding practical application, however, this is seldom sufficient. If, for example, there is no solution (yet) which does not rely on any kind of trusted entity to perfom efficiently, it is sensible to compare how much power this trusted entity recieves exactly. I.e., which properties still hold in case this entity is corrupted. Both complete and more finegrained assumptions as well as information about ramifications of unsatisfied assumptions (“graceful degredation”) improve the assessment of a voting system.

   In this seminar topic, we examine one cryptographic voting system to the fullest extend possible. As the example system Oblivious Bingo Voting (OBV) was chosen. Results are presented with the aim of comparability as well as guidance for people who consider practical application of the system.

   For this topic, the student ...

1. Manipulations of Election Results and Risk-Limiting Audits (Betreuung: Michael Kirsten)

   In diesem Seminarthema sollen Auditverfahren von Wahlen untersucht werden. Hierbei soll der Fokus auf der Tauglichkeit für verschieden komplizierte Wahlauszählverfahren sowie deren Mächtigkeit hinsichtlich der Erkennung cleverer Manipulationsattacken des Wahlergebnisses liegen.

   Innerhalb des Themas besteht die Möglichkeit, für einen umfassenderen Vergleich weitere Auditverfahren heranzuziehen.

   Literature:

1. How to quantify and compare strategic manipulation for voting rules? (Betreuung: Michael Kirsten)

   In diesem Seminarthema betrachten wir strategische Manipulation, einen Angriff bei der Stimmabgabe auf das Wahlauszählverfahren selbst. Hierbei soll untersucht werden, wie man damit verschiedene Wahlauszählverfahren vergleichen und quantifizieren kann.

   Literature:

1. Das Schweizer Online-Wahlsystem der Post: Explizite und implizite Annahmen an den Angreifer und die Einsatzumgebung
   (Betreuung: Prof. Dr. Melanie Volkamer

   Die Schweiz setzt u.a. ein Online-Wahlsystem ein, welches gemeinsam von der Post und der Firma Scytl betrieben wird. Es besteht aus einem kryptographischen Wahlprotokoll, welches die Firma Scytl entwickelt hat und für das Setting in der Schweiz in Kooperation mit der Post konfiguriert wurde. Ziel des Seminarthemas ist es, die Annahmen auf den unterschiedlichen Ebenen (Wahlprotokoll, Konfiguration, Software, Anwendung durch den Wähler) sowohl an die Angreifermächtigkeit als auch die Einsatzumgebung zu identifizieren und zu diskutieren.

2. User-Studies im Kontext von Verifizierbarkeit (Betreuung: Prof. Dr. Melanie Volkamer)

   Zunehmend bieten Elektronische Wahlsysteme dem Wähler, die Möglichkeit zu überprüfen, dass die Stimme richtig verschlüsselt und / oder gespeichert wurde. Dabei ist es wichtig, dass die Wähler in der Lage sind, diese Prüfung durchzuführen, d. h. dass sie merken, wenn eine Manipulation stattgefunden hat. Um zu evaluieren, ob dies gegeben ist, werden Nutzerstudien durchgeführt. Ziel dieses Seminarthemas ist es, sich einen Überblick über die hierzu durchgeführten Arten von Nutzerstudien zu verschaffen und die Vor- und Nachteile der unterschiedlichen Arten gegenüber zu stellen.

   Literature:

1. Implizite und explizite Annahmen bei Prêt à voter (Betreuung: Felix Dörre)

   Bei kryptographischen Wahlverfahren werden oft zusätzlich zu den kryptografischen Annahmen auch Annahmen über physische Komponenten des Wahlverfahrens, den Wähler oder andere beteiligte Instanzen gemacht. Diese Annahmen sollen am Beispiel von Prêt à voter identifiziert und diskutiert werden.

   Literature: