3 papers
cs.SE2026
Hidden Amplifiers: Cross-Level Risk in Software Supply Chains
Rakesh Podder, Rafael Fabian Gonzalez Arellano, Indrajit Ray
Modern software supply chains comprise hundreds of transitive dependencies, yet existing analysis tools operate at either the ecosystem level (dependency graphs) or the code level…
cs.CR2026
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…
cs.CR2025
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…