跳到正文

看学术

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

分类筛选1展开
共 156 条 · 更新于 15:38
10月28日周三
  1. arXiv62

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

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

  2. 安全paper67

    Value Probes 论文:用目标模型激活的线性探针改进束搜索红队审计

    arXiv:2610.38526(Jonathan F. Jao、Andrew Kyle Lampinen)将自动化 LLM 红队审计建模为以对话历史为状态、judge 分数为奖励的 MDP,提出用束搜索替代纯 auditor 探索对话分支,并训练 "Value Probes"——目标模型激活上的线性探针预测折扣未来审计奖励作为启发式。

10月27日周二
  1. arXiv62

    arXiv 论文:LLM Agent 的信封层防御边界受标签、前端权限与记忆共同影响

    论文以 A2A-TIBA 攻击为测试载体,沿用 GDA Measurement 方法与 A/B/C/D 结果分类,用语义突破率为主要指标、语义拒绝率为参照,通过二乘二因子实验和记忆实验刻画 LLM Agent 信封层的安全边界。

  2. arXiv47

    多关系图学习中的信任陷阱:操纵成本、暴露度与关系选择

    arXiv 预印本(2610.37239)证明,当部分节点在某关系上孤立且攻击者无法负担开启该关系的代价时,度门控严格优于任何关系选择或重加权方案;基于单位成本暴露度的加固策略在 16 例中有 15 例能选出最能提升陷阱阈值的关系。在六张图的 90 个设置中,58 个设置下干净数据训练的图检测器表现低于无图基线;在缺乏成本信息时,安全选择是弃用该关系。

  3. arXiv67

    arXiv论文提出PNI概念:LLM Agent审计认证需对Agent保密审计硬币

    论文提出pre-commit noninterference(PNI)概念,指出基于审计的LLM Agent认证有效性不仅依赖审计比例,还依赖审计硬币在Agent动作提交前对其保密;PNI是对抗自适应Agent下无偏认证的必要且充分条件,最坏偏差为(1-ε)D_A。

  4. arXiv51

    RePAIR:语义分割后门攻击的逆向修复方法

    arXiv 论文提出 RePAIR,一种针对语义分割模型后门攻击的事后、无标签、攻击未知防御方法。它基于后门引起的偏移在分类头中强于内部表示的观察,从未标注且可能受污染的图像池推断受害者-目标类别关系,通过比较分类头预测与内部语义证据定位可疑像素,并在特征空间与输出端向推断出的受害者语义做修正。

  5. arXiv55

    arXiv 论文提出任务条件可见度裕度,量化多源异常检测器的隐蔽源操纵风险

    论文提出威胁量化指标任务条件可见度裕度(task-conditioned visibility margin),定义为操纵每单位下游任务危害必须暴露的最少检测器证据,该裕度有闭式解,每张证书约 85 μs,可给出最小证据攻击并识别检测器看不见的任务相关方向。

  6. arXiv44

    CASEL:面向后果感知的工具调用 Agent 运行时选择性执行层

    CASEL(Consequence-Aware Selective Execution Layer)提出一种模型无关的运行时分配策略,为工具调用 Agent 的每次工具调用在直接执行、验证、沙箱、澄清、审批和弃权之间选择,综合校准失败概率、状态相关后果、可逆性、歧义与证据新鲜度。

10月26日周一
  1. 安全paper56

    arXiv 论文实证研究 OpenClaw 智能体助手生态的安全风险与信任边界失效

    论文 arXiv:2610.35451 对 OpenClaw 智能体助手生态的安全问题做实证研究,分析 13 个相关 subreddit 的 25K+ Reddit 帖子(筛出 162 条安全相关帖。

  2. 安全paper60

    SpecGuard:基于形式化规约的运行时监控检测多轮 LLM 越狱

    arXiv:2610.36258 提出 SpecGuard,一个免训练、规约驱动的多轮 LLM 越狱运行时监控框架。它用固定的原子命题契约把自然语言观察映射为带证据的事实,用 Linear Temporal Logic(LTL)规约描述被禁止的交互模式,并编译为符号有限自动机增量消费对话轨迹;通过的运行会产出可回放的 witness,标明触发的规约、支撑事实与相关对话轮次。

10月24日周六
  1. ShortSpan73

    研究:修复一处已捕获的监控合谋只能部分降低其余未捕获合谋

    论文《Model Organisms of Collusion: Corrective Transfer in Untrusted Monitors》在 Llama-3.3-70B 和 Qwen2.5-72B 上安装五组策略-监控合谋行为,仅用 300 条诚实评审对监控在已捕获的评分博弈行为上做微调。

  2. arXiv38

    When Human Corrections Travel:联邦 VLA 适配中的安全问题

    arXiv 论文《When Human Corrections Travel》探讨联邦学习与视觉-语言-动作(VLA)策略结合时的安全问题,指出跨任务、环境、人员和机器人本体共享人类纠正产生的适配更新,可能提升平均任务成功率却压制罕见安全干预或在其他机器人上产生不安全响应。

  3. arXiv64

    arXiv论文量化LLM漏洞审计器对静态分析证据的非对称依赖

    该论文研究LLM与静态分析结合的漏洞审计流水线中,模型是否会区分真假证据。作者构建了针对C/C++的过程内分析器,在PrimeVul数据集的916对函数上,用四种厂商的十一个模型配置共进行16,572次审计,仅改变证据注释内容。

10月23日周五
  1. arXiv76

    MCP-Injector 论文揭示工具调用 Agent 在真实 MCP 故障下的脆弱性,规模不提升容错

    论文提出 MCP-Injector,一个协议感知的故障注入中间件,可插入 MCP 工具调用路径并注入永久、瞬时、间歇三类故障,其故障模型基于 1,774 个开源 MCP 仓库的 57,240 条 issue 与 PR 讨论校准。

  2. 安全paper68

    arXiv论文评估激活探针检测潜在危害是否优于模型自身拒绝行为

    arXiv:2610.30727 论文在15个指令微调LLM和38个激活读取器上,测试基于激活的latent harm探针(如Latent Guard)在表面改写、说服性框架和越狱包装等分布偏移下,能否检测到超出模型自身拒绝行为之外的危害信号。

  3. arXiv45

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

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

  4. arXiv57

    TokenTrap:通过放大 token 消耗反制 LLM 诈骗系统的防御方法

    论文提出面向资源的防御方法 TokenTrap,将疑似 LLM 诈骗系统引导至良性低价值计算,同时扣留凭证、支付等可利用信息。TokenTrap 由架构特定的 token 任务库、在单 Agent、分层与扁平多 Agent 工作流间选择的路由器,以及带 token、轮次、时间与安全上限的反护栏策略组成。

  5. arXiv57

    Safety Probes 性能的缩放律研究:用模型规模与标注量预测探针误差

    论文研究能否仅凭模型规模与标注数量提前预测安全探针性能,为此构建了 6 个规模与难度足够的新安全数据集,在 5 个模型家族的 20 个基座模型上训练 2 种探针架构,每个模型使用 32 到 10^6 条标注,以探针误差(1 - AUROC)衡量性能。

  6. arXiv28

    AIRO:面向工业物联网威胁检测与安全的流式机器学习框架

    AIRO(Autonomous Intelligence-Driven Cybersecurity Risk Reduction System)框架结合 Apache Kafka 流式处理、攻击特征提取与机器学习推理,面向工业物联网(IIoT)实现威胁检测与响应,并通过 IP 封禁、账号暂停、流量限制等措施降低风险。

  7. arXiv57

    AgentTriage:面向异构 Agent 运行时的可重放安全诊断契约

    论文提出 AgentTriage,一个面向异构 Agent 运行时的可重放安全诊断契约,其结论必须引用规范化运行时事件,缺少必需证据时要求弃权。运行时 overlay 规范化原生观测,确定性流水线关联调用与结果生命周期、构建带类型的溯源图并绑定证据,使诊断可在不依赖语言模型判断的情况下重算复核。

  8. arXiv73

    arXiv 论文:扭曲的工具输出格式器误导 Agent 与其验证方

    论文研究工具输出格式器(formatter)的措辞缺失如何误导 Agent 及其验证方:作者在 Pilsudski Institute 使用的生产 RAG 研究系统中发现,工具计算正确但输出省略了搜索限制、结果上限或标识符命名空间。