Improving the Security of United States Elections with Robust Optimization. (arXiv:2308.02306v1 [cs.CR])

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 machine
produces the expected vote total for each candidate. We bring a scientific
perspective to LAT by introducing the first formal approach to designing test
decks with rigorous security guarantees. Specifically, our approach employs
robust …

accuracy ballots called election elections logic machine machines officials optimization procedure security states test testing united united states voting