Praxis der Softwareentwicklung (PSE)

Hintergrund

Eines der Forschungsthemen in unseren Forschungsgruppen ist die Entwicklung, Formalisierung und Verifikation sicherer E-Voting-Systeme, um einen sicheren und vertrauenswürdigen Wahlvorgang zu ermöglichen. Wahlen sind schon aus theoretischer Sicht interessant, da hier immer eine Abwägung zwischen Sicherheit und Privatheit getroffen bzw. in die eine oder andere Richtung Vertrauensannahmen gemacht werden müssen. Bei den in diesem Projekt betrachteten Systemen möchten wir uns dabei auf die Sicherheitseigenschaft der Ende-zu-Ende-Verifizierbarkeit konzentrieren.

Dieses PSE-Projekt ist Teil des Forschungsprojekts Ende-zu-Ende-verifizierbare und geheime Online-Wahlen am KIT. Im Rahmen des Projektes entwickeln unsere Forschungsgruppen ein sicheres Online-Wahl-System mit Sicherheitsmechanismen nach dem aktuellen Stand der Technik.

Aufgabenbeschreibung

Innerhalb dieses Projekts sollen Sie ein sicheres Online-Wahl-System entwerfen und implementieren. Dabei bauen Sie auf dem System ElectionGuard oder Helios auf und passen diese(s) auf ein praktisches Wahlszenario mit ausgewählten Sicherheitseigenschaften an und implementieren eine passende Oberfläche. Die entsprechenden Eigenschaften sowie das Szenario geben wir vor bzw. bauen wir gemeinsam mit Ihnen aus. Hierbei erwarten wir, dass Sie sich selbstständig in eines der beiden E-Voting-Frameworks sowie in ausgewählte Grundkriterien und -mechanismen sicherer Online-Wahlen einarbeiten.

Anforderungen

• Funktionalitäten für Wählende und Wahlleitung
• Verschlüsselte (Online-)Übermittlung der Stimmen
• Funktionalitäten zur individuellen und universellen Ende-zu-Ende-Verifizierung
• Drei graphische Benutzungsoberflächen (Konfiguration, Abstimmung, Verifizierung)

Technischer Rahmen

• ElectionGuard als Bibliothek für Funktionalitäten
• Orientierung an Wahlablauf des Helios-Systems
• Keine Blockchain! (just in case)