Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution.

Scott Lintelman, Richard Robinson, Mingyan Li, Krishna Sampigethaya

Browse the full FM paper archive.