Abstract | ||
---|---|---|
Verifiable voting systems allow voters to check whether their ballot is correctly recorded (individual verifiability) and allow anyone to check whether votes expressed in recorded ballots are correctly counted (universal verifiability). This suffices to ensure that honest voters' votes are correctly counted, assuming ballots are properly generated. Achieving ballot assurance, i.e., assuring each voter that their vote is correctly encoded inside their ballot, whilst ensuring privacy, is a challenging aspect of voting system design. This assurance property is known as cast as intended. Unlike many properties of voting systems, it has yet to be formalised. We provide the first formal definition and apply our definition to MarkPledge, Pret a Voter, Selene, ThreeBallot, and schemes based upon Benaloh challenges. |
Year | DOI | Venue |
---|---|---|
2021 | 10.1007/978-3-662-63958-0_22 | FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2021 |
DocType | Volume | ISSN |
Conference | 12676 | 0302-9743 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Peter B. Rønne | 1 | 12 | 9.33 |
Peter Y. A. Ryan | 2 | 728 | 66.96 |
Ben Smyth | 3 | 9 | 2.27 |