Metrics

group_project

Visible to the public Multi-model Test Bed for the Simulation-based Evaluation of Resilience

Submitted by Katie Dey on Mon, 03/19/2018 - 10:12pm

We have developed the SURE platform, a modeling and simulation integration testbed for evaluation of resilience for complex CPS [1]. Our previous efforts resulted in a web-based collaborative design environment for attack-defense scenarios supported by a cloud-deployed simulation engine for executing and evaluating the scenarios. The goal of this project is to extend these design and simulation capabilities for better understanding the security and resilience aspects of CPS systems.

group_project

Visible to the public Cloud-Assisted IoT Systems Privacy

Submitted by Warren Alexander on Mon, 03/19/2018 - 10:06pm

The key to realizing the smart functionalities envisioned through the Internet of Things (IoT) is to securely and efficiently communicate, store, and make sense of the tremendous data generated by IoT devices. Therefore, integrating IoT with the cloud platform for its computing and big data analysis capabilities becomes increasingly important, since IoT devices are computational units with strict performance and energy constraints. However, when data is transferred among interconnected devices or to the cloud, new security and privacy issues arise.

group_project

Visible to the public Uncertainty in Security Analysis

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

Cyber-physical system (CPS) security lapses may lead to catastrophic failure. We are interested in the scientific basis for discovering unique CPS security vulnerabilities to stepping-stone attacks that penetrate through network of intermediate hosts to the ultimate targets, the compromise of which leads to instability, unsafe behaviors, and ultimately diminished availability. Our project advances this scientific basis through design and evaluation of CPS, driven by uncertainty-aware formalization of system models, adversary classes, and security metrics.

group_project

Visible to the public Predicting the Difficulty of Compromise through How Attackers Discover Vulnerabilities

Submitted by mpsingh on Mon, 03/19/2018 - 9:57pm

The goal of this project is to aid security engineers in predicting the difficulty of system compromises through the development and evaluation of attack surface measurement techniques based upon attacker-centric vulnerability discovery processes.

group_project

Visible to the public Model-Based Explanation For Human-in-the-Loop Security

Submitted by scherlis on Sun, 03/18/2018 - 11:23pm

Effective response to security attacks often requires a combination of both automated and human-mediated actions. Currently we lack adequate methods to reason about such human-system coordination, including ways to determine when to allocate tasks to each party and how to gain assurance that automated mechanisms are appropriately aligned with organizational needs and policies.

group_project

Visible to the public Securing Safety-Critical Machine Learning Algorithms

Submitted by scherlis on Sun, 03/18/2018 - 11:18pm

Machine-learning algorithms, especially classifiers, are becoming prevalent in safety and security-critical applications. The susceptibility of some types of classifiers to being evaded by adversarial input data has been explored in domains such as spam filtering, but with the rapid growth in adoption of machine learning in multiple application domains amplifies the extent and severity of this vulnerability landscape.