TY - GEN
T1 - Towards a Robust Distributed Framework for Election-Day Voter Check-In
AU - Schwarzmann, Alexander A.
N1 - Funding Information:
Among its recommendations, the report states that “Congress should authorize and fund” the development of “security standards and verification and validation protocols for electronic pollbooks.” Our own work in this area is funded by a NSF award within the Secure and Trustworthy Cyberspace (SaTC) program.
Funding Information:
Supported in part by NSF Award 2131538, with the senior personnel A. Aleroud, C. Busch, R. DeFrancisco, D. Kowalski, G. Murray, N. Panwar, R. Rahaeimehr, A. Schwarzmann, E. Tremel, J. Heslen, C. Albert (Augusta Univ.), and Sh. Dolev (Ben Gurion Univ.). This paper also cites results obtained in collaboration with L. Michel, A. Russell, and M. Desmarais (Univ. of Connecticut).
Publisher Copyright:
© 2021, Springer Nature Switzerland AG.
PY - 2021
Y1 - 2021
N2 - Electronic poll books are computerized distributed systems that replace paper-based voter lists used to enable eligible voters to cast their ballots on the Election Day. These systems have the potential for speeding up voter check-in at the polling place, and making voter records more accurate by reducing human errors in dealing with printed voter lists and post-election transcription. At the same time, electronic poll books are non-trivial distributed computing systems, and ensuring correctness, security, integrity, fault-tolerance, and performance of such systems is a challenging problem. In fact we are not aware of a single commercially available system that does not contain major deficiencies and risk factors. This paper focuses on the distributed system aspects of electronic poll book solutions and identifies the obstacles that are inherent in any distributed system that must deal with failure and asynchrony while providing a consistent and dependable service. We review several requirements that need to be satisfied by electronic poll book systems, we discuss selected important results from distributed computing research that the commercial developers of electronic poll book systems appear to not be aware of. We then present a wider landscape, including social and political science aspects, we survey broader research issues, and discuss system implementation considerations. This paper brings for the first time to the attention of the research community an in-depth presentation of an important new problem of immediate relevance. Moreover, the electronic poll book technology is an attractive application domain for the research results in dependable and secure distributed computing.
AB - Electronic poll books are computerized distributed systems that replace paper-based voter lists used to enable eligible voters to cast their ballots on the Election Day. These systems have the potential for speeding up voter check-in at the polling place, and making voter records more accurate by reducing human errors in dealing with printed voter lists and post-election transcription. At the same time, electronic poll books are non-trivial distributed computing systems, and ensuring correctness, security, integrity, fault-tolerance, and performance of such systems is a challenging problem. In fact we are not aware of a single commercially available system that does not contain major deficiencies and risk factors. This paper focuses on the distributed system aspects of electronic poll book solutions and identifies the obstacles that are inherent in any distributed system that must deal with failure and asynchrony while providing a consistent and dependable service. We review several requirements that need to be satisfied by electronic poll book systems, we discuss selected important results from distributed computing research that the commercial developers of electronic poll book systems appear to not be aware of. We then present a wider landscape, including social and political science aspects, we survey broader research issues, and discuss system implementation considerations. This paper brings for the first time to the attention of the research community an in-depth presentation of an important new problem of immediate relevance. Moreover, the electronic poll book technology is an attractive application domain for the research results in dependable and secure distributed computing.
UR - http://www.scopus.com/inward/record.url?scp=85119886697&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85119886697&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-91081-5_12
DO - 10.1007/978-3-030-91081-5_12
M3 - Conference contribution
SN - 9783030910808
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 173
EP - 193
BT - Stabilization, Safety, and Security of Distributed Systems - 23rd International Symposium, SSS 2021, Proceedings
A2 - Johnen, Colette
A2 - Schiller, Elad Michael
A2 - Schmid, Stefan
PB - Springer Science and Business Media Deutschland GmbH
T2 - 23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2021
Y2 - 17 November 2021 through 20 November 2021
ER -