Security analysis of the Diebold AccuVote-TS voting machine
Analysis of an electronic voting system