Voter-verified paper audit trail

From Infogalactic: the planetary knowledge core
Jump to: navigation, search

Lua error in package.lua at line 80: module 'strict' not found. Voter-verified paper audit trail (VVPAT) or verified paper record (VPR) is a method of providing feedback to voters using a ballotless voting system. A VVPAT is intended as an independent verification system for voting machines designed to allow voters to verify that their vote was cast correctly, to detect possible election fraud or malfunction, and to provide a means to audit the stored electronic results.

The VVPAT offers some fundamental differences as a paper, rather than computer memory, recording medium when storing votes. A paper VVPAT is readable by the human eye and voters can directly interpret their vote. Computer memory requires a device and software which potentially is proprietary. Insecure voting machine[1] records could potentially be changed quickly without detection by the voting machine itself. It would be more difficult for voting machines to corrupt records without human intervention. Corrupt or malfunctioning voting machines might store votes other than as intended by the voter unnoticed. A VVPAT allows voters the possibility to verify that their votes are cast as intended and can serve as an additional barrier to changing or destroying votes.

The VVPAT includes a direct recording electronic voting system (DRE), to assure voters that their votes have been recorded as intended. It is intended, and some argue necessary, as a means by which to detect fraud and equipment malfunction. Depending on election laws the paper audit trail may constitute a legal ballot and therefore provide a means by which a manual vote count can be conducted if a recount is necessary. The solution was first demonstrated (New York City, March 2001)[citation needed] and used (Sacramento,CA 2002) by AVANTE International Technology, Inc.[citation needed].

In non-document ballot voting systems – both mechanical voting machines and DRE voting machines – the voter does not have an option to review a tangible ballot to confirm the voting system accurately recorded his or her intent. In addition, an election official is unable to manually recount ballots in the event of a dispute. Because of this, critics claim there is an increased chance for electoral fraud or malfunction and security experts, such as Bruce Schneier, have demanded voter-verifiable paper audit trails.[2] Non-document ballot voting systems allow only a recount of the "stored votes." These "stored votes" might not represent the correct voter intent if the machine has been corrupted or suffered malfunction.

A fundamental hurdle in the implementation of paper audit trails is the performance and authority of the audit. Paper audit systems increase the cost of electronic voting systems, can be difficult to implement, often require specialized external hardware, and can be difficult to use. In the United States, 27 states require a paper audit trail by statute or regulation for all direct recording electronic voting machines used in public elections.[3] Another 18 states do not require them but use them either statewide or in local jurisdictions.[4]

In India, Voter-verified paper audit trail (VVPAT) system was introduced in 8 of 543 parliamentary constituencies as a pilot project in Indian general election, 2014.[5][6][7][8] VVPAT is implemented in Lucknow, Gandhinagar, Bangalore South, Chennai Central, Jadavpur, Raipur, Patna Sahib and Mizoram constituencies.[9][10][11][12][13][14] Voter-verified paper audit trail was first used in an election in India in September 2013 in Noksen (Assembly Constituency) in Nagaland.[15][16]

History

When a voter casts a vote on a direct-recording voting machine, the voter "has no knowledge through his senses that he has accomplished a result. The most that can be said, is, if the machine worked as intended, then he ... has voted."[17] This observation was made by Horatio Rogers in 1897, and it remains as true with DRE voting machines as it was with the early mechanical voting machines that Rogers spoke about.

In 1899, Joseph Gray addressed this problem with a mechanical voting machine that simultaneously recorded votes in its mechanism and punched those votes on a paper ballot that the voter could inspect before dropping it in a ballot box. Gray explained that "in this manner we have a mechanical check for the tickets [ballots], while the ticket is also a check upon the register [mechanical vote counter]."[18] This check is only effective, of course, if there is an audit to compare the paper and mechanical records.

The idea of creating a parallel paper trail for a direct-recording voting mechanism remained dormant for a century, until it was rediscovered by Rebecca Mercuri, who suggested essentially the same idea in 1992.[19] The Mercuri method, as some have called it, was refined in her Ph.D. dissertation in October 2000; in her final version, the paper record is printed behind glass so that the voter may not take it or alter it.[20]

The first commercial voting systems to incorporate voter verified paper audit trail printers were the Avante Vote Trakker and a retrofit to the Sequoia AVC Edge called the VeriVote Printer.[21] Avante's system saw its first trial use in 2002, and in 2003, the state of Nevada required the use of VVPAT technology statewide and adopted the Sequoia system. It is notable that, in Avante's design, the shield preventing the voter from taking the paper record was an afterthought, while in Sequoia's design, the paper record for successive voters were printed sequentially on a single roll of paper.

Application

A Diebold Election Systems AccuVote-TSx DRE voting machine with VVPAT attachment
An ES&S DRE voting machine with VVPAT attachment

Various technologies can be used to implement a paper audit trail.

  • Attachment of a printer to direct-recording electronic (DRE) voting machines that print paper records stored within the machine. Such designs usually present the record to the voter behind a transparent surface to enable a voter to confirm a printed record matches the electronic ballot. The records can be manually counted and compared to the electronic vote totals in the event of a dispute. The solution linking electronic ballot images and the voter-verified paper record with randomly generated unique voting session identifier is covered by patents issued and pending.[22]
  • Attachment of a printer to DRE voting machines that print paper records on special paper with security features. The printed page contains both a plain text record and a simple barcode of the voter's selections. This page is the official ballot that is then fed through a scanner into a locked ballot box so that all originals are saved in case of the need for a recount or audit. The electronic record from the DRE is compared with the barcode scanner record and in case of any discrepancy the paper ballots are used to determine the official vote, not the electronic record. The voter has the ability to proofread the ballot before it is placed into the scanner/lockbox and have it voided if there is any error, just as has always been possible with existing manual voting systems.
  • Attachment of a printer to DRE voting machines that print an encrypted receipt that is either retained by the voter or stored within the machine. If the receipt is retained, the receipts can be manually counted and compared to the electronic vote totals in the event of a dispute. These systems have not been used in elections in the United States.
  • Creation of an encrypted audit trail at the same time the electronic ballot is created in a DRE voting machine, a form of witness system. The audit trail can be accessed and compared to the electronic vote totals in the event of a dispute.
  • Use of precinct-based optical scan or mark-sense tabulators instead of DREs. In this simple and cost-effective system, voters fill out paper ballots which are then counted electronically by a tabulator at the precinct, similar to the technology used to score standardized tests. Optical scan machines have been in use for decades, and provide a voter-verified audit trail by default. Tabulators can detect overvotes at the poll so that the voter can be given the opportunity to correct a spoiled ballot.

Systems that allow the voters to prove how they voted do not conform to the generally accepted definition of voting by secret ballot, as such proof raises the risk of voter intimidation and vote selling. As such, systems that allow such proof are generally forbidden under the terms of numerous international agreements and domestic laws.

Professor Avi Rubin has testified in front of the United States House Committee on House Administration in favor of voting systems that use a paper ballot and disfavoring systems that use retrofitted VVPAT attachments. He has said on his personal blog that "after four years of studying the issue, I now believe that a DRE with a VVPAT is not a reasonable voting system."[23]

An auditable system, such as that provided with VVPAT, can be used in randomized recounts to detect possible malfunction or fraud. With the VVPAT method, the paper ballot can be treated as the official ballot of record. In this scenario, the ballot is primary and the electronic records are used only for an initial count or, in some cases, if the VVPAT is damaged or otherwise unreadable. In any subsequent recounts or challenges the paper, not the electronic ballot, would be used for tabulation. Whenever a paper record serves as the legal ballot, that system will be subject to the same benefits and concerns of any paper ballot system.

Matt Quinn, the developer of the original Australian DRE system, believes that in the future there should be a,[clarification needed] "There's no reason voters should trust a system that doesn't have it, and they shouldn't be asked to. Why on earth should [voters] have to trust me – someone with a vested interest in the project's success? A voter-verified audit trail is the only way to 'prove' the system's integrity to the vast majority of electors, who after all, own the democracy."[24]

Challenges and concerns with VVPAT

Common problems

Common VVPAT problems are:

  1. Video of voter behavior during an actual election revealed that most voters do not "verify" their choices by reading the VVPAT.
  2. A manual VVPAT recount/audit is labor-intensive and expensive, and likely unaffordable to most candidates seeking it.
  3. And while VVPAT is designed to serve as a check on DRE (Direct Recording Electronic) vote recorders, it relies on the same proprietary programming and electronics to produce the audit trail.

Other hurdles in the implementation of paper audit trails include the performance and authority of the audit. Paper audit systems increase the cost of electronic voting systems, can be difficult to implement, often require specialized external hardware, and can be difficult to use. In the United States twenty-seven states require a paper audit trail by statute or regulation for all direct recording electronic voting machines used in public elections.[3] Another eighteen States don't require them, but use them either statewide or in local jurisdictions.[4]

Security concerns

The introduction of malicious software into a VVPAT system can cause it to intentionally misrecord the voter's selections. This attack could minimize detection by manipulating only a small percentage of the votes or for only lesser known races.[25]

Another security concern is that a VVPAT could print while no voter is observing the paper trail, a form of ballot stuffing.[26] Even if additional votes were discovered through matching to the voters list, it would be impossible to identify legitimate ballots from fraudulent ballots.

Alternatively the printer could invalidate the printed record after the voter leaves and print a new fraudulent ballot. These ballots would be undetectable as invalidated ballots are quite common during elections.[27] Also, VVPAT systems that are technically able to reverse the paper feed could be open to manipulated software overwriting or altering the VVPAT after the voter checks it.

Usability and ergonomic concerns

For the voter, the printed record is "in a different format than the ballot, in a different place, is verified at a different time, and has a different graphical layout with different contrast and lighting parameters."[28] In November 2003 in Wilton, CT, virtually all voters had to be prompted to find and verify their receipt, increasing the time required to vote and the work for the pollworkers. The VVPAT adds to the complexity of voting, already a deterrent to voting.[28]

In addition, a VVPAT component may not be easily usable by poll-workers, many of whom are already struggling with DRE maintenance and use and new elections law requirements. In the 2006 primary election in Cuyahoga County, Ohio, a study found that 9.6 percent of the VVPAT tapes were either destroyed, blank, illegible, missing, taped together or otherwise compromised. In one case the thermal paper was loaded into the printer backwards leaving a blank tape,[29][30] which was not realized by voters who couldn't verify the paper trail. The Cuyahoga Election Review Panel proposed in its final report to remove the opaque doors covering the VVPAT except the ones equipped with equipment for blind voters.[31] In general collecting and counting these printed records can be difficult.[28]

Records printed on continuous rolls of paper is more difficult than counting standard paper ballots or even punch cards.[28]

Privacy concerns

DRE VVPAT systems that print the ballot records out in the order in which they were cast (often known as reel-to-reel systems) raise privacy issues, if the order of voting can also be recorded. VVPAT printers that cut the paper after each ballot to form individual ballots can avoid this concern. Many jurisdictions also record the order in which voters vote[citation needed], thus possibly compromising the secrecy of the vote. If there are multiple voting machines it would be more difficult to match between the full voter list and the VVPATs.

Alternatively, an attacker could watch the order in which people use a particular voting system and note the order of each particular vote he is interested in. If that attacker later obtains the paper ballot records she could compare the two and compromise the privacy of the ballot. This could also lead to vote selling and voter intimidation.[32]

In 2007, Jim Cropcho and James Moyer executed and publicized a proof of concept for this theory. Via a public records request, the two extracted voter identification from pollbooks, and voter preference from VVPATs, for a Delaware County, Ohio precinct with multiple voting machines. Because both sets of records independently established the order of electronic ballots cast, they directly linked a voter's identification to his or her preference.[33] Over 1.4 million registered voters in ten Ohio counties were affected. The situation was resolved before the next election by omitting the consecutive numbers on Authority To Vote slips from pollbook records. However, similar vulnerabilities may still exist in other states.

Effectiveness concerns

Also problematic is that voters are not required to actually check the paper audit before casting a ballot, which is critical to "verifying" the vote. While the option to look at the paper may provide comfort to an individual voter, the VVPAT does not serve as an effective check on malfunction or fraud unless a statistically relevant number of voters participates.

Accessibility concerns

Current VVPAT systems are not usable by some disabled voters. Senator Christopher Dodd (D-CT) testified before the United States Senate Committee on Rules and Administration at a June 2005 hearing on Voter Verification in Federal Elections "The blind cannot verify their choices by means of a piece of paper alone in a manner that is either independent or private. Nor can an individual who has a mobility disability, such as hand limitations, verify a piece of paper alone, if that individual is required to pick up and handle the paper."[34]

Reliability concerns

VVPAT systems can also introduce increased concern over reliability. Professor Michael Shamos points out that "Adding a paper printing device to a DRE machine naturally adds another component that can fail, run out of ink, jam or run out of paper. If DREs are alleged already to be prone to failure, adding a paper trail cannot improve that record."[35] In Brazil in 2003, where a small number of precincts had installed paper trails, failure of the printers delayed voters by as much as 12 hours, a figure that would be catastrophic in the U.S.[36]

Current implementation of VVPAT systems use thermal printers to print their paper ballot records. Ballot records printed on the thermal paper will fade with time. Also, heat applied to the paper before or after the election can destroy the printing.[28]

Implementation concerns

It can be significantly more difficult to implement a VVPAT as an after-the-fact feature. For jurisdictions currently using direct recording electronic voting machines that lack a VVPAT, implementation can be expensive to add and difficult to implement due to the specialized external hardware required. To add a VVPAT component to a DRE machine, a jurisdiction would be required to purchase the system designed by the vendor of the DRE machine with a no bid, sole source purchase contract. That assumes the vendor has designed a component that is compatible with the DRE machine in use. The vendor may not have developed a VVPAT component that is compatible with the DRE machine in use, thus requiring the jurisdiction to purchase an entirely new voting system.

For jurisdictions not currently using direct recording electronic voting machines, the introduction of a new voting system that includes a VVPAT component would have less implementation challenges.

Some implementations of the VVPAT place a high cognitive burden on the voter and are extraordinarily error prone.[37]

Legal questions

One important question of VVPAT systems is when should an audit be performed? Some have suggested that random audits of direct recording electronic voting machines be performed on Election Day to protect against machine malfunction. However, the partial tallying of votes before the polls have closed could create a problem similar to the occurrence in American national elections where a winner is declared based on East Coast results long before polls have closed on the West Coast. In addition, the partial tallying of votes before the polls have closed may be illegal in some jurisdictions. Others have suggested that random audits of direct recording electronic voting machines be performed after the election or only in the event of a dispute.

In the event an audit is performed after the election and a discrepancy is discovered between the ballot count and the audit count it is unclear which count is the authoritative count. Some jurisdictions have statutorily defined the ballot as the authoritative count leaving the role of an audit in question. Because VVPAT is a recent addition to direct record voting systems the authority question remains unclear.

Examples

Several voter verifiable audit trail systems exist. They include:

See also

References

  1. See page 3 of: Lua error in package.lua at line 80: module 'strict' not found.
  2. Lua error in package.lua at line 80: module 'strict' not found.
  3. 3.0 3.1 See: Lua error in package.lua at line 80: module 'strict' not found.
  4. 4.0 4.1 Forbes.com: Paper Jams a Problem for Electronic Voting
  5. http://www.dnaindia.com/mumbai/report-evm-paper-trail-introduced-in-8-of-543-constituencies-1982463
  6. http://www.business-standard.com/article/elections-2014/ls-polls-voters-to-get-automated-receipts-at-gandhinagar-114042901134_1.html
  7. http://www.thehindu.com/news/national/karnataka/vvpat-machine-to-be-on-demonstration-for-10-days/article5868161.ece
  8. http://www.indiatvnews.com/news/india/vvpat-to-be-introduced-in-jadavpur-constituency-35049.html
  9. 8 seats having VVPAT facility
  10. Lua error in package.lua at line 80: module 'strict' not found.
  11. http://timesofindia.indiatimes.com/home/lok-sabha-elections-2014/news/Patna-Sahib-electorate-can-see-who-they-voted-for/articleshow/33351551.cms
  12. http://timesofindia.indiatimes.com/home/lok-sabha-elections-2014/news/EVM-slip-will-help-verify-your-vote/articleshow/34304320.cms
  13. http://timesofindia.indiatimes.com/city/patna/400-EVMs-on-standby-for-Patna-Sahib-Pataliputra/articleshow/33836327.cms
  14. http://www.newindianexpress.com/states/karnataka/VVPAT-to-Debut-in-B%E2%80%99lore-South/2014/04/04/article2148837.ece
  15. Lua error in package.lua at line 80: module 'strict' not found.
  16. Lua error in package.lua at line 80: module 'strict' not found.
  17. Horatio Rogers, (19 R.I. 729) opinion of the Justices in re voting machine: dissent. Reports of Cases Argued and Determined in the Appellate Division of the Supreme Court of Rhode Island, Vol. XIX, E.L. Freeman & Sons, Providence (1898); 732-735, quotation from the bottom of page 734.
  18. Joseph A. Gray, Voting-machine, U.S. Patent 620,767, issued Mar. 7, 1899; quoted from lines 103-105, page 2.
  19. Rebecca T. Mercuri, Physical verifiability of computer systems, Proc. 5th International Computer Virus and Security Conference. Reposted on the web with added notes in 2005.
  20. Rebecca T. Mercuri, A better ballot box, IEEE Spectrum, Oct. 2002; pages 46-50.
  21. Douglas W. Jones and Barbara Simons, Broken Ballots, CSLI Publications, 2012; see Section 5.5, pages 111-115.
  22. Lua error in package.lua at line 80: module 'strict' not found.
  23. Today's Congressional hearing, March 7, 2007 from Avi Rubin's blog
  24. Lua error in package.lua at line 80: module 'strict' not found.
  25. VVPR Attack with Misprinted VVPAT, David L. Dill October 2, 2003
  26. Paper Trail Manipulation I, Professor Michael Ian Shamos October 5, 2005
  27. Paper Trail Manipulation II, Professor Michael Ian Shamos October 5, 2005
  28. 28.0 28.1 28.2 28.3 28.4 Lua error in package.lua at line 80: module 'strict' not found.
  29. Lua error in package.lua at line 80: module 'strict' not found.
  30. Lua error in package.lua at line 80: module 'strict' not found.
  31. Lua error in package.lua at line 80: module 'strict' not found.
  32. Lua error in package.lua at line 80: module 'strict' not found.
  33. Lua error in package.lua at line 80: module 'strict' not found.
  34. Hearing on Voter Verification in Federal Elections, 109th Cong. (2005). testimony of Senator Christopher Dodd. Retrieved February 3, 2007, from Senate Rules website.
  35. Lua error in package.lua at line 80: module 'strict' not found.
  36. Mira, Leslie, "For Brazil Voters, Machines Rule," Wired News, January 24, 2004.
  37. Warren, Stewart. VoteTrustUSA. Eminent Computer Scientist Criticizes ES&S "Real Time Audit Log". June 21, 2006.

External links

Research

Advocacy and commentary