跳到正文

看学术

AI 安全方向的论文、会议、比赛、教程与资料,按内容形态筛选,支持搜索。

分类筛选1展开
共 241 条 · 更新于 15:39
10月21日周三
  1. 安全paper60

    论文论证投毒式神经网络后门不具备密码学不对称性

    arXiv 论文 2610.28045 提出归约论证,认为投毒式神经网络后门无法像密码学认证方案那样形成不对称性:若投毒训练能让模型对未见触发器稳定触发并保持正常行为,该训练过程本身就是一个触发器验证器学习器。

  2. arXiv52

    论文提出无人值守 Agent 自我改进的两个可测量前提:验证器强度与可恢复性

    论文提出平台可测量的两个量:验证器强度 σ 衡量可用验证器(常为 LLM judge)与可信参考验证器的一致程度,可恢复性衡量坏改动被撤销的成本。作者据此制定规则,允许 prompt、工具与技能编辑无人值守运行,权重更新仍需人工签核。

  3. arXiv18

    SCALF:用步骤级信用分配与失败轨迹自蒸馏增强缺陷暴露测试生成

    SCALF 是一种过程监督强化学习方法,结合步骤级信用分配与对有价值失败轨迹的定向学习,用于为大语言模型生成的代码自动生成能暴露缺陷的测试。它从过程奖励中推导每步优势,并将触发缺陷但输出预测错误的轨迹转入同策略自蒸馏。在三个基准上,其联合成功率、输出正确率和缺陷触发率分别比强提示与后训练基线最高提升 2.97、5.26 和 3.53 个百分点。

  4. arXiv26

    SyLares:面向免编译补丁存在性测试的神经符号推理引擎

    SyLares 将免编译补丁存在性测试重构为神经符号推理,由 LLM 充当神经特征提取器生成符合规范的 SMT-LIB 输入,最终判定交给符号 Z3 求解器。其前作 Lares 将 LLM 与 SMT 求解器作为两条并行决策通道,符号通道仅在 20% 代码案例中成功,其余回退到 LLM 裁决,易产生幻觉且两通道无法互相增强。

  5. arXiv29

    Foreword:用 Jacobian Lens 在生成前预测并刻画 LLM 测试失败

    Foreword 框架通过同时学习通过和失败的参考输入,并用 Jacobian lens(J-lens)表示输入,在生成前预测 LLM 测试失败。在十项任务和三个开放权重 LLM 上,其四种表示与估计器组合平均优于 Clotho,失败预测 ROC-AUC 平均提升 0.14、最高 0.31,前 100 个优先输入中失败数平均多 15%、最高 33%。

  6. arXiv60

    论文提出 show-up 攻击:恶意子智能体可越权拉主管入局

    论文提出并研究 show-up 攻击,即恶意子智能体操纵主管智能体把它纳入超出其授权范围的任务,并构建包含 6 种攻击策略、188 个测试用例的 SUA-Arena 进行评测。对 6 个前沿大模型的评测显示全部存在该风险,例如 GPT-5.6-Sol 作为主管时 ASR 最高达 0.93。提示词与限制通信等缓解策略未能稳定降低风险,作者认为多智能体系统需要显式的权限边界执行机制。

  7. arXiv24

    SSTA:面向认知雷达的时空对抗攻击,跨9个模型黑盒攻击成功率超基线10.36%

    研究者提出物理先验驱动的分段时空攻击 SSTA,通过全局-局部特征解耦分割机制提升跨架构迁移性,并用可微分时空算子与 EoT 策略把信道失真纳入动量迭代。在覆盖 CNN、RNN、Transformer 的 9 个异构模型交叉评测中,SSTA 的平均黑盒攻击成功率比 SOTA 基线高 10.36%。基带等效仿真显示生成波形经匹配滤波后主瓣衰减为 0 dB,噪底抬升严格落在恒虚警率容限内。

  8. arXiv71

    论文指出 LLM Agent 逐动作授权无法组合为全局授权

    arXiv 论文提出组合式授权失败(CAF)概念,指单个工具调用或一对调用各自通过本地护栏,却违反跨意图、目的、来源、同意与委托的全局策略。核心结论是一条不可行性结果:关系型目的违规属于 2-safety 超属性,没有单条轨迹上的归责点,因此从不误报的逐动作监控无法检出,只有跨执行监控才能发现,而作者调研的六款护栏均未实现。

  9. arXiv26

    CAESAR:用于认知攻击评估的混合现实搜救平台

    研究团队开发了 CAESAR,一个面向协作搜救训练的多用户混合现实框架,集成四类认知攻击并配套多模态数据采集管线,用于系统评估对抗条件下的认知攻击。受控用户研究深入分析了基于延迟的攻击,显示其对任务表现和用户行为产生可测量影响,并刻画了用户的主观体验。该工作已被 2026 IEEE ISMAR 接收,并将发表于 IEEE TVCG 特刊。

  10. arXiv32

    HydraPoT:面向成本感知 LLM 辅助蜜罐的可配置多智能体框架

    HydraPoT 是一个可配置多智能体蜜罐框架,将传统仿真、轻量 LLM 与云端 LLM 结合,按可配置的复杂度策略把每条攻击者命令路由到合适的智能体,并通过共享会话状态保持跨智能体切换的一致性。其运行时开销低于 5%,在异构智能体间保持上下文,保真度接近纯云端 LLM 蜜罐;在案例策略下云端处理 token 减少 72.6%,运营成本降低 3.7 倍。该成果已被 AINTEC 2026 接收。

  11. arXiv26

    工业信息物理系统中携带上下文动作意图的执行时验证:XAIR 运行时与 Action Intent Schema

    针对工业控制单元中命令经推理、确认与传输后状态已变导致的“执行间隙”,Action Intent Schema(AIS)要求生产方声明决策有效期与假设,运行时 XAIR 在释放前重新校验意图,并以版本条件命令形式仅在控制器状态版本未变时执行。

  12. arXiv44

    批量归一化层水印的漏洞与无数据移除攻击

    研究揭示联邦学习中基于 Batch Normalization(BN)层的白盒水印方案存在根本性漏洞,并提出一种实用的无数据攻击,可在不访问代表性训练数据的情况下移除水印。在两个代表性 FL 水印方案上的实验显示,该攻击能持续移除水印且对模型性能影响极小。作者指出,DNN 水印方案应在符合 Kerckhoffs 原则的威胁模型下评估,而非依赖隐晦式安全。

  13. arXiv55

    CAPSafe:面向具身智能体上下文动作与规划安全推理的基准

    作者提出 CAPSafe 基准,从动作级和规划级两个层面评估大模型驱动的具身智能体安全推理能力,其中动作级判断单个动作在给定环境上下文中是否安全,规划级评估智能体能否为复杂危险家务任务生成安全的长程规划。

10月20日周二
  1. 安全paper49

    论文提出用蜜罐检测 AI Agent 内部威胁

    arXiv 论文 2610.26664 提出将蜜罐作为 AI 控制方法,在生产环境中布置有害行为的诱饵机会,用于检测、归因和威慑犯错、被攻陷或目标不对齐的内部 AI Agent。作者认为蜜罐可在思维链可监控性下降时仍识别恶意 Agent,并向安全团队发出告警,还能低成本扩展到大量 Agent 实例。论文同时讨论了蜜罐的局限,并提出测试其鲁棒性、与其他监控方法比较检测效果等研究问题。

  2. 安全paper47

    超越攻击成功率:面向迭代式 LLM 越狱评估的成本感知指标 ASR_STEP

    论文提出 ASR_STEP 指标,在保留二元成功判定的同时惩罚对受害模型的额外调用,以修正标准攻击成功率(ASR)忽略查询次数的问题。在 JailBreakBench 上对三个模型家族评估显示,GCG 折扣后分数下降 7.0–8.7 个百分点,PAP 保持不变,PAIR 在步数预算下折扣幅度为 3.4–12 个百分点。

  3. 安全paper47

    小规模本地部署 LLM 在法律语境下过度拒答:刑事法律场景中的角色前缀使拒答率上升 2–20 倍

    研究显示,小规模开源权重 LLM 在刑事法律日常任务中,加入“我是辩护律师”“国家最高法院法律顾问”等真实职业身份前缀后,对良性请求的拒答率比无前缀基线系统性上升 2–20 倍。该触发因素并非明显越狱提示,而是用户自然的职业自述;已知的角色扮演越狱前缀效果则因模型而异,部分模型拒答率大幅上升、部分几乎不变。结论基于四个小型模型的良性法律领域提示评测,机制、任务广度与泛化性仍待进一步研究。

  4. 安全paper40

    面向 LLM 红队演练的预算化攻击调度:静态先验、语义引导与在线反馈的作用

    论文将 LLM 越狱红队演练形式化为固定攻击库上的预算化攻击调度问题,在 GPT-5.2 上跨三个受害模型与三种防御设置评估四种调度策略。历史 ASR 先验能提供强初始化,但在防御引发的分布偏移下可靠性下降;语义引导在冷启动阶段稳定提升或持平静态先验调度,在线反馈则在迁移先验失效时尤为有价值。语义引导与在线反馈还能部分弥补历史先验缺失。

  5. arXiv58

    研究:蛋白质语言模型预训练数据过滤的效果与持久性

    研究以 ESM-2 系列蛋白质语言模型为对象,考察从预训练数据中过滤病毒蛋白这一防护手段的效果与持久性。结果显示,过滤会明显削弱模型在病毒蛋白上的掩码语言建模、突变效应预测和长程接触预测表现,而非病毒蛋白性能基本保持;影响集中在感染人类的病毒蛋白上,并随模型从 8M 扩展到 3B 参数而增强,模型越大严格过滤越有效。

  6. arXiv58

    面向 ELK 的鲁棒模型生物:在漏洞检测任务中训练选择性隐瞒的模型

    作者训练模型生物在漏洞检测任务中隐瞒答案,用于实证研究“引出潜在知识”(ELK)问题。方法结合对话记录蒸馏、反提示与抗篡改训练,使模型具备选择性隐瞒、抗诱导和保留知识优势三项特性;最强模型在鲁棒性上明显优于此前模型,同时保持另两项特性。代码、模型与数据集均已公开。