The Community for Technology Leaders
Green Image
Issue No. 11 - Nov. (2018 vol. 51)
ISSN: 0018-9162
pp: 14-23
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
ABSTRACT
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.
INDEX TERMS
Computer architecture, Contracts, Software, Computer crime, Tools, Unmanned aerial vehicles
CITATION
91 ms
(Ver 3.3 (11022016))