Another 201papers 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.
提出 LTBD，用可学习分隔符隔离可信指令与不可信数据
LTBD 是一种不改基座权重的提示注入防御：只学习用来标出可信指令与不可信数据边界的四个 token 嵌入。
提出 ProbeGuard，按共识形成过程对医疗问答做选择性弃答
ProbeGuard 是给多轮共识医学问答用的认证弃权框架：基板照原样作答，弃权只看共识是怎么形成的。
提出 AgentMonBench 评测长时程编程智能体监控并检验 EBG
长时程软件工程任务里，用户要判断智能体哪些选择值得核验。作者用 AgentMonBench 评测监控器，并用免训练的 EBG 组织带源证据。
提出临时可见性协议，限制持续摄入 RAG 向量库的投毒暴露
这篇工作给持续摄入的 RAG 向量库一个失败关闭的临时可见性协议，把协议能限制的未核验暴露和依赖检测器的中毒暴露分开。
提出策略门裁决已实现动作，并测量跨平台命令拦截边界
Propose StateWise, which diagnoses and repairs invalid persistent state before coding agent actions
StateWise is a framework that diagnoses and repairs the persistent operational state of coding agents before executing actions with side effects.
提出 PAA 方法，在边界动作前审计长流程智能体的分阶段提示注入
本研究针对长流程智能体在执行任务时面临的分阶段间接提示注入威胁，提出了在动作生效前进行拦截的边界动作审计框架与路径对齐归因方法。
提出利用共享冷却的跨租户干扰攻击，并设计租户隔离机制
Abstract揭示网关共享冷却漏洞，提出来源检查与租户隔离防御。
提出 IEC 与 IntAct，测量并修复 Agent 工具调用的路径篡改
Abstract论文界定工具调用在执行路径中的意图偏离问题，提出无执行归因协议与跳级修复，为智能体工程提供评测与设计准则。
提出 Control OSWorld，评测失准 GUI Agent 的监控
为 macOS 编程 Agent 构建可用的 microVM 沙箱 SideKernel
提出 ASA 与 AttestMCP，度量并降低 LLM 对输入序列扰动的敏感
提出 COBRA 双 LLM 架构，防御计算机使用 Agent 的分支转向攻击
Abstract提出分支转向防御架构 COBRA，通过事前能力约束与边界代理消除分支转向攻击并兼顾效用。
提出 HACKTRACE，用生成状态检测并抑制代码智能体奖励作弊
Abstract论文提出利用生成状态监督作弊尝试的 HACKTRACE 框架，实现高精度低延迟检测并在 GRPO 训练中有效抑制奖励投机。
提出 ZoneClaw，用记忆分区防御计算机使用 Agent 的持久记忆攻击
形式化编程 Agent 的审批洗白并提出 HMAC 权能令牌防御
Abstract系统揭示编程智能体审批洗白风险，提出七字段权能防御机制，证实其能消除身份时序偏离但难防副作用偏离。
提出契约约束的工具调用修复协议，在执行前拦截非法补丁
提出 Assay，用依赖锥哈希绑定代码断言并在合并门禁拦截失效声明
Assay 是一套面向 AI 辅助软件交付的内容寻址证据系统，关注代码改变后，测试通过、无秘密或行为保持等断言还能否用于批准合并。
提出 Tracekit，审计编码 Agent 的意图、推理与动作并检测账本篡改
Tracekit 是无第三方依赖的编码智能体审计层：把人类请求、模型自述和已执行动作并排写入可外部锚定的哈希链，执行前用正则门，事后用规则和独立模型互查。