The UIUC Science of Security Lablet is contributing broadly to the development of security science while leveraging Illinois expertise in resiliency, which in this context means a system’s demonstrable ability to maintain security properties even during ongoing cyber attacks. The Lablet’s work draws on several fundamental areas of computing research. Some ideas from fault-tolerant computing can be adapted to the context of security. Strategies from control theory are being extended to account for the high variation and uncertainty that may be present in systems when they are under attack. Game theory and decision theory principles are being used to explore the interplay between attack and defense. Formal methods are being applied to develop formal notions of resiliency. End-to-end system analysis is being employed to investigate resiliency of large systems against cyber attack. The Lablet’s work also draws upon ideas from other areas of mathematics and engineering as well.

Sayan Mitra (Lead)

David Nicol (Co-Lead)

Automated Synthesis Framework For Network Security and Resilience
Matthew Caesar*, Dong (Kevin) Jin^†, Bingzhe Liu*, Santhosh Prabhu*, Xiaoliang Wu^†
*University of Illinois at Urbana-Champaign, ^†Illinois Institute of Technology

Monitoring, Fusion, and Response for Cyber Resilience 
William H. Sanders, Brett Feddersen, Carmen Chech, and Uttam Thakore
University of Illinois at Urbana-Champaign

Uncertainty in Security Analysis 
David Nicol and Hoang Hai Nguyen
University of Illinois at Urbana-Champaign

Resilient Control of Cyber-Physical Systems with Distributed Learning
Sayan Mitra*, Geir Dullerud*, and Sanjay Shakkotai^†
*University of Illinois at Urbana-Champaign, ^†The University of Texas at Austin