Auspex: Building Threat Modeling Tradecraft into an Artificial Intelligence-based Copilot
Andrew Crossman, Andrew R. Plummer, Chandra Sekharudu, Deepak Warrier, Mohammad Yekrangian
TL;DR
Auspex presents a lightweight, modular AI-based copilot for threat modeling that encodes threat modeling tradecraft directly into prompts, enabling a two-stage process that converts system representations into a structured threat matrix. By avoiding fine-tuning and agent-based add-ons, it emphasizes transferable, prompt-driven architecture across multimodal inputs and threat frameworks, notably mapping threats to the CIA Triad and STRIDE categories. An initial evaluation with cybersecurity experts on real banking systems reports strong agreement on threat realism and low labeling corrective needs (Hamming loss $0\text{-}0.23$), suggesting practical usefulness in accelerating and standardizing threat modeling. The work also discusses limitations and future directions, including back-end augmentations, grounding methods, and shift-left integrations to broaden adoption beyond traditional threat modeling teams.
Abstract
We present Auspex - a threat modeling system built using a specialized collection of generative artificial intelligence-based methods that capture threat modeling tradecraft. This new approach, called tradecraft prompting, centers on encoding the on-the-ground knowledge of threat modelers within the prompts that drive a generative AI-based threat modeling system. Auspex employs tradecraft prompts in two processing stages. The first stage centers on ingesting and processing system architecture information using prompts that encode threat modeling tradecraft knowledge pertaining to system decomposition and description. The second stage centers on chaining the resulting system analysis through a collection of prompts that encode tradecraft knowledge on threat identification, classification, and mitigation. The two-stage process yields a threat matrix for a system that specifies threat scenarios, threat types, information security categorizations and potential mitigations. Auspex produces formalized threat model output in minutes, relative to the weeks or months a manual process takes. More broadly, the focus on bespoke tradecraft prompting, as opposed to fine-tuning or agent-based add-ons, makes Auspex a lightweight, flexible, modular, and extensible foundational system capable of addressing the complexity, resource, and standardization limitations of both existing manual and automated threat modeling processes. In this connection, we establish the baseline value of Auspex to threat modelers through an evaluation procedure based on feedback collected from cybersecurity subject matter experts measuring the quality and utility of threat models generated by Auspex on real banking systems. We conclude with a discussion of system performance and plans for enhancements to Auspex.
