4 ms·How do we verify that our hypothetical perfect software is what's running on the voting machine?by yifanl 7y agoHow do we verify that our hypothetical perfect software is what's running on the voting machine?