And here I thought in the Turing year of 2012 people would finally start to understand what it means that any electronical voting machine contains a Turing equivalent machine.
An electronic voting machine doesn't have to be Turing-complete, surely? It would require especially-fabricated non-Turing-complete chips / ICBs, and some very simple interface like an LED bank and good old-fashioned physical buttons (as a touch-screen LCD unit alone is probably turing-complete), but I'm pretty sure it'd be possible to devise a specialised electronic voting system that couldn't have its behaviour altered without physical modification.
[edit PS] Of course, this is purely academic. You might as well fantasise about a voting system made of Babbage-esque clockwork.
No magic can make the halting problem decidable.