"Slow But Steady: Achieving Real Security Within Two Decades" by @perrymetzger https://www.youtube.com/watch?v=zTeq_r4kJYA … [0/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]
-
Unlike testing and auditing, safe languages and formal methods provide a protection *ratchet* against entire *classes* of bugs [7/9]
- 2 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!