| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2026 |
| Sprache | Englisch |
| Identifikator | ISSN: 2192-5283 KITopen-ID: 1000198501 |
| HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
| Erschienen in | Dagstuhl Reports |
| Verlag | Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI) |
| Band | 15 |
| Heft | 10 |
| Bemerkung zur Veröffentlichung | Seminar October 5–10, 2025 |
| Schlagwörter | elections, risk-limiting audits, Trust, usable security, verifiable voting, voting, Security and privacy → Cryptography, Security and privacy → Human and societal aspects of security and privacy, Applied computing → Voting / election technologies |
| Nachgewiesen in | OpenAlex |