Another 240papers do not have category tags yet and are not included in filtered results.
提出研究合同，把已批准选择绑定到执行证据并由检查器核验
研究合同用来核验计算科学研究智能体是否仍在已批准研究之内，不判断科学是否为真。。
提出 COBRA 双 LLM 架构，防御计算机使用 Agent 的分支转向攻击
Abstract提出分支转向防御架构 COBRA，通过事前能力约束与边界代理消除分支转向攻击并兼顾效用。
提出 ZoneClaw，用记忆分区防御计算机使用 Agent 的持久记忆攻击
提出 RSI-Master，约束自主后训练实验动作并结构化探索以防奖励作弊
提出 APEXA，在工具层拒绝无执行支撑的结果并拦截电机命令
APEXA 是先进光子源上的数据还原框架，用工具层代码约束语言模型智能体的工具调用。
提出可验证操作卡 VAC，把智能体浏览器确认绑定到真实 DOM 操作
提出 WebMCP-Phalanx，用能力凭证与双智能体隔离浏览器工具调用
WebMCP-Phalanx针对浏览器里的 WebMCP 智能体：在 SOP 下补工具所有权，并把语义检查从有工具权的执行中分开。
Proposes Prismata, which uses critical-path annotation and mechanical isolation to constrain cross-site prompt injection in web agents.
提出 eTAMP，用网页内容跨会话投毒 Web Agent 轨迹记忆并诱导越权操作
该论文评估了基于大语言模型的 Web 智能体在利用历史交互轨迹进行记忆增强时的安全脆弱性。
提出 Aura，用可信内核中介移动 Agent 的身份、感知与动作控制
Aura uses kernel-mediated structured agent interaction, replacing screen-interface mobile assistants..