Privacy-Preserving Dispute Resolution in the Improved Bingo Voting

Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

Abstrakt

Dispute resolution mechanisms are important components of voting schemes, deterring a voting authority to change the election outcome as any alteration can be proved by such mechanisms. However, these mechanisms are useless if not triggered by voters, who should not have to choose to either raise a dispute or keep their vote private. Hence, voting schemes should include privacy-preserving dispute resolution.
In this work, we advance the formal analysis in the symbolic model of an improved version of the Bingo Voting scheme, whose enhancements include privacy-preserving dispute resolution mechanisms. Most of our analysis of several verification, dispute resolution, and privacy properties is done automatically using ProVerif, which we complement with manual induction proofs as necessary. We find that the scheme meets some properties only if one makes additional trust assumptions to those stated in [6]. For example, we find that dispute resolution is met assuming an honest voting authority. Moreover, our work provides an understanding of privacy-preserving dispute resolution in general, which can be beneficial to similar analyses of other voting schemes.
OriginalsprogEngelsk
Titel E-Vote-ID: International Joint Conference on Electronic Voting
Antal sider16
ForlagSpringer
Publikationsdato25 sep. 2020
Sider67-83
ISBN (Trykt)978-3-030-60346-5, 978-3-030-60347-2
DOI
StatusUdgivet - 25 sep. 2020
NavnLecture Notes in Computer Science
Vol/bind12455
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'Privacy-Preserving Dispute Resolution in the Improved Bingo Voting'. Sammen danner de et unikt fingeraftryk.

Citationsformater