We have known for a long time that formal verification was possible in small pieces of code — that is, provably correct code (no bugs). Well, embedded systems tend to have small code. As a result, DARPA is finding success from a security standpoint in formally verified code. The scenario is a formally verified helicopter delivery drone that attackers were unable to compromise even after providing exceptional access. The article is nice because it explains the success and challenges. It is entirely possible that embedded security such as vehicle security will be formal verification. https://www.wired.com/
No comments:
Post a Comment