That's not enough. You'd be trusting the compiler, the build environment, and believing that the hardware runs the binary code you expect. Tampering with the

That's not enough. You'd be trusting the compiler, the build environment, and believing that the hardware runs the binary code you expect. Tampering with the hardware is demonstrably easy, there are plenty of reports of people reflashing Diebold machines.