[dlitz]

The problem is harder than it sounds when you're talking about something as high-value as a national election (especially in the US).

Have you read "Reflections on Trusting Trust"?

[eximius]

Yes. And the recent paper on backdooring CPUs by adding individual transistors.

You have to make some higher level assumptions in practice or you won't get anywhere.