Machines should not be legal, then!
We have a lot of work to do.
The whole concept of a machine as “something we trust” like an ATM is so problematical in so many ways.
I am pretty familiar with electronic stuff though I am not a programmer. But I know what programming is.
Even if the machine accepted your vote, then produced a receipt with, say, punched holes (picture an old IBM card) so that your vote was tallied and receipted in a very Fred Flintstone 1981 way, then you had the option of inserting your receipt into some kind of reader, say, optical, that would cross-check your e-vote with your paper vote record, that could still be easily subverted.
I see no way to immunize electronic machines from fraud. No way at all. Even if they were Z-80 microcomputers not hooked up to the internet with ROM-based firmware (eg; one would actually have to take a screwdriver to the machine and open it up and physically replace a chip to reprogram it/them, one by one) the transmission of the collated data would surely be via internet and the fraud could occur there.
Amen!