The Design of a Trustworthy Voting System.

Nathanael Paul, Andrew S. Tanenbaum

Browse the full ACSAC paper archive.