Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Security proofs for Participation privacy, receipt-freeness and ballot privacy for the helios voting scheme
University of Bristol, UK.
Technische Universität Darmstadt, Germany.
Karlstads universitet, Fakulteten för hälsa, natur- och teknikvetenskap (from 2013), Institutionen för matematik och datavetenskap (from 2013). Technische Universität Darmstadt, Germany. (PriSec)ORCID-id: 0000-0003-2674-4043
2017 (engelsk)Inngår i: ARES '17 Proceedings of the 12th International Conference on Availability, Reliability and Security, New York: Association for Computing Machinery (ACM), 2017, artikkel-id UNSP 1Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

The Helios voting scheme is well studied including formal proofs for verifiability and ballot privacy. However, depending on its version, the scheme provides either participation privacy (hiding who participated in the election) or verifiability against malicious bulletin board (preventing election manipulation by ballot stuffing), but not both at the same time. It also does not provide receipt-freeness, thus enabling vote buying by letting the voters construct receipts proving how they voted. Recently, an extension to Helios, further referred to as KTV-Helios, has been proposed that claims to provide these additional security properties. However, the authors of KTV-Helios did not prove their claims. Our contribution is to provide formal definitions for participation privacy and receipt-freeness that we applied to KTV-Helios. In order to evaluate the fulfillment of participation privacy and receipt-freeness, we furthermore applied the existing definition of ballot privacy, which was also used for evaluating the security of Helios, in order to show that ballot privacy also holds for KTV-Helios

sted, utgiver, år, opplag, sider
New York: Association for Computing Machinery (ACM), 2017. artikkel-id UNSP 1
HSV kategori
Forskningsprogram
Datavetenskap
Identifikatorer
URN: urn:nbn:se:kau:diva-65601DOI: 10.1145/3098954.3098990ISI: 000426964900001ISBN: 978-1-4503-5257-4 (digital)OAI: oai:DiVA.org:kau-65601DiVA, id: diva2:1174180
Konferanse
ARES'17 the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, August 29-September 01, 2017
Tilgjengelig fra: 2018-01-15 Laget: 2018-01-15 Sist oppdatert: 2018-10-05bibliografisk kontrollert

Open Access i DiVA

fulltext(555 kB)61 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 555 kBChecksum SHA-512
5ea912089564c94a8206feeac901dc013cdb7a98c1a988f1b42768e94c237ca5802aaddea76a0ab7a574b8e2a6cbcef595f7ddd1d73c1c7e0603d2271c7e527c
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekst

Personposter BETA

Volkamer, Melanie

Søk i DiVA

Av forfatter/redaktør
Volkamer, Melanie
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 61 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 49 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf