The trade-off towards making pacemakers provably secure is a pacemaker that costs the same amount as a 747.
-
-
@dguido@daveaitel@thegrugq do you have these figures? I'm seriously interested in this! -
@ariccio@daveaitel@thegrugq "Using Formal Methods to Eliminate Exploitable Bugs" by Kathleen Fisher has some info https://www.usenix.org/sites/default/files/conference/protected-files/sec15_slides_fisher.pdf …
End of conversation
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.