Security analysis of the Diebold AccuVote-TS voting machine
A secure and reliable bootstrap architecture