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?
Thought experiment; you are some sort of intrusion prevention system. You've detected that your hardware is untrustworthy. Now what?