[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.