Science of Security Lablet at University of Illinois Urbana-Champaign
|
SCIENCE OF SECURITY LABLET AT THE UNIVERSITY OF ILLINOIS URBANA-CHAMPAIGN 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. Lead Principal Investigator: Sayan Mitra Co-Lead Principal Investigator: David Nicol
PROJECTS Automated Synthesis Framework For Network Security and Resilience Monitoring, Fusion, and Response for Cyber Resilience Uncertainty in Security Analysis Resilient Control of Cyber-Physical Systems with Distributed Learning |
|
Sayan Mitra