Z:gnu-www-ja-free-digital-society--49f61a-I saw once a paper where someo/en

I saw once a paper where someone described a theoretical system for voting which used some sophisticated mathematics so that people could check that their votes had been counted, even though everybody's vote was secret, and they could also verify that false votes hadn't been added. It was very exciting, powerful mathematics; but even if that mathematics is correct, that doesn't mean the system would be acceptable to use in practice, because the vulnerabilities of a real system might be outside of that mathematics. For instance, suppose you're voting over the Internet and suppose you're using a machine that's a zombie. It might tell you that the vote was sent for A while actually sending a vote for B. Who knows whether you'd ever find out? So, in practice the only way to see if these systems work and are honest is through years, in fact decades, of trying them and checking in other ways what happened.