Applying the Isabelle Insider Framework to Airplane Security

Florian Kammüller, Manfred Kerber

Avionics is one of the fields in which verification methods have been pioneered and brought a new level of reliability to systems used in safety critical environments. Tragedies, l…