Sommersemester 2025
E-Voting
| Veranstaltungstyp: | Seminar |
|---|---|
| Zielgruppe: | Master Informatik |
| Umfang: | 2 SWS / 3 ECTS |
| Termine: | 20.04.2025, 23.55 Uhr, Fristende zur Anmeldung im WiWi-Portal, melden Sie sich außerdem zum ILIAS-Kurs an. 30.04.2024, 12.45 – 13.45 Uhr in Raum 3A-11.1 (Gebäude 05.20), Kick-Off-Veranstaltung |
| Veranstaltungsnr.: | 2513553 |
| Forschungsgruppen: | Anwendungsorientierte Formale Verifikation Kryptographie und Sicherheit Security • Usability • Society (SECUSO) |
| Lehrkräfte: |
Prof. Dr. Bernhard Beckert |
| ILIAS-Kurs: | Link |
| Anmeldung: | Die Registrierung erfolgt über https://portal.wiwi.kit.edu/ys/8668 bis zum 20. April. Auf dieser Plattform erfolgt auch die Bewertung der Seminarthemen. Bitte melden Sie sich auch zum ILIAS-Kurs an! Bei Fragen zum Seminar oder zur Anmeldung wenden Sie sich bitte an Michael Kirsten. |
| Platzvergabe: | Reihenfolge nach Eingang der Anmeldung unter Berücksichtigung der genannten Präferenzen. Bei Überbelegung evtl. unter Berücksichtigung relevanter Vorkenntnisse. |
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
t.b.a.
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 einer bzw. einem 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.
- 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
- t.b.a.
Liste der Themen
- ElectionGuard: a Cryptographic Toolkit to Enable Verifiable Elections (Betreuung: Felix Dörre) – Josh Benaloh, Michael Naehrig, Olivier Pereira, and Dan S. Wallach. "ElectionGuard: a Cryptographic Toolkit to Enable Verifiable Elections." 33rd Usenix Security Symposium. 2024. (2024/955)
- Literature Review on Awareness Measures with Respect to Individual Verifiability (Betreuung: Tobias Hilt)
- Literature Review on Manipulation Studies in E-Voting (Betreuung: Tobias Hilt)
- Attacks and Formal Verification for Postal Voting using ProVerif (Betreuung: Michael Kirsten) – Véronique Cortier, Alexandre Debant, Pierrick Gaudry, and Léo Louistisserand. "Vote&Check: Secure Postal Voting with Reduced Trust Assumptions." Privacy Enhancing Technologies (PETS). 2025. (2024/1951)
- Formal Verification of Privacy using EasyCrypt for the Voting Systems Selene and Belenios (Betreuung: Michael Kirsten) – Constantin Cătălin Drăgan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, and Morten Rotvold Solberg. "Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co." IEEE 35th Computer Security Foundations Symposium (CSF). 2022. (2022/1182) – Véronique Cortier, Constantin Catalin Dragan, François Dupressoir, and Bogdan Warinschi. "Machine-Checked Proofs for Electronic Voting: Privacy and Verifiability for Belenios." IEEE 31st Computer Security Foundations Symposium (CSF). 2018. (10.1109/CSF.2018.00029)