全部论文

研究合同用来核验计算科学研究智能体是否仍在已批准研究之内，不判断科学是否为真。。

DEFER 用来测量多智能体授权流水线里，确定性规则在何处结束、LLM judge 从何处开始。

StateWise 是在执行带副作用的动作之前，诊断并修复编码智能体持久操作状态的框架。

这篇工作把多智能体安全写成一件必须同时成立的事：拦住组合信息所启用的禁止使用，并完成同一场景里任务所需的授权使用。

Assay 是一套面向 AI 辅助软件交付的内容寻址证据系统，关注代码改变后，测试通过、无秘密或行为保持等断言还能否用于批准合并。

Tracekit 是无第三方依赖的编码智能体审计层：把人类请求、模型自述和已执行动作并排写入可外部锚定的哈希链，执行前用正则门，事后用规则和独立模型互查。

作者在物理流求解器上检查一套编码智能体配置：编译器必须读本组材料与反应模型，这些字节又不得进入模型上下文或离开本机的记录。

AttestChain 是一个把 LLM 安全检查、智能体身份验证和许可链发布策略连接起来的软件供应链防御框架。。

代表人类行动的分布式智能体，需要一种不把密钥放进语言模型上下文的授权方式。

APEXA 是先进光子源上的数据还原框架，用工具层代码约束语言模型智能体的工具调用。

作者在一条会改写沙箱邮件库的四智能体流水线上，检查低权限失陷会不会变成未授权的真实动作。

委托授权的安全不要求每位评审者对齐，而要求面板在效用空间覆盖委托人。