That cars don't have an air gap between control systems and the internet should be considered security malpractice http://nyti.ms/1LAJ4Ix
-
-
Replying to @yminsky
Security malpractice aka industry standard "best practice", what with basic system software being Mlocs of C.
@yminsky@PuercoPop1 reply 0 retweets 1 like -
Replying to @fare1 reply 0 retweets 0 likes
-
Replying to @PuercoPop
A language typing effects, linearity, capabilities allows to audit only a small kernel. Automatic checks handle the rest
@PuercoPop@yminsky1 reply 2 retweets 1 like
Checks still need simplify away or reject overly complex programs (wrt declared type) to cut underhanded side-channels @PuercoPop @yminsky
7:01 AM - 22 Jul 2015
0 replies
1 retweet
0 likes
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.