UIUC

group_project

Visible to the public Monitoring, Fusion, and Response for Cyber Resilience

Submitted by David Nicol on Mon, 03/19/2018 - 10:02pm

We believe that diversity and redundancy can help us prevent an attacker from hiding all of his or her traces. Therefore, we will strategically deploy diverse security monitors and build a set of techniques to combine information originating at the monitors. We have shown that we can formulate monitor deployment as a constrained optimization problem wherein the objective function is the utility of monitors in detecting intrusions.

group_project

Visible to the public Automated Synthesis Framework For Network Security and Resilience

Submitted by David Nicol on Mon, 03/19/2018 - 10:02pm

We propose to develop the analysis methodology needed to support scientific reasoning about the resilience and security of networks, with a particular focus on network control and information/data flow. The core of this vision is an automated synthesis framework (ASF), which will automatically derive network state and repairs from a set of specified correctness requirements and security policies.