Jasmin Wachter

A semi-automated pipeline is presented that addresses the interoperability problem of integrating symbolic frameworks such as MulVAL to contemporary security workflows or agentic pipelines, but predicate coverage, rule coverage, and path precision remain limiting factors.

Autonomous AI agents in offensive security blur the lines of accountability, making it easier for malicious actors to exploit their capabilities without clear attribution of responsibility.