Software support for software-independent auditing - Short paper

Electronic voting machines have the potential to make the election process more efficient, but concerns over their reliability and security could undermine confidence in election results. The most effective way of verifying election results is by auditing physical copies of the ballots that have been verified by the voter. Since manually viewing every ballot is unrealistic, a variety of algorithms can be used to determine which ballots or precincts to audit. These algorithms generate a list of ballots (or precincts) to audit and declare the election outcome correct (with a certain confidence level) if the audited physical ballot matches the corresponding electronic records. Many of these algorithms are complicated and require a computer on which to run. Since this computer is susceptible to the same issues as electronic voting machines, we want to be able to trust the output of these algorithms without trusting the computer on which the auditing algorithms run. We created an online auditing system with three goals in mind. First, we ensure software-independence by publishing a log that allows anyone to verify (either manually or by using a computer) that the audit procedures were followed correctly. This allows the computer running the auditing algorithms to be untrusted. Second, we implemented recently published auditing algorithms that reduce the number of precincts or ballots to be inspected. Third, we provide a user-friendly interface that can be used by ordinary government officials. Additionally, the modular design of our system does not restrict the algorithms that can be used, allowing it to satisfy the variety of legal requirements in different states.