@lxo The voting machine will not run an unsigned binary, so, unless TSE's signing key has been compromised (in which case, it's game over anyway), you'll not get far.
I have discussed this to exhaustion. I have worked on the voting machine project. This is NOT a plausible attack scenario.