Skip to main content

Towards a Science of Attack Composition, Mitigation, and Verification in Cyber-Physical Systems (NSF CPS Breakthrough)

In this project, we develop a passivity-based approach to modeling, composing, and mitigating attacks on cyber-physical systems. The goal is to investigate and develop transformations for decomposition of composed adversary models into attack primitives, leading to identification of new attacks and development of resource-efficient mitigation strategies.