TU Darmstadt / ULB / TUbiblio

Security Proofs for Participation Privacy and Stronger Verifiability for Helios

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 Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen