Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Home
Back to project page

Publications in the Scope of the Project "End-to-End Verifiable and Secret Online Elections at KIT"

2024
Florian Moser, Rüdiger Grimm, Tobias Hilt, Michael Kirsten, Christoph Niederbudde, and Melanie Volkamer
Recommendations for Implementing Independent Individual Verifiability in Internet Voting
9th International Joint Conference on Electronic Voting (E-Vote-ID 2024)
Florian Moser, Michael Kirsten, and Felix Dörre
SoK: Mechanisms Used in Practice for Verifiable Internet Voting
9th International Joint Conference on Electronic Voting (E-Vote-ID 2024)
Tobias Hilt, Philipp Matheis, and Melanie Volkamer
Usability and Understanding of Individual Verifiability in the 2023 GI-Election
Mensch und Computer 2024 - Workshopband
Tobias Hilt, Benjamin Berens, Tomasz Truderung, Margarita Udovychenko, Stephan Neumann, and Melanie Volkamer
Systematic User Evaluation of a Second Device Based Cast-as-Intended Verifiability Approach
Financial Cryptography and Data Security. FC 2024 International Workshops - Voting, DeFI, WTSC, CoDecFin, Revised Selected Papers
Adrian Keller
Nachvollziehbarkeit und Verifizierbarkeit von Online-Wahlen an Hochschulen
Karlsruher Institut für Technologie (KIT)
2023
Jonas Ludwig
Towards Realising Post-Quantum Secure ElectionGuard
Karlsruher Institut für Technologie (KIT)