跳到正文

看学术

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

分类筛选2展开
共 38 条 · 更新于 15:36
今天10月30日周五5 条
  1. arXiv78

    Snyk VulnBench 2.0 论文对比确定性 SAST 与 AI 安全 Agent 的代码漏洞检出分工

    Liran Tal 等发布 VulnBench 2.0 基准,包含 20 个开源 Web 应用中 108 个人工整理的攻击者可达漏洞(Go、JavaScript/TypeScript、Python、Java),其中 62 个跨文件,判定标准要求同时定位攻击者可控 source 与危险 sink 且各在两行内。

  2. arXiv78

    CARI:编码智能体工作流中的跨边界对抗性运行时注入研究

    arXiv 论文提出 Cross-Boundary Adversarial Runtime Injection(CARI)攻击设置:在多方协作的编码智能体工作流中,恶意或被攻陷的对等开发组件(如后端服务、测试框架、CI 任务)可在其运行时反馈中暗藏指令,诱导受害方智能体执行越权操作。

10月28日周三
  1. ShortSpan62

    Thinking-in-Bets:让智能体在读用户反馈前先写下主张,可几乎消除补丁审查中的错误反转

    论文《Thinking-in-Bets at Test Time Reduces Sycophantic Revisions in LLM Agents》(作者 Nghi D. Q. Bui)提出一种免训练方法:让智能体在读用户回复前先写一份私有 Claim Checklist,逐条记录主张、支撑证据与置信度,收到质疑时据此决定保留、复核、澄清或修复。

  2. arXiv53

    MiRL:用错误靶向强化学习纠正终端Agent的错误行为

    论文提出 MiRL(Misbehavior-driven RL),先对策略的错误进行画像以找出可泛化的错误行为,再从这些错误发生的步骤开始 rollout 并仅在通过测试且避免错误行为时给予奖励,从而用强化学习纠正终端 Agent 的错误。

  3. arXiv62

    arXiv 论文提出智能合约合成意图丢失测量方法与先提问架构

    论文提出一套基于执行而非主观判断的评测方法,通过在 AI 生成的智能合约与原始合约上重放相同交易并测量一致率,定位需求在智能合约合成中丢失的位置。研究发现常见方法如 AI 评委和标准分析工具会漏掉明显错误,仅检查各系统都包含的函数会掩盖约一半的流水线差异。

10月27日周二
  1. arXiv47

    超越 QASecClaw:软件保障中的 Agent 扩展、验证器反馈与证据可靠性

    一项涵盖五组实验的软件保障研究(arXiv:2610.36947)使用 Qwen2.5-Coder-7B-Instruct(含 1.5B 敏感性分析)完成 13,638 次模型请求,测试在已有确定性工具证据时增加专家上下文能否提升软件保障。

10月23日周五
  1. arXiv45

    DeepAVR:基于多智能体协作的自动化漏洞修复深度分析框架

    DeepAVR 提出一个多智能体协作的端到端自动化漏洞修复(AVR)框架,将修复过程分解为故障定位、补丁生成、编译验证、安全验证、功能验证与补丁审查等角色,并引入补丁条件化重定位与面向根因的补丁审查。在真实 C/C++ 漏洞修复数据集 VulnLoc 上,DeepAVR 为 92.3% 的漏洞生成了正确补丁,显著优于先前方法;在 SAN2VULN 上也展现出对训练期间未见漏洞的良好泛化能力。

  2. arXiv70

    Ulysses:面向 Web 漏洞可验证利用合成的多智能体安全框架

    论文提出 Ulysses,一个多智能体安全框架,用于为 Web 应用合成可验证的漏洞利用证明(Proofs of Exploitability),通过迭代探索利用假设并在独立观测的执行效果中确认成功,将候选漏洞发现转化为已验证结果。

  3. arXiv72

    arXiv 论文提出模拟控制评测 SCE,用大模型模拟工具响应预测护栏安全性

    论文提出模拟控制评测(SCEs),用语言模型模拟工具响应以替代真实环境,扩展控制评测的适用范围。在 LinuxArena 上,SCEs 在 5% 审计预算下预测安全性的均方根误差为 3.6 个百分点。

  4. 安全paper60

    Enclawed:面向 MPI 与批处理 HPC 系统的 LLM Agent 确定性安全运行时论文

    arXiv:2610.33318 论文提出 Enclawed,一个面向 LLM 驱动 HPC 工作流的确定性安全运行时,通过可解析策略的启动门控、硬件根信任 Enclaweder 签名、短租约与心跳共识、fail-closed 驱逐来监管每个 rank,即使控制主机或协调器被攻陷也能维持防护。

10月22日周四
  1. arXiv42

    Sign Here:通过溯源归属构建更可信的软件供应链

    研究提出从源码直接构建、绕过包注册表来阻断恶意包,基于 47,066 个恶意包与 npm/PyPI 共 33,138 个样本的评估显示,仅检查源码归属即可拦截 87.7%–99.9% 的恶意包。但良性包透明度不足,仅 47.4% 标注了可供终端用户构建的源码来源。

10月21日周三
  1. arXiv18

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

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

  2. arXiv32

    大语言模型跨语言代码翻译中的幻觉:现象与缓解

    一项系统性实证研究在三个基准数据集、六组语言对和七个 LLM 上考察跨语言代码翻译幻觉,构建了语义一致性冲突、事实知识冲突、项目上下文偏离三类分类法,并人工标注 13,919 个幻觉案例。研究进一步提出 HaluCodeTran 缓解框架,结合基于 BM25 的翻译示例检索与分类法感知的反思式精炼。

10月20日周二
  1. arXiv58

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

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

  2. arXiv41

    CrypSteer:用共享修复方向引导代码模型安全使用加密 API

    研究者构建覆盖四种编程语言、十类加密 API 误用类别的 48,000 对匹配程序,发现修复向量按误用类别而非语言聚类,并提出 CrypSteer——在模型权重不变的情况下,于生成时向内部激活加入每个模型一条共享方向,使目标安全率在五种模型上较未引导生成提升 5.28–15.00 个百分点。

  3. arXiv54

    SWE-Residual:评测编程智能体的起始状态鲁棒性

    作者提出 SWE-Residual 基准,用于评测编程智能体的起始状态鲁棒性,即任务起点已包含前序工作时能否维持表现。该基准从 DeepSWE 和 Terminal-Bench 的 111 个任务中构造 198 个 Residual State,每个状态是前序智能体提交完成但隐藏测试仍失败后的环境,被评智能体只拿到原始请求和该状态。

10月18日周日
  1. arXiv40

    CAT-RAG:用类别感知的智能体检索改进安全代码生成

    CAT-RAG 是一个智能体式安全类别感知检索增强代码生成框架,用语言特定的安全类别替代 CWE 级检索,可作为独立安全层或 RACG 管线的即插即用附加组件,无需修改底层模型。在 CyberSecEval 上,其安全代码生成改进幅度接近当前最优方法的两倍(23.57% vs. 12.11%),同时减少 41.71% 的 token 开销。评估还覆盖 CodeGuard+ 与 HumanEval。

  2. arXiv52

    UVA 方法让代码 Agent 提问时不泄露私有代码

    作者提出 utility-verified abstraction(UVA),训练本地代码 Agent 在向更强的云端模型咨询时,用角色和类型描述私有实体,同时保留专家所需的技术细节。在仓库级 issue 修复任务上,训练后的 Agent 解决 37.6% 的问题,同一模型单独工作为 25.3%;其提问泄露的私有实体比未训练时少 3.7 倍,逐字代码少 1.4 倍。

10月17日周六
10月8日周四
  1. ShortSpan66

    研究:封闭意图词表而非护栏才是阻止被劫持 SOC Agent 的关键

    一篇 arXiv 论文提出面向 SIEM/XDR 的受限动作架构:SOC 分析 LLM 被限制在封闭意图词表内,命令由管理器按 OS 模板展开并逐参数校验,外层再套 NeMo-Guardrails 代理。

9月23日周三