Another 261papers do not have category tags yet and are not included in filtered results.
Proposes LGWM, using an action-conditioned world model to verify GUI agent screen transitions.
提出 MFOTL 离线时序验证以监控工具 Agent 的危险动作链
这篇论文对工具调用大语言模型智能体的安全监控进行了形式化时序验证研究。
提出 APEX，在执行边界用授权契约防御 Agent 间接提示注入
提出 COBRA 双 LLM 架构，防御计算机使用 Agent 的分支转向攻击
Abstract提出分支转向防御架构 COBRA，通过事前能力约束与边界代理消除分支转向攻击并兼顾效用。
提出 ToolFence，以能力蓝图和确定性授权拦截 Agent 未授权工具调用
提出 Tracekit，审计编码 Agent 的意图、推理与动作并检测账本篡改
Tracekit 是无第三方依赖的编码智能体审计层：把人类请求、模型自述和已执行动作并排写入可外部锚定的哈希链，执行前用正则门，事后用规则和独立模型互查。
构建 ACE 语料，评测内核级证据对 Agent 攻击检测的有效性
ACE 是一份把智能体会话的内核 syscall 痕迹与应用层清单、转录配对起来的检测语料和基准。。
提出可验证操作卡 VAC，把智能体浏览器确认绑定到真实 DOM 操作
提出 KITA，把 Agent 批准绑定到规范动作的密钥隔离阈值签名
KITA 是一套密钥隔离的阈值授权架构，用来把模型评审变成执行外部动作的条件。
提出 SkillGuard，用可达性限制污染后的 Agent 能力
提出 AgentFlow 流策略语言与运行时框架，约束智能体跨步数据流
提出 CAVA，将异构智能体运行时事件规范为可哈希动作并绑定审批与回执
CAVA 是给异构智能体运行时用的动作语义层，用来回答“被批准和被审计的到底是哪一个动作”。
提出 Prismata，用关键路径标注与机械隔离约束网页 Agent 的跨站提示注入
梳理自主 Agent 威胁并提出全生命周期防御蓝图 FASA
这是一份以 OpenClaw 为案例的威胁梳理和防御架构报告，不是带分数的攻击或防御评测。
提出对齐五阶段的纵深防御，缓解自主 Agent 跨阶段威胁
这是对 OpenClaw 的生命周期威胁分析，并配套一套分层缓解设计。要处理的问题是：自主智能体把即时通讯、持久记忆、第三方插件和高权限执行连在一起之后，攻击不再限于单轮越狱，而会跨初始化到执行的多个阶段复合。作者认为只加固单个接口的防御，挡不住这种跨时间攻击。
提出推理时防御 ICON，探测注意力过聚焦并转向以纠正 Agent 间接提示注入
ICON 在推理时检测 IPI 的注意力过聚焦并转向，避免以拒答中止智能体轨迹。
提出 Aura，用可信内核中介移动 Agent 的身份、感知与动作控制
Aura 用内核中介的结构化智能体交互，替换以屏幕为接口的移动助手。。