"Slow But Steady: Achieving Real Security Within Two Decades" by @perrymetzger https://www.youtube.com/watch?v=zTeq_r4kJYA … [0/9]
-
-
A full fix must allow incremental replacement of the existing code base, bit by bit with safer or sanitized variants. [5/9]
-
Formal methods work; they are too expensive to apply to everything, but can be used to build safe systems and cage the unverified code [6/9]
- 3 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!