I think voting machines could potentially work, there just needs to be transparency. Open source hardware and software that can maybe be verified with some kind of checksum or something. Users need to be able to verify nothing has been tampered with. The point Stallman makes here about the problems presented in practice is good though. You might design all kinds of precautions and it all falls apart in practice when some loopole you didn't think of gets exploited.