Is it too much to ask to just completely open-source these voting machine? These machines decide the future of our country and affect the entire world. The least we could do is allow everyone to verify for themselves whether the machines are secure.
Or just operate under the assumption that some of the machines are compromised and make sure you have ways of recognizing faults after-the-fact.