# i-EXAM: Instructable and Explainable Attack Connectivity Graph Modeler

arXiv: https://arxiv.org/abs/2607.05888 · HTML: https://mlsanity.com/paper/2607.05888/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- Builds on 1 of its 6 references that are in the map.
- First posted on arXiv 7 Jul 2026.

## Builds on (most cited first, 1 of 1)

- [Contrastive Explanations of Plans Through Model Restrictions](https://mlsanity.com/paper/2103.15575/) (2021)

## Built on by (most cited first, 1 of 1)

- [AWARE-RG: Abstraction Aware Explanation of Resiliency Graphs for Cyber Physical Systems](https://mlsanity.com/paper/2610.19650/) (2026)

## Abstract (arXiv)

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.
