Performance Requirements for End-to-End Verifiable Elections
Stefan Popoveniuc, John M. Kelsey, Andrew R. Regenscheid, Poorvi Vora
The term end-to-end verifiability has been used over the past several years to describe multiple voting system proposals. The term has, however, never been formally defined. As a result, its meaning tends to change from voting system to voting system. We propose a definition for end-to-end verifiability of public elections based on performance requirements, as opposed to design requirements. We suggest a set of properties that collectively define the term. The properties help detect some of the possible problems that may influence the integrity of the election outcome.
August 9-10, 2010
2010 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (EVT/WOTE '10)
, Kelsey, J.
, Regenscheid, A.
and Vora, P.
Performance Requirements for End-to-End Verifiable Elections, 2010 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (EVT/WOTE '10), Washington, DC, [online], https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=905908
(Accessed September 28, 2021)