research
∙
05/27/2021
Compositional Thinking in Cyber-Physical Systems Theory
Engineering safe and secure cyber-physical systems requires system engin...
share
research
∙
02/26/2021
Yoneda Hacking: The Algebra of Attacker Actions
Our work focuses on modeling security of systems from their component-le...
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
∙
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
∙
10/31/2017