Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Affiliation:
3
0
5
CaMeLoT is evaluated on policies derived from the AgentDojo benchmark, SOC workflows, and prompt-extraction experiments, showing that it verifies a broad class of temporal properties before execution while preserving CaMeL's runtime-checkable coverage.
LLMs can be surprisingly effective security analysts, triaging alerts with significantly improved accuracy when guided by structured queries and constrained tool access.