Security Analysis of the Diebold AccuBasic Interpreter

@inproceedings{WagnerSecurityAO,
  title={Security Analysis of the Diebold AccuBasic Interpreter},
  author={David Wagner and David Jefferson and Matt Bishop}
}
This report summarizes the results of our review of some of the source code for the Diebold AV-OS optical scan (version 1.96.6) and the Diebold AV-TSx touchscreen (version 4.6.4) voting machines. The study was prompted by two issues: (1) the fact that AccuBasic scripts associated with the AV-OS and AV-TSx had not been subjected to thorough testing and review by the Independent Testing Authorities when they reviewed the rest of the code for those systems, and (2) concern over vulnerabilities… CONTINUE READING
Highly Cited
This paper has 41 citations. REVIEW CITATIONS
27 Citations
16 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 27 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 16 references

Candidate checksum: covers the candidate number and party number

  • Candidate checksum: covers the candidate number…

Candidate counters checksum: covers all fields in the candidate structure

  • Candidate counters checksum: covers all fields in…

Card checksum: covers all fields in the card

  • Card checksum: covers all fields in the card

Card counters checksum: covers the precinct number, card number, number of over-votes, under-votes, and blank votes for each card-counter

  • Card counters checksum: covers the precinct…

Precinct-card checksum: covers fields that tie the precinct to the card structures

  • Precinct-card checksum: covers fields that tie…

Race checksum: all fields governing the race

  • Race checksum: all fields governing the race

Race counters checksum: covers the total number of votes for each race, write ins, over-votes, under-votes, and blank votes

  • Race counters checksum: covers the total number…

Text checksum: covers all text fields (election title, vote center, vote date, straight party options, address, district name, race titles, and candidate names)

  • Text checksum: covers all text fields (election…

To count test ballots (optional)

  • To count test ballots (optional)

To enter supervisor mode (optional)

  • To enter supervisor mode (optional)

Similar Papers

Loading similar papers…