Re:Formal Verification Creates Hacker-Proof Code
by rhinoceraptor on Friday October 21, 2016 @12:25PM
(#12761743)
Code can still be exploited through vulnerable hardware, though.
[ Parent
| on HN ]
There are no comments on this comment yet.