另有 196 篇论文还没打上分类标签，暂不在筛选结果里。
提出 Secure-CUA，用动作事务约束计算机使用智能体的不可信影响
Secure-CUA 要限制图形界面里不可信内容对 CUA 决策和 GUI 执行的影响，同时保留合法任务所需的不可信信息。
提出 SPECGUARD，用 Lean 证书在编码 Agent 执行前证明任务冲突
摘要提出预执行冲突检测与证明框架，在多个基准和真实仓库中成功证明任务与测试不可同时满足。
提出 AdvSim2Real，协同训练网页智能体抵御页面注入
提出 AgentTrap 有状态蜜罐，欺骗并反击自主渗透测试 Agent
提出 Tracekit，审计编码 Agent 的意图、推理与动作并检测账本篡改
Tracekit 是无第三方依赖的编码智能体审计层：把人类请求、模型自述和已执行动作并排写入可外部锚定的哈希链，执行前用正则门，事后用规则和独立模型互查。
提出 Veer，在网页 Agent 执行前改写会造成未授权后果的网页状态
提出可验证操作卡 VAC，把智能体浏览器确认绑定到真实 DOM 操作
提出 Skill-as-API，隔离多智能体协作中的 skill 正文与系统提示词
Skill-as-API 是面向智能体软件工程的协调协议，用来在跨组织调用时把 skill 的代码和系统提示词留在所有者进程。作者针对三条威胁：经通道或命名空间抽取专有方法，用注入让被调用模型输出系统提示词，以及协作结束后权限继续保留。
提出 UCM，用 DOM 掩码与类型受限隔离模型隔开网页智能体与不可信内容