Computer Ate My Vote:Technical rept. series

摘要

The author describes the challenges involved in designing and evaluating high assurance, verifiable voting systems. I describe the Pret a Voter scheme that provides voter verifiablity with minimal trust in officials, software etc. I also describe a number of threats against voting schemes and the extent to which they apply to the basic Pret a Voter scheme. Some enhancements to the scheme designed to counter those threats to which Pret a Voter is potentially vulnerable are presented.