Presented at the IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), October 2023 – Barcelona, Spain

This paper, authored by Airbus and Imperial College London, explores how increased aircraft connectivity can expose safety-critical systems—like the Flight Management System (FMS)—to cybersecurity threats.

It introduces Cassandra, a methodology that combines STPA-Sec with formal verification to identify and assess attack paths that could compromise flight safety. Using the Electronic Flight Bag (EFB) as a case study, the paper evaluates how different device configurations impact risk.

The study supports ALBATROS’s goal of integrating cybersecurity into aviation safety frameworks—ensuring systems remain robust in an increasingly digital environment.

Click below to download and read the full paper.