另有 474 篇论文还没打上分类标签，暂不在筛选结果里。
提出权威链劫持 ACH 与策略演化 TGSE，劫持搜索 Agent 的证据链
摘要论文揭示了多步搜索智能体在受限中间人操纵下的脆弱性，提出 ACH 策略与 TGSE 演化方法并完成系统验证。
提出 MFOTL 时序监控，用 MonPoly 检出工具 Agent 的危险动作链
这篇论文对工具调用大语言模型智能体的安全监控进行了形式化时序验证研究。
提出 APEX，在执行边界用预编译授权契约防御 Agent 间接提示注入
提出自演化基准 ActBench，评测协作智能体的操作级行为安全
摘要ActBench 通过自演化搜索与双证据重构评测轨迹行为安全，揭示基础模型决策差异主导了协同智能体的操作风险。
提出 CAVA，将异构智能体动作规范为可哈希指纹并绑定审批回执
CAVA 是给异构智能体运行时用的动作语义层，用来回答“被批准和被审计的到底是哪一个动作”。
构建 COUNTER-GEO-BENCH，评测生成式搜索中的 GEO 虚假信息防御
摘要论文构建了针对 GEO 虚假信息的首个防御基准，揭示通用护栏的失效与反作用，并提出了有效的轻量对比检测基线。
提出 ZoneClaw，用信任区隔离计算机使用 Agent 的持久记忆权限
提出 SkillGuard，用可达性切断污染后通往禁止状态的技能调用
提出 KITA，将 Agent 动作批准绑定到 LLM 外的阈值签名
KITA 是一套密钥隔离的阈值授权架构，用来把模型评审变成执行外部动作的条件。
提出 ActGuard，在执行前审计并遮盖诱发动作偏离的间接注入
提出可验证操作卡 VAC，从真实 DOM 重构智能体浏览器的确认信息
提出 Tracekit，对编码 Agent 做防篡改的意图-推理-动作审计
Tracekit 是无第三方依赖的编码智能体审计层：把人类请求、模型自述和已执行动作并排写入可外部锚定的哈希链，执行前用正则门，事后用规则和独立模型互查。
提出 ToolFence 能力级授权，执行前编译蓝图并确定性拦截工具调用