KIT | KIT-Bibliothek | Impressum | Datenschutz

Usability and Understanding of Individual Verifiability in the 2023 GI-Election

Hilt, Tobias ORCID iD icon 1; Matheis, Philipp 1; Volkamer, Melanie 1
1 Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB), Karlsruher Institut für Technologie (KIT)


Verlagsausgabe §
DOI: 10.5445/IR/1000175514
Veröffentlicht am 24.10.2024
Originalveröffentlichung
DOI: 10.18420/muc2024-mci-ws17-151
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2024
Sprache Englisch
Identifikator KITopen-ID: 1000175514
HGF-Programm 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems
Erschienen in Mensch und Computer 2024 – Workshopband, September 2024, Karlsruhe, Germany
Veranstaltung Mensch und Computer (MuC 2024), Karlsruhe, 01.09.2024 – 04.09.2024
Verlag Gesellschaft für Informatik e.V.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page