Another 233papers do not have category tags yet and are not included in filtered results.
提出 Secure-CUA，用动作事务约束计算机使用智能体的不可信影响
Secure-CUA 要限制图形界面里不可信内容对 CUA 决策和 GUI 执行的影响，同时保留合法任务所需的不可信信息。
提出策略门裁决已实现动作，并测量跨平台命令拦截边界
提出 StateWise，在编码智能体行动前诊断并修复失效持久状态
StateWise 是在执行带副作用的动作之前，诊断并修复编码智能体持久操作状态的框架。
提出 IEC 与 IntAct，测量并修复 Agent 工具调用的路径篡改
Abstract论文界定工具调用在执行路径中的意图偏离问题，提出无执行归因协议与跳级修复，为智能体工程提供评测与设计准则。
形式化编程 Agent 的审批洗白并提出 HMAC 权能令牌防御
Abstract系统揭示编程智能体审批洗白风险，提出七字段权能防御机制，证实其能消除身份时序偏离但难防副作用偏离。
提出可验证操作卡 VAC，把智能体浏览器确认绑定到真实 DOM 操作
提出 SkillSonar，把运行时防护做成可演化技能以拦截恶意技能
提出 ClawSentry 多层监控网关，在技能准入和运行时拦截恶意技能与隐藏指令
ClawSentry 是挂在智能体运行时之外的安全监督网关，用来同时盖住 skill 执行的多个生命周期边界，并把已被拒绝的效果记到会话里。
Proposes a static-first validator, CARE, that decides before dispatch whether an agent's shell command may be executed
Proposes Prismata, which uses critical-path annotation and mechanical isolation to constrain cross-site prompt injection in web agents.
提出 UCM，用 DOM 掩码与类型受限隔离模型隔开网页智能体与不可信内容
提出 BrowseSafe，在工具输出边界检测并拦截浏览器 Agent 提示注入