research
∙
04/19/2022
STPA-driven Multilevel Runtime Monitoring for In-time Hazard Detection
Runtime verification or runtime monitoring equips safety-critical cyber-...
share
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
∙
10/31/2017