Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Affiliation:
1
0
3
0
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.