Another 265papers do not have category tags yet and are not included in filtered results.
提出策略门裁决已实现动作，并测量跨平台命令拦截边界
为 macOS 编程 Agent 构建可用的 microVM 沙箱 SideKernel
形式化编程 Agent 的审批洗白并提出 HMAC 权能令牌防御
Abstract系统揭示编程智能体审批洗白风险，提出七字段权能防御机制，证实其能消除身份时序偏离但难防副作用偏离。
提出 Assay，用依赖锥哈希绑定代码断言并在合并门禁拦截失效声明
Assay 是一套面向 AI 辅助软件交付的内容寻址证据系统，关注代码改变后，测试通过、无秘密或行为保持等断言还能否用于批准合并。
提出 Tracekit，审计编码 Agent 的意图、推理与动作并检测账本篡改
Tracekit 是无第三方依赖的编码智能体审计层：把人类请求、模型自述和已执行动作并排写入可外部锚定的哈希链，执行前用正则门，事后用规则和独立模型互查。
提出 Skill-as-API，隔离多智能体协作中的 skill 正文与系统提示词
Skill-as-API 是面向智能体软件工程的协调协议，用来在跨组织调用时把 skill 的代码和系统提示词留在所有者进程。作者针对三条威胁：经通道或命名空间抽取专有方法，用注入让被调用模型输出系统提示词，以及协作结束后权限继续保留。
提出静态优先核验器 CARE，在派发前判定智能体 shell 命令可否执行
提出 AuthBench 评测编码 Agent 最小权限，并验证充足性-紧缩性分解
本文研究代码智能体在执行终端任务前自主推断最小文件权限边界的能力。