Another 215papers do not have category tags yet and are not included in filtered results.
提出研究合同，把已批准选择绑定到执行证据并由检查器核验
研究合同用来核验计算科学研究智能体是否仍在已批准研究之内，不判断科学是否为真。。
评测编码智能体 harness 安全机制在对抗任务中的防护效果
提出策略门裁决已实现动作，并测量跨平台命令拦截边界
为 macOS 编程 Agent 构建可用的 microVM 沙箱 SideKernel
提出 A2A-TIBA，经 A2A 对等任务间接注入并植入常驻回调
A2A-TIBA 把间接提示注入和绕过放进 A2A：gray-box 攻击者已能投递任务，诱导目标部署常驻回调程序后，下令和外传不再经过智能体。
提出 FlowReview，用授权配对与确定性提交门控控制多智能体组合信息流
这篇工作把多智能体安全写成一件必须同时成立的事：拦住组合信息所启用的禁止使用，并完成同一场景里任务所需的授权使用。
形式化编程 Agent 的审批洗白并提出 HMAC 权能令牌防御
Abstract系统揭示编程智能体审批洗白风险，提出七字段权能防御机制，证实其能消除身份时序偏离但难防副作用偏离。
提出 Assay，用依赖锥哈希绑定代码断言并在合并门禁拦截失效声明
Assay 是一套面向 AI 辅助软件交付的内容寻址证据系统，关注代码改变后，测试通过、无秘密或行为保持等断言还能否用于批准合并。
提出 Tracekit，审计编码 Agent 的意图、推理与动作并检测账本篡改
Tracekit 是无第三方依赖的编码智能体审计层：把人类请求、模型自述和已执行动作并排写入可外部锚定的哈希链，执行前用正则门，事后用规则和独立模型互查。
提出 RSI-Master，约束自主后训练实验动作并结构化探索以防奖励作弊
评测容器、权限规则与沙箱能否区分编译器与编码 Agent 的文件读取
作者在物理流求解器上检查一套编码智能体配置：编译器必须读本组材料与反应模型，这些字节又不得进入模型上下文或离开本机的记录。
提出残余权限重放攻击，跨任务复用长期 Agent 的历史授权绕过确认
提出 AttestChain，将供应链安全智能体报告签名上链并据此控制发布
AttestChain 是一个把 LLM 安全检查、智能体身份验证和许可链发布策略连接起来的软件供应链防御框架。。
提出身份绑定且委托只衰减的能力令牌，用上下文外钱包约束智能体
代表人类行动的分布式智能体，需要一种不把密钥放进语言模型上下文的授权方式。
测试编程智能体被诱导或自主篡改自身执行轨迹的行为
这是一项针对本地大模型智能体执行轨迹完整性与安全防篡改边界的实证研究。
提出 APEXA，在工具层拒绝无执行支撑的结果并拦截电机命令
APEXA 是先进光子源上的数据还原框架，用工具层代码约束语言模型智能体的工具调用。
提出多智能体系统提示注入的威胁模型与四层架构防御
提出可验证操作卡 VAC，把智能体浏览器确认绑定到真实 DOM 操作
用任务绑定令牌和策略预言机拦住多智能体流水线的未授权执行
作者在一条会改写沙箱邮件库的四智能体流水线上，检查低权限失陷会不会变成未授权的真实动作。
提出 k-robust 联盟对齐，刻画误对齐评审下的安全委托授权
委托授权的安全不要求每位评审者对齐，而要求面板在效用空间覆盖委托人。