全部论文

作者认为编码智能体的安全不能只靠拦截禁止动作，还要找出终止时仍未做的安全关键动作，并将其称为义务。

研究合同用来核验计算科学研究智能体是否仍在已批准研究之内，不判断科学是否为真。。

开放任务没有验证器时，被演化的是评分器，而不是再补一条手写 rubric。

这篇论文研究了智能体技能（Agent Skills）安全扫描中的“审查–执行脱节”问题，并提出了对应的攻击验证与防御方案。

本文是一项针对安全强化学习中冻结视觉语言模型（VLM）安全评分机制的实证审计研究。

Secure-CUA 要限制图形界面里不可信内容对 CUA 决策和 GUI 执行的影响，同时保留合法任务所需的不可信信息。

WebMirage 是一个面向视觉定位网络智能体的流水线感知端到端红队攻击框架。

VeriFine 把驾驶和导航推理的自改进写成策略、课程和无参考评审的协同演化，用来处理固定评审跟不上新失败模式的问题。

POLAR 是训练无关的事前门控，用类型化本体在工具调用执行前检查能否组成候选逆序列。

DEFER 用来测量多智能体授权流水线里，确定性规则在何处结束、LLM judge 从何处开始。

作者给出把关于已部署智能体的主张写成可核查陈述的条件，而不是检测器或攻击方法。

论文是一项针对智能体动作拦截防御堆叠故障关联性与实际组合价值的实证测量研究。

AMU 用列级推导门控共享记忆，拦截经缓存流出的无权敏感列，并标出同名 KPI 的定义冲突。

CRIME 把公共技能库中各自通过审查的技能配成两两组合，看联合执行能否实现指定恶意任务。。

作者给出一套测量优先审计框架，用来判断智能体排行榜上的污染主张各自需要何种证据。