KIT | KIT-Bibliothek | Impressum | Datenschutz

Formal Methods for Trustworthy Voting Systems : From Trusted Components to Reliable Software

Kirsten, Michael ORCID iD icon 1,2,3
1 Fakultät für Informatik (INFORMATIK), Karlsruher Institut für Technologie (KIT)
2 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)
3 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)


Voting is prominently an important part of democratic societies, and its outcome may have a dramatic and broad impact on societal progress. Therefore, it is paramount that such a society has extensive trust in the electoral process, such that the system’s functioning is reliable and stable with respect to the expectations within society. Yet, with or without the use of modern technology, voting is full of algorithmic and security challenges, and the failure to address these challenges in a controlled manner may produce fundamental flaws in the voting system and potentially undermine critical societal aspects.
In this thesis, we argue for a development process of voting systems that is rooted in and assisted by formal methods that produce transparently checkable evidence for the guarantees that the final system should provide so that it can be deemed trustworthy. The goal of this thesis is to advance the state of the art in formal methods that allow to systematically develop trustworthy voting systems that can be provenly verified. In the literature, voting systems are modeled in the following four comparatively separable and distinguishable layers: (1) the physical layer, (2) the computational layer, (3) the election layer, and (4) the human layer. ... mehr

Volltext §
DOI: 10.5445/IR/1000155115
Veröffentlicht am 30.01.2023
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Institut für Theoretische Informatik (ITI)
Publikationstyp Hochschulschrift
Publikationsdatum 30.01.2023
Sprache Englisch
Identifikator KITopen-ID: 1000155115
Verlag Karlsruher Institut für Technologie (KIT)
Umfang xxvii, 188 S.
Art der Arbeit Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Prüfungsdatum 26.01.2022
Schlagwörter Voting system, formal methods, trustworthiness, modular design, reliability, dependability, security, formal verification, formal synthesis
Referent/Betreuer Beckert, Bernhard
Schürmann, Carsten
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page