paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Attesting LLM Pipelines: Enforcing Verifiable Training and Release Claims

为 LLM 流水线提供证明:强制执行可验证的训练与发布声明
FSE Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering2026匹配度 3/10 · 论文关注 LLM 供应链安全与证明感知的晋升门禁,涉及 ML 流水线安全和静态扫描策略,与 PL/ML 交叉略有重合;但它不是对 Agentic 程序或 ML 系统代码的静态分析,也不涉及浮点程序分析、贝叶斯程序分析或 LLM 改进静态分析/形式化验证等核心方向。引用 0 inbox
Zhuoran Tan, Jeremy Singer, Christos Anagnostopoulos
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:提出证明感知的晋升门禁,在制品进入训练与部署前验证声明证据并强制安全策略,以缓解 LLM 供应链风险。

现代 LLM 系统由第三方制品(预训练权重、微调适配器、数据集、依赖包、容器镜像)经自动化流水线组装而成,随之带来供应链风险:被污染的依赖、恶意 hub 制品与不安全反序列化、伪造来源以及后门模型。核心缺口在于,训练与发布声明(数据与代码谱系、构建环境、安全扫描结果等)很少与其描述的制品做密码学绑定,导致跨团队、跨阶段的执行不一致。作者提出「证明感知的晋升门禁」:在制品被准入可信环境(训练、微调、部署)之前,门禁验证声明证据、执行安全加载与静态扫描策略,并施加默认安全的部署约束;在组织已有运行时安全工具时,同一门禁可通过插件可选地摄入标准化动态信号,以降低高风险制品的不确定性。论文给出实用的「声明—控制」映射与评估蓝图,借助代表性供应链场景与运维指标(覆盖率与决策)为后续完整研究论文铺路。

问题
LLM 流水线中的训练与发布声明未与制品密码学绑定,使污染依赖、伪造来源、后门模型等供应链风险难以在各团队与阶段被一致地拦截。
方法
设计证明感知的晋升门禁:在制品准入训练、微调与部署前验证声明证据,执行安全加载与静态扫描策略并施加默认安全约束,并可选地通过插件摄入运行时安全工具产生的标准化动态信号;同时给出声明到控制的映射。
评估
论文目前只提出评估蓝图,计划用代表性供应链场景与覆盖率、决策等运维指标进行评估,尚未报告实证结果。
原文摘要(Abstract)

Modern Large Language Model(LLM) systems are assembled from third-party artifacts—pre-trained weights, fine-tuning adapters, datasets, dependency packages, and container images—fetched through automated pipelines. This speed comes with supply-chain risks: compromised dependencies, malicious hub artifacts and unsafe deserialization, forged provenance, and backdoored models. A core gap is that training and release claims (e.g., data and code lineage, build environment, and security scanning results) are rarely cryptographically bound to the artifacts they describe, making enforcement inconsistent across teams and stages. We propose an attestation-aware promotion gate: before an artifact is admitted into trusted environments (training, fine-tuning, deployment), the gate verifies claim evidence, enforces safe-loading and static scanning policies, and applies secure-by-default deployment constraints. When organizations operate runtime security tooling, the same gate can optionally ingest standardized dynamic signals via plug-ins to reduce uncertainty for high-risk artifacts. We outline a practical claims-to-controls mapping and an evaluation blueprint using representative supply-chain scenarios and operational metrics (coverage, and decisions), charting a path toward a full research paper.

链接与引用

DOI 原文 · arXiv · PDF(开放获取) · DBLP

BibTeX
@inproceedings{abs-2603-28988,
  title = {Attesting LLM Pipelines: Enforcing Verifiable Training and Release Claims},
  author = {Zhuoran Tan and Jeremy Singer and Christos Anagnostopoulos},
  booktitle = {FSE},
  year = {2026},
  doi = {10.1145/3803437.3805530}
}