Bernhard, David ; Kulyk, Oksana ; Volkamer, Melanie (2016)
Security Proofs for Participation Privacy and Stronger Verifiability for Helios.
doi: 10.5445/IR/1000081968
Report, Bibliographie
Kurzbeschreibung (Abstract)
The Helios voting scheme is well studied including formal proofs for verifiability and ballot privacy, but it does not provide participation privacy (i.e. it reveals who participated in the election). Kulyk, Teague and Volkamer proposed an extension to Helios that is claimed to provide ballot privacy as well as participation privacy while providing stronger verifiability than Helios. However, the authors did not prove their claims. Our contribution is to provide a formal definition for participation privacy and to prove that their claims hold.
| Typ des Eintrags: | Report |
|---|---|
| Erschienen: | 2016 |
| Autor(en): | Bernhard, David ; Kulyk, Oksana ; Volkamer, Melanie |
| Art des Eintrags: | Bibliographie |
| Titel: | Security Proofs for Participation Privacy and Stronger Verifiability for Helios |
| Sprache: | Englisch |
| Publikationsjahr: | Mai 2016 |
| Ort: | Darmstadt |
| Verlag: | Technische Universität |
| Reihe: | Technical Report |
| DOI: | 10.5445/IR/1000081968 |
| Kurzbeschreibung (Abstract): | The Helios voting scheme is well studied including formal proofs for verifiability and ballot privacy, but it does not provide participation privacy (i.e. it reveals who participated in the election). Kulyk, Teague and Volkamer proposed an extension to Helios that is claimed to provide ballot privacy as well as participation privacy while providing stronger verifiability than Helios. However, the authors did not prove their claims. Our contribution is to provide a formal definition for participation privacy and to prove that their claims hold. |
| Freie Schlagworte: | Security, Usability and Society, Secure Data |
| Zusätzliche Informationen: | Forschungsbericht |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Theoretische Informatik - Kryptographie und Computeralgebra 20 Fachbereich Informatik > SECUSO - Security, Usability and Society Profilbereiche Profilbereiche > Cybersicherheit (CYSEC) LOEWE LOEWE > LOEWE-Zentren LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt |
| Hinterlegungsdatum: | 28 Jul 2016 18:35 |
| Letzte Änderung: | 15 Aug 2023 12:51 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum