4 papers · 1 filter
AWARE-RG: Abstraction Aware Explanation of Resiliency Graphs for Cyber Physical Systems
Shadaab Kawnain Bashir, Rakesh Podder, Philip D. Hopkins +3
Understanding the security posture of cyber physical systems (CPS) requires reasoning across both information technology (IT) and operational technology (OT). However, a security a…
Safety Graph: When Safety Responses Become Attack Surfaces in Cyber-Physical Systems
Rakesh Podder, Philip D. Hopkins, Sarath Sreedharan +2
Modern industrial control systems (ICS) are susceptible to cyber attacks triggering safety failures in the operational technology (OT) layer. The traditional way to mitigate any fa…
i-EXAM: Instructable and Explainable Attack Connectivity Graph Modeler
Rakesh Podder, Wadia Ganim, Sarath Sreedharan +2
i-EXAM is a planning-powered tool that helps system administrators to create security profiles of complex networks and perform what-if analyses to identify network hardening strate…
SPEAR: Security Posture Evaluation using AI Planner-Reasoning on Attack-Connectivity Hypergraphs
Rakesh Podder, Turgay Caglar, Shadaab Kawnain Bashir +3
Graph-based frameworks are often used in network hardening to help a cyber defender understand how a network can be attacked and how the best defenses can be deployed. However, inc…