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.

Researchers

• Linda Bushnell

Research Areas

• Data Science
• Biosystems
• Computing and Networking
• Electronic, Photonic, and Integrated Quantum Systems (EPIQS)
• Power and Energy Systems
• Robotics and Controls