Are your votes really counted?: testing the security of real-world electronic voting systems
Security analysis of the Diebold AccuVote-TS voting machine