Shielded Analysis: Certification and Characterization of Defensibility in Systems under Adversarial Interaction

Achraf Hsain, Sultan Almuhammadi

Formal safety analysis determines whether a system admits a safe defense; adaptive evaluation characterizes the operating quality sustained under adversarial interaction. Both answ…