A Formal Approach to Constructing Secure Air Vehicle Software

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 01, 2018
Source ID
10.1109/mc.2018.2876051

Entities

People

  • Adam Foltzer
  • Andrew Gacek
  • Darren Cofer
  • Douglas Stuart
  • Gernot Heiser
  • Gerwin Klein
  • Ihor Kuz
  • John Backes
  • June Andronick
  • Lee Pike
  • Michael W. Whalen
  • Michal Podhradsky

Organizations

  • Data61
  • Defense Advanced Research Projects Agency
  • Fastly
  • Galois, Inc.
  • Rockwell Collins
  • University of Minnesota
  • University of New South Wales