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 any

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.