Many cryptographers are very reluctant about voting machines, because it is difficult to get details like these correct.