3 papers
cs.CR2023
Improving the Security of United States Elections with Robust Optimization
Braden L. Crimmins, J. Alex Halderman, Bradley Sturt
For more than a century, election officials across the United States have inspected voting machines before elections using a procedure called Logic and Accuracy Testing (LAT). This…
cs.CY2022
Logic and Accuracy Testing: A Fifty-State Review
Josiah Walker, Nakul Bajaj, Braden L. Crimmins +1
Pre-election logic and accuracy (L&A) testing is a process in which election officials validate the behavior of voting equipment by casting a known set of test ballots and confirmi…
cs.CR2021
RemoteVote and SAFE Vote: Towards Usable End-to-End Verification for Vote-by-Mail
Braden L. Crimmins, Marshall Rhea, J. Alex Halderman
Postal voting is growing rapidly in the U.S., with 43% of voters casting ballots by mail in 2020, yet until recently there has been little research about extending the protections…