cs.CRJul 7, 2026

i-EXAM: Instructable and Explainable Attack Connectivity Graph Modeler

Authors: Rakesh PodderWadia GanimSarath SreedharanIndrajit RayIndrakshi Ray

Organizations: Colorado State University Fort Collins, Colorado, USA

Abstract

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 strategies. It leverages planning compilation that provides soundness and completeness guarantees to identify attack paths, evaluate security metrics, generate diverse hardening strategies, and explain these strategies in natural language using Large Language Models.

Explore similar work

CardsList
  1. Comprendia: AI-Augmented Code Comprehension

    Aug 10, 2026Costain Nachuma, Minhaz F. ZibranDependency GraphCopilot