At last?
Ben Adida (Harvard University) has released a system that allows 1) an individual user to confirm their vote, and 2) the public to confirm a tally. Any tampering would become immediately obvious. (It does not address the issue of voter coercion.) The source code is even released under a Creative Commons license. It's called "Helios". I'm hoping to hear some good reviews of it in future weeks.
source code:
http://github.com/benadida/helios/tree/masterpseudo-code specifications:
http://www.heliosvoting.org/static/docs/verification-specs.htmlUsenix Security 2008 paper:
http://www.usenix.org/events/sec08/tech/full_papers/adida/adida.pdf I'd be thrilled to participate in this kind of e-voting. I dislike proprietary voting systems (e.g. Diebold) with closed-door reviews. I want elections to be individually private but collectively very public.