跳到正文

看学术

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

分类筛选3展开
共 10 条 · 更新于 11:31
今天10月30日周五3 条
  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,逐条记录主张、支撑证据与置信度,收到质疑时据此决定保留、复核、澄清或修复。

10月23日周五
  1. arXiv70

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

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

  2. 安全paper60

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

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

10月22日周四
10月20日周二
10月8日周四
  1. ShortSpan66

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

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