Issue No. 11 - Nov. (2018 vol. 51)
Darren Cofer , Rockwell Collins Advanced Technology Center
Andrew Gacek , Rockwell Collins Advanced Technology Center
John Backes , Rockwell Collins Advanced Technology Center
Michael W. Whalen , Computer Science, University of Minnesota
Lee Pike , Groq, Inc.
Adam Foltzer , Fastly
Michal Podhradsky , Galois Inc.
Gerwin Klein , CSIRO, Data61
Ihor Kuz , CSIRO, Data61
June Andronick , CSIRO, Data61
Gernot Heiser , University of New South Wales, Sydney, Australia
Douglas Stuart , Boeing Research and Technology
Current approaches to cyberresiliency rely on patching systems after a vulnerability is discovered. What is needed is a clean-slate, mathematically based approach for building secure software. We developed new tools based on formal methods for building software for unmanned air vehicles that is provably secure against cyberattacks.
Computer architecture, Contracts, Software, Computer crime, Tools, Unmanned aerial vehicles