SpecGuard 用 Lean 证书在编码 Agent 执行前证明任务冲突
提出 SpecGuard,在编码智能体执行前用 Lean 证书证明任务与测试冲突
另有 383 篇论文还没打上分类标签,暂不在筛选结果里。
提出 SpecGuard,在编码智能体执行前用 Lean 证书证明任务与测试冲突
提出 IEC 协议与 IntAct,定位并修复工具调用执行路径的静默篡改
提出企业级智能体检测系统 ADR,检测提示注入与恶意 MCP
提出 multi-CaMeL,在多智能体调用边界隔离可信指令与不可信数据
提出 PAA 路径对齐归因,审计编程智能体边界动作前的分段提示注入
本研究针对长流程智能体在执行任务时面临的分阶段间接提示注入威胁,提出了在动作生效前进行拦截的边界动作审计框架与路径对齐归因方法。
提出 OATS,用确定性解析器在运行时治理技能动作
提出 HACKTRACE 用生成状态检测并抑制代码奖励作弊
提出 Approval Token 绑定编程智能体的审批与执行
提出多层监控网关 ClawSentry,拦截恶意技能供应链与上下文注入
ClawSentry 是挂在智能体运行时之外的安全监督网关,用来同时盖住 skill 执行的多个生命周期边界,并把已被拒绝的效果记到会话里。
提出 SkillSecurer,检测定位并修补智能体技能中的提示注入
完整解读红队评估编码智能体的阻断监视器,并提出 Auto Mode++加固