Part of a series on |
Election technology |
---|
Technology |
Terminology |
|
Testing |
Manufacturers |
Related aspects |
End-to-end auditable or end-to-end voter verifiable (E2E) systems are voting systems with stringent integrity properties and strong tamper-resistance. E2E systems often employ cryptographic methods to craft receipts that allow voters to verify that their votes were not modified, without revealing which candidates were voted for. As such, these systems are sometimes referred to as receipt-based systems.
The technical process of vote tallying can be broken into two general steps:
Measures such as voter verified paper audit trails and manual recounts protect the integrity of the second step but do not ensure the correctness of the first step. Ballots could be removed, replaced, or could have marks added to them (i.e.,to fill in undervoted contests with votes for a desired candidate or to overvote and spoil votes for undesired candidates). The end-to-end nature, referenced by the name E2E, protects the integrity of the ballot from step 1 through to step 2.
In general, E2E provides two assertions of integrity and one assertion of privacy:
Some researchers argue that the latter privacy assertion is not inherent in the definition of E2E.[ citation needed] However the Election Assistance Commission lists ballot secrecy as a property of E2E systems in the 2005 Voluntary Voting System Guidelines. [1] This definition is also predominant in the academic literature. [2] [3] [4] [5]
Note that assertions regarding ballot stuffing are not inherently addressed by the definition of E2E, although they can be externally verified by comparing the number of votes cast with the number of registered voters who voted.
In 2004, David Chaum proposed a solution that allows a voter to verify that the vote is cast appropriately and that the vote is accurately counted using visual cryptography. [6] After the voter selects their candidates, a DRE machine prints out a specially formatted version of the ballot on two transparencies. When the layers are stacked, they show the human-readable vote. However, each transparency is encrypted with a form of visual cryptography so that it alone does not reveal any information unless it is decrypted. The voter selects one layer to destroy at the poll. The DRE retains an electronic copy of the other layer and gives the physical copy as a receipt to ensure the ballot is not later changed. The system guards against changes to the voter's ballot and uses a mix-net decryption [7] procedure to ensure that each vote is accurately counted. Sastry, Karloff and Wagner pointed out that there are issues with both of the Chaum and VoteHere cryptographic solutions. [8]
Chaum has since developed Punchscan, which has stronger security properties and uses simpler paper ballots. [9] The paper ballots are voted on and then a privacy-preserving portion of the ballot is scanned by an optical scanner.
The Prêt à Voter system, invented by Peter Ryan, uses a shuffled candidate order and a traditional mix network. As in Punchscan, the votes are made on paper ballots and a portion of the ballot is scanned.
The Scratch and Vote system, invented by Ben Adida, uses a scratch-off surface to hide cryptographic information that can be used to verify the correct printing of the ballot. [10]
The ThreeBallot voting protocol, invented by Ron Rivest, was designed to provide some of the benefits of a cryptographic voting system without using cryptography. It can in principle be implemented on paper although the presented version requires an electronic verifier.
The Scantegrity and Scantegrity II systems provide E2E properties, however instead of being a replacement of the entire voting system, as is the case in all the proceeding examples, it works as an add-on for existing optical scan voting systems. Scantegrity II employs invisible ink and was developed by a team that included Chaum, Rivest, and Ryan.
A number of systems with some extent of end-to-end verifiability have been used in both trial and binding elections. Generally, end-to-end systems guarantee ballot secrecy. However several internet-based systems have been deployed which do not necessarily ensure the incoercibility of a voter's choice from someone looking over their shoulder while they vote (which is also possible in vote-by-mail systems).
The 2009 Scantegrity election in Takoma Park election also marked the first time an open source voting system was used in a public sector election in the United States.
{{
cite journal}}
: Cite has empty unknown parameter: |coauthors=
(
help)
Part of a series on |
Election technology |
---|
Technology |
Terminology |
|
Testing |
Manufacturers |
Related aspects |
End-to-end auditable or end-to-end voter verifiable (E2E) systems are voting systems with stringent integrity properties and strong tamper-resistance. E2E systems often employ cryptographic methods to craft receipts that allow voters to verify that their votes were not modified, without revealing which candidates were voted for. As such, these systems are sometimes referred to as receipt-based systems.
The technical process of vote tallying can be broken into two general steps:
Measures such as voter verified paper audit trails and manual recounts protect the integrity of the second step but do not ensure the correctness of the first step. Ballots could be removed, replaced, or could have marks added to them (i.e.,to fill in undervoted contests with votes for a desired candidate or to overvote and spoil votes for undesired candidates). The end-to-end nature, referenced by the name E2E, protects the integrity of the ballot from step 1 through to step 2.
In general, E2E provides two assertions of integrity and one assertion of privacy:
Some researchers argue that the latter privacy assertion is not inherent in the definition of E2E.[ citation needed] However the Election Assistance Commission lists ballot secrecy as a property of E2E systems in the 2005 Voluntary Voting System Guidelines. [1] This definition is also predominant in the academic literature. [2] [3] [4] [5]
Note that assertions regarding ballot stuffing are not inherently addressed by the definition of E2E, although they can be externally verified by comparing the number of votes cast with the number of registered voters who voted.
In 2004, David Chaum proposed a solution that allows a voter to verify that the vote is cast appropriately and that the vote is accurately counted using visual cryptography. [6] After the voter selects their candidates, a DRE machine prints out a specially formatted version of the ballot on two transparencies. When the layers are stacked, they show the human-readable vote. However, each transparency is encrypted with a form of visual cryptography so that it alone does not reveal any information unless it is decrypted. The voter selects one layer to destroy at the poll. The DRE retains an electronic copy of the other layer and gives the physical copy as a receipt to ensure the ballot is not later changed. The system guards against changes to the voter's ballot and uses a mix-net decryption [7] procedure to ensure that each vote is accurately counted. Sastry, Karloff and Wagner pointed out that there are issues with both of the Chaum and VoteHere cryptographic solutions. [8]
Chaum has since developed Punchscan, which has stronger security properties and uses simpler paper ballots. [9] The paper ballots are voted on and then a privacy-preserving portion of the ballot is scanned by an optical scanner.
The Prêt à Voter system, invented by Peter Ryan, uses a shuffled candidate order and a traditional mix network. As in Punchscan, the votes are made on paper ballots and a portion of the ballot is scanned.
The Scratch and Vote system, invented by Ben Adida, uses a scratch-off surface to hide cryptographic information that can be used to verify the correct printing of the ballot. [10]
The ThreeBallot voting protocol, invented by Ron Rivest, was designed to provide some of the benefits of a cryptographic voting system without using cryptography. It can in principle be implemented on paper although the presented version requires an electronic verifier.
The Scantegrity and Scantegrity II systems provide E2E properties, however instead of being a replacement of the entire voting system, as is the case in all the proceeding examples, it works as an add-on for existing optical scan voting systems. Scantegrity II employs invisible ink and was developed by a team that included Chaum, Rivest, and Ryan.
A number of systems with some extent of end-to-end verifiability have been used in both trial and binding elections. Generally, end-to-end systems guarantee ballot secrecy. However several internet-based systems have been deployed which do not necessarily ensure the incoercibility of a voter's choice from someone looking over their shoulder while they vote (which is also possible in vote-by-mail systems).
The 2009 Scantegrity election in Takoma Park election also marked the first time an open source voting system was used in a public sector election in the United States.
{{
cite journal}}
: Cite has empty unknown parameter: |coauthors=
(
help)