Mostly waiting to be researched instead of captured. We're only just starting to...

		geofft on Sept 16, 2013 \| parent \| context \| favorite \| on: Hosting backdoors in hardware Mostly waiting to be researched instead of captured. We're only just starting to figure out how to compile software such that the binary can be audited and proved to match the source. How do you fab hardware so that the IC can be proved to match the blueprint?

3D printed Lisp machines :p