跳到正文
11月12日周四
11月11日周三
11月10日周二
  1. arXiv cs.CR 预印本62

    GARD:面向多模态对比学习模型后门的梯度引导对抗表示防御

    GARD 是一种无需知道攻击目标和触发器的后处理防御方法,用于修复被植入后门的多模态对比学习模型。该方法利用后门编码器的表示敏感性差异,优化全局与局部对抗探针以最大程度偏移干净图像表示,再将扰动后的表示与分离的干净锚点对齐,同时保持图文对齐,推理阶段不增加额外计算。在六种视觉后门攻击和两种 CLIP 视觉骨干的 12 组组合上,GARD 将攻击成功率降至 1% 以下,并保持有竞争力的干净准确率。

  2. arXiv cs.CR 预印本63

    隔离不等于机密:RAG 中几何访问控制的安全边界

    论文对 RAG 向量数据库中基于几何变换的访问控制机制做了统一安全分析,覆盖策略隔离、表示机密性、查询伪造抵抗和策略成员隐藏四个目标。作者在三种编码器上评测现有几何变换实现,发现这些变换能保持检索效用并提供较强的策略隔离,但不具备其余三项安全属性。

  3. Google DeepMind80

    Google DeepMind 推出 AlphaProof Code,用 AI 智能体形式化验证 Signal 协议代码

    Google DeepMind 发布 AlphaProof Code,这是一个多 LLM 智能体框架,用于对实际运行代码做深度形式化验证。研究团队与模型协作把 Signal 协议的安全目标写成形式化规约,由 Gemini Carbon 驱动的智能体生成超过六百万行 Lean 证明,人工只需复核约 1% 的代码库,整个验证过程耗时四周。

    推荐理由:AlphaProof Code 用多智能体把形式化验证推进到编译后代码层,并给出可复用的验证产物。

  4. arXiv cs.CR 预印本42

    面向安全多智能体系统的私有知识检索与私有推理

    针对多智能体系统中语义记忆易遭记忆投毒攻击的问题,论文提出私有知识检索与私有推理,在知识库中引入签名机制以设计安全、防止知识被恶意篡改。智能体内置类 Prolog 的 Horn 子句推理系统,通过私有方式访问外部已签名知识库,并给出基于 Python 的多种实现,覆盖 k-anonymity 与信息论隐私 IT-PIR 等不同隐私级别。

  5. arXiv cs.CR 预印本76

    BypassGym:评估 AI 智能体端点防御规避能力的基准

    BypassGym 是面向真实端点的基准,用于系统评估 AI 智能体规避 EDR 的能力:给定 C2 shellcode,智能体需生成并编译可执行载荷且不被拦截或终止的 loader。

    推荐理由:该基准在真实 Windows 端点与 6 款 EDR 上测量智能体的防御规避能力,为防守方提供了可复用的评测方法。

10月29日周四
  1. Google DeepMind74

    Google DeepMind 发布 Gemini 4 Carbon 前沿模型,主打网络安全与长周期任务

    Google DeepMind 发布 Gemini 4 Carbon,称其在网络安全与长周期任务能力上达到 SOTA,在 Artificial Analysis Intelligence Index v5.0 上以 59 分排名第一。

    推荐理由:官方给出 Carbon 在漏洞发现、利用验证与补丁生成三项安全基准上的具体分数,可据此判断前沿模型在防御侧的实际位置。

1月1日周四