News for hackers. Stuff that matters.
Re:Formal Verification Creates Hacker-Proof Code by thingexplainer on Friday October 21, 2016 @04:34PM (#12764469)
I think the solution is to formally verify your hardware with a prover that is aware of electromagnetic forces. Software has to assume correctness of hardware (rad-hard applications have to assume ridiculous hardware faults are possible, but that's to prevent solar flares from corrupting firmware, not Rowhammer).

Thought experiment; you are some sort of intrusion prevention system. You've detected that your hardware is untrustworthy. Now what?

There are no comments on this comment yet.