Visible to the public Uncertainty in Security AnalysisConflict Detection Enabled

Project Details

Lead PI


Performance Period

Jul 27, 2021


University of Illinois at Urbana-Champaign


National Security Agency

Ranked 52 out of 118 Group Projects in this group.
3636 related hits.

Cyber-physical system (CPS) security lapses may lead to catastrophic failure. We are interested in the scientific basis for discovering unique CPS security vulnerabilities to stepping-stone attacks that penetrate through network of intermediate hosts to the ultimate targets, the compromise of which leads to instability, unsafe behaviors, and ultimately diminished availability. Our project advances this scientific basis through design and evaluation of CPS, driven by uncertainty-aware formalization of system models, adversary classes, and security metrics. We propose to define metrics, develop and study analysis algorithms that provide formal guarantees on them with respect to different adversary classes and different defense mechanisms.