Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS).

David von Oheimb

Browse the full ISoLA paper archive.