Couldn't the software behind a voting machine simply be public? It should even be readable by anyone who has taken even a basic CS class. Besides the function that verifies the user hasn't voted yet and is registered to vote, the actual counting of the votes should be trivial.