Science of Security (SoS) Lablet
funded by the U.S. National Security Agency
researchers: David M. Nicol, William H. Sanders
The 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.
Projects currently funded through the SoS Lablet include the following:
- A Hypothesis Testing Framework for Network Security (Brighten Godfrey, Matthew Caesar, William H. Sanders and Kevin Jin (Illinois Institute of Technology))
- Data-Driven Model-Based Decision-Making (William H. Sanders, Masooda Bashir, David Nicol, and Aad Van Moorsel (Newcastle University))
- Data Driven Security Models and Analysis (Ravishankar K. Iyer, Zbigniew Kalbarczyk, and Adam Slagell)
- Science of Human Circumvention of Security (Tao Xie, Jim Blythe (USC), Ross Koppel (UPenn), and Sean Smith (Dartmouth))
- Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems (Sayan Mitra, Geir Dullerud and Swarat Chaudhuri (Rice University))
Visit the Illinois Science of Security Lablet site to learn more.