全部动态
从来源,看到研究的联系
点选节点,展开一条线索
本页材料
完整标题与摘要 · 24 条- 论文arXiv:越狱、提示注入、投毒与防御
研究:内容不变的风格包装可翻转 LLM 安全评判器的判定
研究者提出内容不变的风格包装攻击,在回复正文逐字节不变的前提下,只在前后添加固定字符串改变语气,测试 8 个安全评判器是否会翻转判定。在 600 条来自 JailbreakBench 的回复(300 条有害、300 条拒答,覆盖四个目标模型)上,token 式拒答包装把 GPT-4o-mini 正确判为不安全的判定翻转 19.9%(95% CI [15.0, 24.0],噪声下限 0.5%),而 Claude 仅 0.4%。已部署的 Llama Guard 4 同样被绕过,教育课程框架翻转其 12.3% 的有害判定,token 式拒答翻转 8.3%;另一个专用护栏 gpt-oss-safeguard-20b 对所有包装的翻转均不超过 1.2%,低于其自身噪声下限。仅修改评判提示词、要求忽略语气后,同一模型上的 token 式拒答攻击约减少十倍。
- 论文arXiv:越狱、提示注入、投毒与防御
PrivEscalate:面向 LLM 自动化 Linux 提权的 531 场景基准与 PrivEscAgent 增强方案
研究者提出 PrivEscalate,一个包含 531 个 Docker 化场景、覆盖 14 个子类别的 Linux 提权大规模基准,并额外派生 329 个参数化变体以测量对环境干扰的敏感性。在三种智能体架构上评测六个 LLM 后发现:模型能力在不同漏洞类别间差异明显,没有单一模型在高发类别上全面领先;提权成功对环境扰动敏感,配置轮换能打断部分利用尝试但无法消除风险;智能体架构会显著改变成功率并重排模型名次,幅度因模型而异。基于这些发现,作者开发 PrivEscAgent,在通用 ReAct 智能体上加入确定性枚举、类别匹配和步骤规划,在不修改底层 LLM 的情况下优于此前的 Linux 提权智能体基线。
- 论文arXiv:越狱、提示注入、投毒与防御
CS-Guard:首个面向代码生成安全的 LLM 护栏评测基准
CS-Guard 是首个系统评测代码生成安全护栏的基准,覆盖文本到代码与代码到代码两类场景。文本到代码部分使用 1000 条高质量恶意代码生成提示、7 种越狱攻击,以及新提出的虚构场景攻击(FSA),后者把恶意意图嵌入看似合法的软件开发情境;代码到代码部分包含 331 条提示,涵盖代码填充、代码补全和代码翻译。作者在 7 个 LLM 上评测了 9 种护栏,发现现有护栏对恶意代码生成请求表现不佳:文本到代码在越狱后平均攻击成功率(ASR)对许多护栏约为 50%,代码到代码在基座模型上平均 ASR 接近 100%,应用护栏后仍在 14.4% 到接近 100% 之间;FSA 对许多护栏的 ASR 接近 100%。多轮 FSA 在所选护栏上的 ASR 为 65.0% 到 92.3%。作者按三层分类法组织护栏,并以 CC BY-NC-SA 4.0 许可发布基准与数据。
- 论文arXiv:越狱、提示注入、投毒与防御
PIDS-Bench:在过度防御、混淆与分布偏移下评测提示注入检测器
研究者提出 PIDS-Bench,一个冻结的多轴基准,在固定阈值下同时评测提示注入检测器的攻击检测能力与良性误报行为,覆盖分布内输入、模仿注入结构但无恶意的 hard-benign 提示、混淆攻击以及领域和结构分布偏移。评测涵盖七个检测器(学习型基线、外部提示注入分类器、广义安全对比模型)以及一个基于规则的下界参考。多轴评测暴露出聚合 F1 掩盖的失效模式:在留出集上 F1 超过 0.98 的检测器,仍会把来自公开语料、限定于安全相关内容的良性子集约三分之一误判。在完整阈值扫描和五个训练种子上,没有内部检测器能在该压力分布上同时满足 F1 >= 0.95 与 hard-benign FPR <= 0.10。
- 论文arXiv:越狱、提示注入、投毒与防御
自主网络事件响应智能体的网络靶场评估
研究在面向人工操作员训练的网络靶场中测试自主网络入侵响应智能体,靶场包含可变网络拓扑、红队模拟和模拟用户智能体,告警由 SIEM 平台生成并映射为智能体使用的数据建模语言。测试对比启发式智能体与强化学习策略,后者借助网络攻击模拟器优化综合成本。结果显示强化学习智能体整体防御效率高于启发式策略,且性能高度依赖对手策略与模拟用户的组合。
- 论文arXiv:越狱、提示注入、投毒与防御
AgentLSD:在对抗性任务污染下评测 AI 安全 Agent
研究者提出 AgentLSD 框架,用 CTF 挑战研究 AI 安全 Agent 面临的对抗性任务污染,即环境中除攻击者指令外还包含假结果、诱饵端点等非指令性欺骗证据。框架在保留原解法的前提下注入假 flag、误导性提示、诱饵端点和隐藏线索,支持干净与陷阱增强的配对实验,并提供确定性陷阱生成、运行时注入、遥测和投递验证。在 11 个 Web CTF 挑战上评测六个模型,干净条件下 Agent 捕获 41% 的 flag,没有模型解出全部挑战;即使仍能拿到 flag,陷阱也会使对话轮数增加 20、推理 token 增加 2k,而解题率受影响程度不一,部分模型与挑战组合基本不受影响,另一些则跟随诱饵或提交错误 flag。
- 论文arXiv:越狱、提示注入、投毒与防御
CASCADE 研究:跨流水线阶段的越狱防御组合评估
论文提出 CASCADE 决策框架,在直接、黑盒、单轮攻击的统一威胁模型下,系统研究 LLM 越狱防御在流水线阶段内与跨阶段的组合效果。研究用带受控查询预算的攻击成功率公式和明确的公平性规则统一评估口径,覆盖 19 种攻击与 15 种防御。结果显示没有单一防御在所有场景下最优,但精心选择的组合能在效用损失极小的前提下取得显著安全提升,并据此给出分层防御流水线的实用建议。该工作已被 EMNLP 2026 Findings 接收。
- 论文arXiv:越狱、提示注入、投毒与防御
综述提出智能体 AI 安全的跨维度威胁分类 T={S,B,P,A}
一篇综述对 2022 至 2026 年间发表的 66 项研究做结构化梳理,提出跨维度表示 T={S,B,P,A},把受影响的系统面、交互或信任边界、被违反的安全属性与实证考察的架构关联起来。作者分析了 22 项有制品支撑的红队研究以及 11 个代表性安全基准,发现证据集中在提示词与推理、记忆和工具调用类攻击,且多为单智能体场景;持久化、人机交互、复杂多智能体、系统性和长时程威胁的覆盖较少。作者强调这些结论描述的是所选语料而非全部实证研究,并指出指标异构、自适应防御评估有限、架构分布不均和执行状态捕获不完整制约了可比性与可复现性,据此提出 13 个开放研究问题。
- 论文arXiv:对齐、欺骗与监督
SchemeArena:面向 LLM 智能体谋划的因子化压力测试基准
作者提出 SCHEMEARENA,一个包含 400 个场景的基准,用于对 LLM 智能体中的谋划行为做可扩展压力测试,场景通过因子化合成框架构建,覆盖安全相关工具领域、工具性目标、监督条件和压力机制。作者同时提出 SCOUT 监控器,依据智能体的推理与行动证据做多标准判断。在五个 LLM 智能体上的受控压力测试显示,明确的工具性目标对谋划倾向的驱动最强;策略性提示的作用不同,它帮助智能体把谋划推理转化为具体的隐蔽行为。监督的效果不一:在若干闭源模型中,仅监控行动反而使谋划增加,说明部分监督可能成为优化约束而非威慑。思维链是有用但不完整的监控信号,能在执行前暴露潜在谋划,而仅行动层面的谋划表明隐蔽行为可能没有显式推理证据。
- 论文arXiv:对齐、欺骗与监督
研究者发布 SWE-Bench Pro Verified,修正奖励作弊与任务质量问题
研究者提出 SWE-Bench Pro Verified,针对 SWE-Bench Pro 评测中两类不可靠来源进行修正:一是金标答案或隐藏评测信息泄露导致的奖励作弊,二是问题陈述误导、测试范围不当等任务质量问题。方法上结合防作弊措施以消除主要泄露渠道且不干扰 Agent 正常功能,并对有缺陷实例做最小化修正。在 SWE-Bench Pro Verified 上的评测显示,部分模型表现明显低于此前评测结果,说明现有 SWE-Bench Pro 成绩可能高估了真实软件工程能力。
- 论文arXiv:对齐、欺骗与监督
BenchShield:面向 LLM Agent 评测基础设施的奖励完整性形式化插桩
论文提出 BenchShield,一个以形式化模型为支撑的插桩层,用于保障 LLM Agent 评测中的奖励完整性。该方法基于评测奖励相关事件的有限生命周期模型,在基准基础设施内运行两类互补分析:静态的阶段感知污点分析可在运行前暴露奖励作弊路径,运行时分析则利用基础设施侧证据归因具体 Agent 行为并给出有证据支撑的结论。作者构建了 BenchShield Trajectories,从三个基准的 31000 余次公开 Agent 运行中人工标注了 456 条裁定轨迹。
- 论文arXiv:对齐、欺骗与监督
论文:谬误检测基准测的是图式识别而非谬误检测
论文指出,谬误检测基准把谬误类别与一个囊括所有未标注内容的 valid 类配对,实际打分的却是识别论证图式的能力,而非判断论证是否有误。作者发现,分类器漏判谬误时错误落在 none 而非其他谬误类型上,说明检测失败而分类仍成立;原因是区分两项任务所需的负例,即使用同一论证图式的正确论证,在考察的四个基准中几乎不存在。作者据此构造了缺失的论证及仅图式不同的对照条件,分类器把图式匹配的负例标为源谬误,把图式不符的负例按其实际图式标注的比例为 85.9%,标为源类型的仅 0.4%。
- 论文arXiv:对齐、欺骗与监督
认证依据哪个 Oracle?执行标签决定 text-to-SQL 保形弃答报告的风险
针对 text-to-SQL 的保形弃答证书,其真实性取决于校准所用的正确性标签。研究在 Spider-Realistic 上做预注册干预,把基准自带数据库换成其蒸馏多实例测试套件,在四个 SQL 专用 checkpoint 和两种划分方案下,证书的留出风险比自身标签所报高出 2.73 至 10.23 个百分点;在两位 SQL 专家盲标下,名义 0.10 的证书在两个 checkpoint 上实际风险达 20.0 和 17.2 个百分点。更严格的 oracle 双向出错,其拒绝的答案多数并非错误,接受的答案中也有错误。
- 论文arXiv:对齐、欺骗与监督
NavSafe-∞:在真实感环境中评测闭环驾驶安全
作者提出 NavSafe-∞,一个包含 280 个场景、覆盖 28 类事件的光真实感闭环驾驶安全基准,按结构化交通安全分类法为交通碰撞、弱势道路使用者碰撞、交通违规和交通事故给出类别级能力分数。对 20 个端到端驾驶策略的评测显示,开环基准上的提升并不能可靠迁移到闭环安全。作者进一步分析两种常见补救手段:被动演示扰动主要在该策略的闭环 rollout 仍接近其扰动训练状态时有效;开环强化学习微调则出现奖励作弊,用安全裕度换取自车前进,闭环反馈会把这种倾向放大为累积的安全关键错误。作者认为这些结果说明开环基准在判断闭环安全成功上存在盲点,基准与可扩展工具箱将开源并持续维护。
- 论文arXiv:对齐、欺骗与监督
LLM Judge 验证在稀疏重叠下的问题:从推理到设计
研究证明标注重叠稀疏性是 LLM-as-a-judge 部署决策错误的首要决定因素:5% 成对重叠时错误决策率达 25%,从十个候选评判者中选出错误最优者的概率达 65%。作者推导出最小重叠公式,显示 ρ ≥ 0.25 足以应对非边界评判者,边界案例仍难以解决;零成本分层分配方案在分层有信息量时可将错误拒绝率减半。研究在 10 个 LLM 评判者、四个评估矩阵上验证,覆盖视觉评估、因果推理与摘要任务。
- 论文arXiv:对齐、欺骗与监督
零训练 LLM+OVOD 流水线中的归因缺口:CAAP–SNAP 差异的细粒度分析
在完整 5,000 张图像的 COCO-Val 划分(27,273 个检测)上,零训练 LLM+开放词汇检测器(OVOD)流水线的类无关定位准确率(CAAP)与语义命名准确率(SNAP)持续背离,原因并非物体视觉复杂度——小目标和被遮挡目标反而定位更好。当 LLM 措辞超出检测器原生类别集时,定位准确率从 80.9% 降至 31.6%;其中真实同义词仍达 89.3%,语义无关的"噪声"标签仅 12.0%。
- 论文arXiv:对齐、欺骗与监督
论文提出基准完整性维护框架,审计 Agent 通过轨迹中的非应得通过
论文提出一套过程验证框架,用于审计 Agent 的通过轨迹,区分有证据的奖励作弊与验证器缺陷,并定位可被利用的基准面以便修复。作者将非应得通过占全部通过的比例定义为完整性缺口,认为随着 Agent 能力提升,原本无害的基准面可能变得可被利用,基准有效性因此成为持续维护问题。
- 论文Hugging Face Daily Papers
OSWorld-Science:面向科学软件学习与使用的计算机操作智能体基准
研究者发布 OSWorld-Science,一个面向科学领域计算机操作智能体的基准与评测环境,包含 12 个 VLM 和 146 个高质量任务,覆盖分子绘制与逆合成、病理图像分析、统计计算和物理模拟等科研工作流。任务由专家提案并经人机协同迭代设计,按科学价值与难度筛选。任务专属的执行式评测器检查应用状态与生成产物,包括分子结构、分割掩码、图表和数值结果,并对未完成结果给予部分分数。配套 harness 集成模型适配器、交互循环控制和轨迹日志,用于比较模型与交互策略。结果显示,当前 SOTA VLM 即使配合强 harness,在科学领域关键问题上仍面临挑战;作者还从多语言、推理投入、上下文长度等因素分析了评测结果。
- 论文Hugging Face Daily Papers
CheatBench:衡量 AI 智能体奖励作弊的基准
研究者提出 CheatBench,一个覆盖数学研究、知识工作、编码、视觉任务等领域的 AI 智能体作弊评测基准。其环境把有难度的任务与作弊机会组合在一起,用于研究在诚实完成困难时智能体如何追求目标。该基准支持跨模型和跨任务类别比较,为衡量和减少智能体作弊提供测试平台。论文摘要提到,近期事件和受控评测中,以最大化奖励为目标的智能体曾访问未授权信息、试图规避监控系统,甚至突破沙箱保护攻击外部系统。CheatBench 已在 https://cheatbench.ai 公开。
- 论文Hugging Face Daily Papers
研究发现系统提示中隐藏日期影响 LLM 评测结果
研究指出系统提示中被隐藏注入的当前日期是 LLM 评测中一个被忽视的变量,用户无法控制且每天变化。在 9 个近期 LLM 和 6 个数据集上,涵盖多选题问答(MCQA)、数学推理、代码生成和机器翻译,模型表现仅随当前日期变化:MCQA 波动最高 6%,数学推理 14%,代码生成 7%,机器翻译 2.84 BLEU。模型排名也会随之变动,影响排行榜。该日期效应超过 batch size 和数值精度等其他非确定性来源,且 chain-of-thought 与 few-shot prompting 等标准提示技术无法降低这种敏感性,chain-of-thought 反而会放大它。作者据此呼吁采用更严谨的评测协议以保证可复现性和公平比较。
- 论文arXiv
AgentCyberRange:复旦团队发布真实网络靶场自主攻击能力基准
复旦大学团队提出 AgentCyberRange,一个面向前沿 AI 系统自主网络攻击能力的开放多靶场评测基础设施,包含 15 个真实 Web 应用中的 110 个漏洞和 8 个企业式靶场共 156 台内网主机,并配套评测工具链 Cage。评测覆盖 Web 利用与后渗透两个阶段,在统一提示词和预算下测试六个前沿系统。GPT-5.5 搭配 Codex 成功率最高,Web 利用任务 16.1%、后渗透任务 31.7%;给出更具体提示后分别升至 33.0% 和 46.3%。评测中还观察到系统发现基准外漏洞,包括 ComfyUI 中一个任意文件写入零日漏洞,并能变异载荷绕过主机防御。同时系统仍不可靠:常漏掉隐藏攻击面、多次运行结果波动大、难以完成长链路后渗透,并在防御压力下触发蜜罐和告警日志。
- 论文arXiv
SciRisk-Bench:面向 AI4Science 安全的风险维度感知基准
作者提出 SciRisk-Bench,一个从显式风险维度和科学学科两个角度评测 AI4Science 安全的基准,覆盖 7 个学科、31 个子学科和 10 个风险维度。研究指出,现有 AI4Science 安全数据集虽覆盖若干学科和任务形式,但底层风险维度界定不足。实验部分对主流 LLM 和面向科学的 LLM 按风险维度、学科和子学科进行评测,用于细粒度诊断科学模型在哪些方面仍不安全。论文编号 arXiv:2606.18936,属 cs.AI 与 cs.CY 方向。
- 论文arXiv
ForesightSafety-VLA:面向视觉-语言-动作模型的统一诊断安全基准
研究者提出 ForesightSafety-VLA,一个以安全为首要评测目标的视觉-语言-动作(VLA)模型诊断基准。该基准定义覆盖物理交互安全(Safe-Core)、指令侧安全(Safe-Lang)与感知侧安全(Safe-Vis)的 13 类安全分类体系,并在场景结构、语言指令和视觉观测三个受控维度下评测策略,以便定位失败来源而非只给出单一聚合分数。除二元任务成功外,它还通过累计安全成本(CC)和风险暴露时间(RET)衡量过程级风险,并对安全/不安全的成功与失败做四象限分解。
- 论文arXiv
MiShield:识别多图组合后浮现的隐式有害内容
论文提出多图隐式有害内容(MIIT)问题,即每张图片单独看都无害,但多张图片联合解读时会产生有害语义,现有商业审核 API 和模型因单图缺乏明显风险线索而难以识别。作者给出 MIIT 的正式定义并分析检测中的三个关键挑战,通过自动生成流程构建了覆盖七类代表性风险的纯图像多图安全数据集 MIIT-dataset,并训练出 MiShield,采用渐进式蒸馏推理监督,使其在给出安全判断的同时显式分析导致危害的关联实体。实验显示 MiShield-8B 的表现优于代表性审核服务和更大规模的模型。论文共 15 页、8 张图,作者提示内容可能包含敏感信息。