Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Ingår i: ARES '17 Proceedings of the 12th International Conference on Availability, Reliability and Security, New York: Association for Computing Machinery (ACM), 2017, artikel-id UNSP 1Konferensbidrag, Publicerat paper (Refereegranskat)
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

Ort, förlag, år, upplaga, sidor
New York: Association for Computing Machinery (ACM), 2017. artikel-id UNSP 1
Nationell ämneskategori
Datavetenskap (datalogi) Annan data- och informationsvetenskap Datorteknik Datorsystem
Forskningsämne
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
Konferens
ARES'17 the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, August 29-September 01, 2017
Tillgänglig från: 2018-01-15 Skapad: 2018-01-15 Senast uppdaterad: 2018-10-05Bibliografiskt granskad

Open Access i DiVA

fulltext(555 kB)61 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 555 kBChecksumma SHA-512
5ea912089564c94a8206feeac901dc013cdb7a98c1a988f1b42768e94c237ca5802aaddea76a0ab7a574b8e2a6cbcef595f7ddd1d73c1c7e0603d2271c7e527c
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltext

Personposter BETA

Volkamer, Melanie

Sök vidare i DiVA

Av författaren/redaktören
Volkamer, Melanie
Av organisationen
Institutionen för matematik och datavetenskap (from 2013)
Datavetenskap (datalogi)Annan data- och informationsvetenskapDatorteknikDatorsystem

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 61 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 51 träffar
RefereraExporteraLänk till posten
Permanent länk

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