Basin, David

Radomirović, Saša

Schmid, Lara

In random sample voting, only a randomly chosen subset of all eligible voters are selected to vote. This poses new security challenges for the voting protocol used. In particular, one must ensure that the chosen voters were randomly selected while preserving their anonymity. Moreover, the small number of selected voters leaves little room for error and only a few manipulations of the votes may significantly change the outcome. We propose Alethea, the first random sample voting protocol that satisfies end-to-end verifiability and receipt-freeness. Our protocol makes explicit the distinction between human voters and their devices. This allows for more fine-grained statements about the required capabilities and trust assumptions of each agent than is possible in previous work. We define new security properties related to the randomness and anonymity of the sample group and the probability of undetected manipulations. We prove correctness of the protocol and its properties both using traditional paper and pen proofs and with tool support.</p

Radomirovic, Sasa

Heriot Watt Pure

Alethea:A provably secure random sample voting protocol

Repository for Publications and Research Data

Alethea: A Provably Secure Random Sample Voting Protocol

Crossref

In random sample voting, only a randomly chosen subset of all eligible voters are selected to vote. This poses new security challenges for the voting protocol used. In particular, one must ensure that the chosen voters were randomly selected while preserving their anonymity. Moreover, the small number of selected voters leaves little room for error and only a few manipulations of the votes may significantly change the outcome. We propose Alethea, the first random sample voting protocol that satisfies end-to-end verifiability and receipt-freeness. Our protocol makes explicit the distinction between human voters and their devices. This allows for more fine-grained statements about the required capabilities and trust assumptions of each agent than is possible in previous work. We define new security properties related to the randomness and anonymity of the sample group and the probability of undetected manipulations. We prove correctness of the protocol and its properties both using traditional paper and pen proofs and with tool support

University of Dundee Online Publications

English

Alethea:A Provably Secure Random Sample Voting Protocol

http://discovery.dundee.ac.uk/ws/files/28400843/CSF2018_Alethea.pdf

Alethea:A Provably Secure Random Sample Voting Protocol

Abstract

Similar works

Full text

Available Versions

Heriot Watt Pure

Repository for Publications and Research Data

Crossref

Heriot Watt Pure

University of Dundee Online Publications

University of Dundee Online Publications