2 papers
cs.CR2026
What the Detector Can See: Evaluating CPS Anomaly Detectors Independently of the Decision Rule
Peiran Shi, Jian Xiang, Xiang Zhang +1
Anomaly detectors are often the last line of defense for cyber-physical systems (CPS). But detectors built in very different ways, from deep neural networks to invariant templates,…
eess.SY2024
Measuring Robustness in Cyber-Physical Systems under Sensor Attacks
Jian Xiang, Ruggero Lanotte, Simone Tini +2
This paper contributes a formal framework for quantitative analysis of bounded sensor attacks on cyber-physical systems, using the formalism of differential dynamic logic. Given a…