Usable, Secure and Legally Compliant Individual Verifiability in Internet Voting
Hilt, Tobias
1; Beckert, Bernhard
; Dörre, Felix
; Gutjahr, Amina; Kirsten, Michael
; Müller-Quade, Jörn; Döhmann, Indra Spiecker gen. 2; Volkamer, Melanie
1
1 Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB), Karlsruher Institut für Technologie (KIT)
2 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
1; Beckert, Bernhard
; Dörre, Felix
; Gutjahr, Amina; Kirsten, Michael
; Müller-Quade, Jörn; Döhmann, Indra Spiecker gen. 2; Volkamer, Melanie
11 Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB), Karlsruher Institut für Technologie (KIT)
2 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Poster |
| Publikationsjahr | 2025 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000199064 |
| HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
| Veranstaltung | 10th International Joint Conference on Electronic Voting (E-Vote-ID 2025), Nancy, 01.10.2025 – 03.10.2025 |