Is there a way to make a vote counting machine be fraud proof? Saying that it uses open source is not enough because there needs to be proof that the executing code is the same as the open source code. It doesn't have to use a computer at all if there is a way to mechanically engineer this or other solution then that would work too. I was thinking that something like bitcoin's system might work, but not sure. Btw, I'm not making this system, just curious.
If you haven't already, you should read these two papers on this topic by Professor Alex J. Halderman of University of Michigan.<p>Security Analysis of India’s Electronic Voting Machines
-<a href="https://jhalderm.com/pub/papers/evm-ccs10.pdf" rel="nofollow">https://jhalderm.com/pub/papers/evm-ccs10.pdf</a><p>Attacking the Washington, D.C. Internet Voting System-<a href="https://jhalderm.com/pub/papers/dcvoting-fc12.pdf" rel="nofollow">https://jhalderm.com/pub/papers/dcvoting-fc12.pdf</a><p>source: <a href="https://jhalderm.com" rel="nofollow">https://jhalderm.com</a>
You can never "look" into the machine, all you can do is to put the machines under tamper-evident seals and trust the authority which distributes these.