1446866

biblio
biblio

Visible to the public Adaptive Mitigation of Multi-Virus Propagation: A Passivity-Based Approach

biblio
biblio

Visible to the public A host takeover game model for competing malware

file

Visible to the public Towards a Science of Attack Composition, Mitigation and Verification in Cyber Physical Systems-A Passivity Based Approach

Cyber-physical systems (CPS) may be targeted by multiple simultaneous attacks, with the goal of disrupting availability, safety, and performance of the CPS. This project aims to develop a passivity-based framework for modeling, composing, and mitigating attacks on CPS, as well as verifying the models and mitigation. Passivity is an energy dissipation property of dynamical systems that provides basic rules for composition and analysis of interconnected systems.