Design and Evaluation of Verifiable Voting Systems Based on Tracking Code Verification
Nissen, Christina; Kulyk, Oksana; Volkamer, Melanie
1; Friedrich, Lara Elisabeth; Hermansen, Helena
1 Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB), Karlsruher Institut für Technologie (KIT)
1; Friedrich, Lara Elisabeth; Hermansen, Helena1 Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB), Karlsruher Institut für Technologie (KIT)
| 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 | ISBN: 978-3-031-72243-1 KITopen-ID: 1000176805 |
| HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
| Erschienen in | Electronic voting : 9th international joint conference, E-Vote-ID 2024, Tarragona, Spain, October 2-4, 2024 : proceedings |
| Veranstaltung | 9th International Joint Conference on Electronic Voting (E-Vote-ID 2024), Tarragona, Spanien, 02.10.2024 – 04.10.2024 |
| Relationen in KITopen |