另有 789 篇论文还没打上分类标签，暂不在筛选结果里。
提出 IEC 协议与 IntAct，定位并修复工具调用执行路径的静默篡改
摘要论文界定工具调用在执行路径中的意图偏离问题，提出无执行归因协议与跳级修复，为智能体工程提供评测与设计准则。
分析检索智能体判定结果无用后仍不停止检索的整合失败
本文针对智能体在工具静默失效时过度检索的问题，系统分析了判定、信念与停止行动之间的解耦现象，并提出了外部规则整合方案。
提出 AgentSpy，在系统调用层观测编程智能体并检测技能注入攻击
本研究提出了面向 AI 智能体的系统级外部监控与行为分析框架 AgentSpy。
形式化跨不可关联身份的分解攻击，并证明状态化防御的效用边界
分析分布偏移下安全路由评测的基线选择偏差与虚假下限
摘要论文揭示安全路由评估在分布偏移下的虚假下限，指出防御重心应转向外部动作级强制。
实证分析 gh-aw Markdown 的结构、维护与指令防护
这是一项对 GitHub Agentic Workflows Markdown 的仓库挖掘，目标是描述开发者如何规定并维护会反复执行的智能体工作。
分析稀疏重叠下 LLM judge 与人类一致性的验证误差并规划重叠分配
这篇工作研究标注重叠很稀时，怎样验证 LLM judge 是否足以替代人类，并规划重叠该留多少、怎么分配。。部署前的标准做法是在校准集上比较 judge 与人类的一致性。
分析零训练 LLM+OVOD 流水线中 CAAP 与 SNAP 分离的来源
提出 MCPS EC，仅凭 MCP 工具元数据检测间接提示注入
用意见动力学模型解释多智能体讨论何时优于多数投票
作者用一个只含四类行为的意见动力学，解释 LLM 团队讨论何时优于多数投票、何时停在错误共识。
提出竞争风险模型，系统化自主 Agent 的失控
摘要竞争风险框架把完成、停止与逃逸放在同一预算上，审计显示现有记录不足以估计该过程。
测量编码智能体在 HPC 集群上的使用并梳理协同设计挑战
这是一篇对生产 HPC 上编码智能体的测量与系统议程论文，不是攻击实现或防御评测。。
用 Tamarin 形式化分析智能体支付协议的跨阶段安全性质
提出 VStress 回放审计，并按条件边际信息分配重复验证预算
VStress 是重复二元验证器的回放审计，VStress-CA 把未查询通道的条件边际信息变成固定预算下的停止与分配。
提出 CellAudit，审计智能体发现的细胞模型是否使用声明输入
CellAudit 为智能体发现的细胞响应模型增加一层输入使用证伪：源码是否消费注册输入、拟合预测是否依赖它、该依赖是否改善对观测响应的预测。
界定单迹监控对 2-safety 超性质的可检测前沿与监督缺口
论文测量单迹安全监控相对 2-safety 超性质能看见多少：跨租户泄漏、觉察到被评估、策略性表现不佳都由两次执行之差定义，一条轨迹装不下判定。
提出 Nudgeability，测量推理模型跟随信心信号调整工具委派的对准程度