跳到正文

看学术

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

分类筛选1展开
共 241 条 · 更新于 15:39
10月23日周五
10月22日周四
  1. arXiv56

    Typed Template Fuzzing:用 LLM 预处理生成类型化模板的模糊测试方法

    论文提出轻量级 LLM 模糊测试方法 Typed Template Fuzzing(TTF),在预处理阶段用 LLM 将种子转化为类型化模板,随后无需语言专用解析器、类型检查器或额外 LLM 查询即可进行语义感知的变异模糊测试,并可利用种子与模板的对应关系修复 LLM 错误。

  2. 安全paper71

    arXiv论文提出通过后训练提升思维链可监控性

    arXiv:2610.29734 论文提出一种无监督后训练目标,通过最大化思维链(CoT)与模型输出之间的互信息来提升 CoT 可监控性。在三个 CoT 被刻意退化的 model organisms 上,该方法恢复了大部分或全部丢失的可监控性;应用于未退化策略时,还能提升判定式可监控性、CoT 监控器与激活探针对不安全行为的预测能力,并增加实质性推理的比例。

  3. arXiv86

    arXiv 论文揭示编码智能体上下文压缩中的来源伪造攻击 Compaction Laundering

    论文提出 Compaction Laundering 攻击:编码智能体压缩上下文时,若 harness 将带类型的消息拍平为单一字符串并用 [User]: 等文本标签标记,攻击者可伪造在压缩后仍被当作真实指令的用户轮次。

  4. arXiv58

    arXiv 论文:生物医学声明验证 Agent 的 harness 设计消融与引用审计

    该论文在 SciFact 生物医学声明验证任务上,以 PubMed API 为唯一工具做受控消融,固定骨干模型与输出格式,对比闭卷作答、以声明为查询的单次检索、自写 PubMed 查询的 ReAct 式 Agent、以及给定金标准摘要的 oracle 四种 harness。

  5. arXiv47

    研究揭示 LLM 价值观训练的非预期副作用:未训练价值观、风险偏好与安全特质均受影响

    研究将四个指令微调 LLM 分别按 Hofstede 价值观维度微调后发现,针对特定价值观的训练会对未训练价值观、风险偏好、社会认知和安全特质产生非预期副作用。作者据此建议,后训练阶段的价值观对齐应纳入更广泛的行为评估,并需研究额外价值观训练在流程中的最佳位置。

  6. arXiv41

    VX-One:面向实时边界分诊的类型化校准决策头,实测未知攻击诚实性、级联灰区与漂移下的校准

    VX-One 是一个 100K-10M 参数的小型多头网络,输出校准门控、含显式 unknown 选项的闭集选择与序数分数三类类型化决策原语,CPU 上 p50 约 0.7-1.7 ms。

  7. arXiv58

    ReMAS:用强化学习对多智能体系统做黑盒红队

    作者提出 ReMAS,一个面向多智能体系统(MAS)的强化学习红队框架,通过微调攻击方 LLM 生成用于系统提示词提取的对抗提示。该框架分两步,先改写基础攻击提示以提高提取成功率,再生成攻击模板以提升调用特定子智能体、暴露其系统提示词的概率。实验显示其攻击成功率明显高于现有黑盒攻击方法,并可迁移到不同后端 LLM 与 MAS 结构。

  8. arXiv60

    PerMIT:用机器校验完整性定理与社区信任保护 LLM Agent 持久记忆

    PerMIT 提出一种面向 LLM Agent 持久记忆的架构,在仅信任用户输入与闸门确认值的显式假设下,通过有限记忆接口管控不可信环境值的释放与使用,并保留 Agent 的多轮规划与工具选择能力。

  9. arXiv66

    研究:AI 审批监控器的相关性失效与按来源计数规则

    Luca Zanolini 在 arXiv 发表论文,研究多个 AI 审批监控器在共享基座模型或被投毒输入时可能同时失效的问题,并借用分布式计算的失效易发系统(fail-prone systems)来刻画这类监控器集合。

  10. arXiv47

    边缘 VLM 物理对抗鲁棒性统一评估框架:紧凑 grounding VLM 与目标检测器同样易受对抗补丁攻击

    研究提出统一指标 cASR(条件攻击成功率),在匹配灰色遮挡物下比较紧凑 grounding VLM 与目标检测器对行人佩戴对抗补丁的检测逃逸情况,发现 VLM 可与检测器同样脆弱。失败模式主要与模型输出格式而非架构家族相关,其中位移与替换会返回高置信度、格式完整的框,仅遗漏对下游系统可见,因而更危险。分布偏移下,原本以遗漏为主的 VLM 会转向更多位移/替换失败。

  11. arXiv60

    DiagSafe:用提示词级评分细则对 LLM 安全做诊断式评测

    作者提出 DiagSafe 诊断式评测框架,用提示词级评分细则替代二元安全标签,从安全与有用性两个维度给出显式判据。该框架构建了基于 84 类安全分类体系的中英双语基准,包含 DiagBase 与 DiagAttack 两个子集,实验显示其与人工标注一致率达 95.34%,高于基线的 69%-87%,评判者间一致性 Cohen's κ = 0.864。

  12. arXiv23

    VMSpec:基于反编译器的虚拟机混淆对抗方法

    VMSpec 是一种基于反编译器的自动化方法,通过构建 VM 处理器规格,让现有反编译器能分析 VM 混淆代码。在 147 个来自 Tigress 和 Code Virtualizer 混淆基准的程序及 6 个真实恶意软件 DGA 上,VMSpec 几乎剥离了所有样本的 VM 混淆,输出效果接近 Ghidra 对原始代码的反编译。

  13. arXiv62

    论文发现 LLM Agent 文本拒答难以迁移到工具调用

    论文构建了覆盖四个领域、2,304 条提示词的基准,用文本、标准工具调用和对抗性工具调用三种配对设置测试五个模型,发现聊天中被拒答的有害请求在标准工具调用下仍有 10-52% 变成不安全的工具调用。

  14. arXiv18

    VERDICT:多智能体并行模块化验证框架

    VERDICT 是一个面向大规模程序模块化演绎验证的多智能体框架,通过基于假设的并行规约合成与双向过程间冲突协调,让各函数智能体可同时推进验证。在真实 C 程序上,它合成的规约质量优于现有方法并大幅缩短验证时间,首次扩展到完整的 20,000 行 X.509 解析器,数小时内排除几乎所有潜在运行时错误,而 PREGUSS 等此前工具运行数天仍远未达到。

  15. arXiv31

    CloudIR-Bench:面向云故障根因分析与缓解预测的公开基准

    CloudIR-Bench 是首个公开的云故障根因分析与缓解预测基准,数据集取自五套主流云系统的真实事故报告,并开源含 8 种近期 LLM 方法的评测框架。评测覆盖零样本与上下文学习实验,并定性分析 LLM 在何处、为何失败,揭示现有模型在该领域的能力与局限。数据集、框架与补充材料均已公开,论文收录于 APSEC 2026。

  16. arXiv72

    arXiv论文量化编码Agent过度遵循过期指令文件的行为并验证一句话修复

    论文构建40个Python项目,在指令文件与现有代码约定冲突时让Claude Code和Codex CLI各运行320次。结果显示无干预时90.1%的选择遵循过期指令文件,Claude Code在80次运行中79次指出冲突仍照做,Codex CLI在80次中20次改写现有代码、其中17次导致项目测试失败。

  17. arXiv57

    ARATest:将研究声明转为可执行属性测试的论文

    论文提出 ARATest,一个基于属性的测试库,把 AI agent 产出的研究声明中的隐含属性抽象为可执行的属性骨架进行检验。每个属性给出 holds、violated 或 inconclusive 三种判定,违规附带可复现的 witness;默认生成器读取 ARA 工件链接的证据,auto-research 生成器则派发 agent 运行已发布代码获取新用例。

  18. 安全paper56

    arXiv 论文提出 CoT 可监控性的因果上下界评估与训练方法

    arXiv:2610.31733 论文研究如何评估与提升大语言模型的思维链(CoT)可监控性,指出常用的基于干预的评估指标 TPR_mc 会高估监控器真正检出由干预导致行为的频率,并将其确立为因果检出率的上界、推导出互补下界。

  19. 安全paper71

    arXiv 论文提出 MCP 智能体工作流的解码时来源绑定防御

    arXiv:2610.31974 论文研究针对 MCP 智能体工作流的间接提示词注入,提出解码时来源绑定机制,将 HMAC 认证的信任标签、MCP 维护的来源账本与上下文污点追踪结合,对被解码内容标记为不可信并阻断受其影响的关键工具调用。

10月21日周三
  1. 安全paper58

    论文发现奖励错配会降低思维链可监控性

    Tianyi Lorena Yan 与 John Hewitt 的论文 arXiv:2610.28303 发现,仅奖励错配本身就会降低思维链可监控性:在三个模型、三个任务上,随着模型学会利用错误奖励,其思维链仍在推理任务意图,而输出已违反意图并获得奖励。