#SpotlightOnLabletResearch

news

Visible to the public Spotlight on Lablet Research #8 - Uncertainty in Security Analysis

Spotlight on Lablet Research #8 -

Project: Uncertainty in Security Analysis

news

Visible to the public Spotlight on Lablet Research #7 - Foundations of Cyber-Physical Systems Resilience

Spotlight on Lablet Research #7 -

Project: Foundations of Cyber-Physical Systems Resilience

news

Visible to the public Spotlight on Lablet Research #6 - Contextual Integrity for Computer Systems 

Spotlight on Lablet Research #6 -

Project: Contextual Integrity for Computer Systems

news

Visible to the public Spotlight on Lablet Research #5 - Side-Channel Attack Resistance

Spotlight on Lablet Research #5 -

Project: Side-Channel Attack Resistance

news

Visible to the public Spotlight on Lablet Research #4 - Characterizing User Behavior and Anticipating its Effects on Computer Security with a Security Behavior Observatory

Spotlight on Lablet Research #4 -

Project: Characterizing User Behavior and Anticipating its Effects on Computer Security with a Security Behavior Observatory

news

Visible to the public Spotlight on Lablet Research #3 - Predicting the Difficulty of Compromise through How Attackers Discover Vulnerabilities

Spotlight on Lablet Research #3 -

Project: Predicting the Difficulty of Compromise through How Attackers Discover Vulnerabilities

news

Visible to the public Spotlight on Lablet Research #2 - Automated Synthesis Framework for Network Security and Resilience

Spotlight on Lablet Research #2 -

Project: Automated Synthesis Framework for Network Security and Resilience

Lablet: University of Illinois at Urbana-Champaign
Participating Sub-Lablet: Illinois Institute of Technology

This project proposes 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. ASF consists of a set of techniques for performing and integrating security and resilience analyses applied at different layers (i.e., data forwarding, network control, programming language, and application software) in a real-time and automated fashion. The ASF approach is exciting because developing it adds to the theoretical underpinnings of SoS, while using it supports the practice of SoS.

news

Visible to the public Spotlight on Lablet Research #1 - Analytics for Cyber-Physical Systems Cybersecurity

Spotlight on Lablet Research #1 -

Project: Analytics for Cyber-Physical Systems Cybersecurity

Lablet: Vanderbilt University
Participating Sub-Lablet: Massachusetts Institute Technology

Mounting concerns about safety and security have resulted in an intricate ecosystem of guidelines, compliance measures, directives and policy reports for cybersecurity of all critical infrastructure. By definition, such guidelines and policies are written in linear sequential text form that makes them difficult to integrate, or to understand the policy-technology-security interactions, thus limiting their relevance for science of security. The challenges are to develop a structured system model from text-based policy guidelines and directives in order to identify major policy-defined system-wide parameters, situate vulnerabilities, map security requirements to security objectives, and advance research on how multiple system features respond to diverse policy controls to strengthen the security of fundamentals in cyber-physical systems.