Trustworthy Systems

A formal approach to constructing secure air vehicle software

Authors

Darren Cofer, Andrew Gacek, John Backes, Michael Whalen, Lee Pike, Adam Foltzer, Michael Podhradsky, Gerwin Klein, Ihor Kuz, June Andronick, Gernot Heiser and Douglas Stuart

DATA61

Boeing

Rockwell Collins

Galois

University of Minnesota

UNSW Sydney

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.

BibTeX Entry

  @article{Cofer_GBWPFPKKAHS_18,
    author           = {Cofer, Darren and Gacek, Andrew and Backes, John and Whalen, Michael and Pike, Lee and Foltzer, Adam
                        and Podhradsky, Michael and Klein, Gerwin and Kuz, Ihor and Andronick, June and Heiser, Gernot and
                        Stuart, Douglas},
    date             = {2018-11-15},
    doi              = {https://doi.org/10.1109/MC.2018.2876051},
    issn             = {0018-9162},
    issue            = {11},
    journal          = {IEEE Computer},
    month            = nov,
    pages            = {14-23},
    paperurl         = {https://trustworthy.systems/publications/full_text/Cofer_GBWPFPKKAHS_18.pdf},
    publisher        = {IEEE},
    title            = {{A} Formal Approach to Constructing Secure Air Vehicle Software},
    volume           = {51},
    year             = {2018}
  }

Download