Re:“We cannot trust” Intel and Via’s chip-based crypto, Free...
by tptacek on Tuesday December 10, 2013 @02:33PM
(#6883074)
You are talking about a wildly different threat model than this little section of the thread is talking about.
Meanwhile: if you can't trust the hardware, you can't trust C code either.
if some specific set of registers is set a certain way followed by a very specific series of commands, there is no practical way to prove that the hardware is doing what it should.