While internet connected vehicles remain a popular target for hackers, the new breed of “smart” devices have the potential to…
A few weeks ago I had the honor of presenting a paper related to my prior Verification Horizons blog posts…
In Part 1 of this series, inspired by security researchers that were able take over a new Jeep and drive…
[Preface: everywhere it refers to automobiles in this post, you can also swap in “X-Ray machine”, “pacemaker”, and “aircraft”] The…
