Comment on Re-formalizing PD

Wed, 29 Apr 2009 06:21:14 GMT

Look innocent to a cursory human inspection, yes. But if hardware is designed to be deterministically cooperative/coordinating and to provably not be a backdoor in combination with larger hardware, that sounds like something that should be provable if the hardware was designed with that provability in mind.

Discuss