News for hackers. Stuff that matters.
Re:“We cannot trust” Intel and Via’s chip-based crypto, Free... by pg_is_a_butt on Tuesday December 10, 2013 @02:31PM (#6883059)
assembly language is not an extremely concrete representation of a program if the hardware is engineered with backdoors which is exactly what this article suggests is happening.

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.

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.