跳到正文

看学术

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

分类筛选2展开
共 13 条 · 更新于 15:35
今天10月30日周五3 条
  1. arXiv51

    arXiv 论文提出 Agentic Process Evidence 协议,为 AI 编码智能体提供可追溯的签名证据

    论文提出 Agentic Process Evidence(APE),一种对智能体过程进行签名、防篡改、机器可读的证明机制,将智能体会话与其产出结果关联(process-aware logging),以应对 AI 编码智能体在 SDLC 中带来的供应链风险、策略护栏与任务对齐三类问题。

  2. arXiv67

    Tracekit Box 论文:在 Firecracker micro-VM 中运行 AI Agent 并对每次出口决策签名

    arXiv 论文提出 Tracekit Box,一个 MIT 许可的开源系统(v0),让每个 AI Agent 任务运行在独立的 Firecracker micro-VM 中且不配网卡,所有出口(命令、外连、密钥、模型调用、工作区补丁)都经 vsock 走宿主机上的签名器,由 Agent 无法触及的 Tracekit signer 决定放行内容并签名写入每盒一次的运行记录。

  3. arXiv68

    WebMaze:以功能耦合诱饵将 LLM Web 扫描器引入诱饵世界

    arXiv 论文提出 WebMaze 防御方法,在不改变真实应用功能的前提下,将基于 LLM 的恶意 Web 扫描器引向生成的诱饵世界。作者系统研究了六个 LLM 扫描器如何收集信息并基于观察迭代选择动作,在真实页面中嵌入功能耦合陷阱,并从应用现有视图构建视图定制的交互式诱饵世界。

10月23日周五
  1. 安全paper60

    基于 Petri 网监督控制的 LLM Agent 工具执行认证框架论文

    arXiv:2610.31376 论文(作者 Chao Gu、Quanyan Zhu)将 LLM Agent 与工具之间的执行护栏形式化为 Petri 网监督控制问题,用 token 表示能力、审批与预算,使前置条件缺失或已消耗的注入请求被机械拒绝。

  2. 安全paper60

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

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

10月22日周四
  1. arXiv54

    AI辅助敏捷软件工程经验报告:代码变廉价后评测成为瓶颈

    一篇 arXiv 经验报告记录了单名开发者全程零手写代码、在三个工作日内构建并部署一套合规关键、人在环路的考试评分系统的过程。作者提出核心论点:AI 对软件工程的改变不在于让编程更快,而在于改变了稀缺资源——写代码变得充裕,而可靠评测与工程判断成为约束迭代的瓶颈。

  2. arXiv86

    arXiv 论文揭示编码智能体上下文压缩中的来源伪造攻击 Compaction Laundering

    论文提出 Compaction Laundering 攻击:编码智能体压缩上下文时,若 harness 将带类型的消息拍平为单一字符串并用 [User]: 等文本标签标记,攻击者可伪造在压缩后仍被当作真实指令的用户轮次。

10月20日周二
  1. arXiv39

    可问责的部分理解:保障 Agentic 系统的认知攻击面

    论文提出“可问责的部分理解”(APU)框架,用于应对 Agentic AI 系统中软件自主读写、解释并授权安全相关行为所带来的认知攻击面。作者给出四类相互作用的攻击分类(针对意图解释、证据生产与消费、委托权限范围、人类监督者理解),并规定 APU 的六项必要条件与五项设计原则。

10月8日周四
  1. ShortSpan66

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

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

9月23日周三