"Verifiable Elections Via Cryptography"

Slashdot has an article "Verifiable Elections Via Cryptography" which discusses the Punchscan effort by David Chaum and others. Punchscan allows users "to verify that their vote has been correctly cast and counted".