Attack Resilience Hyperproperties: Formal Security Analysis of (Automotive) Network Architectures Under Active Compromise.

Julius Figge, David Knuplesch, Andreas Maletti, Dragan Zuvic

Browse the full SEFM paper archive.