"Slow But Steady: Achieving Real Security Within Two Decades" by @perrymetzger https://www.youtube.com/watch?v=zTeq_r4kJYA … [0/9]
-
-
Unlike testing and auditing, safe languages and formal methods provide a protection *ratchet* against entire *classes* of bugs [7/9]
-
Caging the code with capabilities, verified kernel, verified compilers, runtime protection, prevents bugs from spreading [8/9]
- 1 more reply
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!