Crimmins, Braden; Halderman, J. Alex; Sturt, Bradley - 2023
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 procedure consists of election officials casting a test deck of ballots into each voting machine and confirming the...