CPS: Breakthrough: Towards a Science of Attack Composition, Mitigation, and Verification in Cyber-Physical Systems
National Science Foundation
10/01/2014 - 09/30/2017
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.