Automated Synthesis of Resilient Architectures

Public Audience
Purpose: To highlight project progress. Information is generally at a higher level which is accessible to the interested public. All information contained in the report (regions 1-3) is a Government Deliverable/CDRL.

PI(s):  Ehab Al-Shaer
Researchers: Ashiq Rahman, Mohamed Alsaleh

HARD PROBLEM(S) ADDRESSED

• Resilient Architectures:  The goal of this project is to develop a formal automated reasoning framework for designing resilient architectures with provable bounds/metrics. This includes investigating metric-driven automated  synthesis of security counter-measures to resist and mitigate attacks for cyber and cyber-physical systems. This research work contributes to the design and verification of resilient architectures with guaranteed properties. 

PUBLICATIONS
 

None in this quarter.

ACCOMPLISHMENT HIGHLIGHT

• We developed a formal framework to investigate the resiliency of energy management systems in smart grids. The framework allows for systematically investigating the feasibility of launching stealthy attacks that can corrupt the state estimation considering the variation of the adversary power such as her knowledge of the system and attack resources.