research
∙
11/21/2022
Sensor Placement for Online Fault Diagnosis
Fault diagnosis is the problem of determining a set of faulty system com...
share
research
∙
08/29/2022
Categorical semantics of compositional reinforcement learning
Reinforcement learning (RL) often requires decomposing a problem into su...
research
∙
04/19/2022
STPA-driven Multilevel Runtime Monitoring for In-time Hazard Detection
Runtime verification or runtime monitoring equips safety-critical cyber-...
research
∙
03/21/2022
Dynamic Certification for Autonomous Systems
Autonomous systems are often deployed in complex sociotechnical environm...
research
∙
03/03/2022
AlgebraicSystems: Compositional Verification for Autonomous System Design
Autonomous systems require the management of several model views to assu...
research
∙
09/10/2021
Compositional Cyber-Physical Systems Theory
This dissertation builds a compositional cyber-physical systems theory t...
research
∙
05/27/2021
Compositional Thinking in Cyber-Physical Systems Theory
Engineering safe and secure cyber-physical systems requires system engin...
research
∙
02/26/2021
Yoneda Hacking: The Algebra of Attacker Actions
Our work focuses on modeling security of systems from their component-le...
research
∙
11/29/2020
Cyber-Physical Security Through Resiliency: A Systems-centric Approach
Cyber-physical systems (CPS) are often defended in the same manner as in...
research
∙
10/15/2020
Categorical Semantics of Cyber-Physical Systems Theory
Cyber-physical systems require the construction and management of variou...
research
∙
06/09/2020
An Ontological Metamodel for Cyber-Physical System Safety, Security, and Resilience Coengineering
System complexity has become ubiquitous in the design, assessment, and i...
research
∙
04/30/2020
Fundamental Challenges of Cyber-Physical Systems Security Modeling
Systems modeling practice lacks security analysis tools that can interfa...
research
∙
09/06/2019
Data Driven Vulnerability Exploration for Design Phase System Analysis
Applying security as a lifecycle practice is becoming increasingly impor...
research
∙
12/08/2018
A Multilevel Cybersecurity and Safety Monitor for Embedded Cyber-Physical Systems
Cyber-physical systems (CPS) are composed of various embedded subsystems...
research
∙
08/24/2018
Looking for a Black Cat in a Dark Room: Security Visualization for Cyber-Physical System Design and Analysis
Today, there is a plethora of software security tools employing visualiz...
research
∙
12/05/2017
MISSION AWARE: Evidence-Based, Mission-Centric Cybersecurity Analysis
Currently, perimeter-based approaches are the mainstay of cybersecurity....
research
∙
11/02/2017
A Systems Approach for Eliciting Mission-Centric Security Requirements
The security of cyber-physical systems is first and foremost a safety pr...
research
∙
10/31/2017