> "an expert in the field can determine the system registers the votes/totals cast by individual voters." When it comes to computers, there is no expert able t

> "an expert in the field can determine the system registers the votes/totals cast by individual voters." When it comes to computers, there is no expert able to verify a system is really running what it's supposed to. Open source doesn't help, when even a single subtle bug could lead to exploits. Formally verified bug-free code doesn't help, when the compiler itself could be compromised. Verified compiler doesn't help, when the CPU could have backdoors. A compromised machine and a secure one look the same to all except an electron microscope.