Understanding and mitigating the risks of OpenClaw for non-technical users: A practical guide with Skill
本文针对非技术用户在使用OpenClaw（一种新兴的AI代理框架）时面临的安全风险进行了系统性的研究。OpenClaw能够自主执行复杂的多步骤任务，吸引了大量用户，但现有安全研究主要面向技术专家，对非技术用户不够友好。作者首先识别并分类了七
#cs.SE
共收录 457 条相关情报。
← 返回所有主题Context-Based Adversarial Attacks on AI Code Generators: Vulnerability Analysis and Implications
本研究系统性地调查了基于上下文的对抗攻击对AI代码生成器的安全影响。作者通过向大型语言模型（如CodeT5+、CodeLlama、GPT-3.5-Turbo和GPT-4）提供精心设计的上下文输入（包括注释、文档、变量名），诱导模型生成存在漏
Securing Code Understanding: Detecting Natural Backdoor Vulnerability in Code Language Models
本文针对代码语言模型（CodeLMs）中的自然后门漏洞进行了深入的实证研究。自然后门是指模型在正常训练过程中无意习得的后门行为，与通过数据投毒注入的后门不同，其产生机制与模型内部表征有关。研究覆盖了多种模型架构（如GPT、BERT变体）和代
The Linux IOCTL Census: A Source-Derived Database of the Linux Kernel Control-Code Surface
Linux ioctl 系统调用是内核用于设备控制的通用接口，用户态程序通过打开设备节点并向驱动传递命令码和参数缓冲区来发起操作。由于每个驱动各自定义命令码并在内核上下文中解析参数，ioctl 处理程序成为内核中范围最广、最不统一的本地攻击
RECON: An LLM-Enhanced Backward Constraint Analysis Framework
本文提出RECON，一种基于大语言模型（LLM）增强的向后约束分析框架，旨在解决传统符号执行在分析现代软件系统（尤其是Android应用）时面临的可扩展性问题。传统符号执行因路径爆炸、函数建模需求及底层程序表示中语义丢失等缺陷，难以应对An
Security-First Approach to API Pipeline Development with Zero-Trust Architecture
本文针对现代企业面临日益严重的API安全威胁问题，提出了一种基于零信任架构（Zero-Trust Architecture）的“安全优先”API流水线开发框架。研究背景指出，API已占Web流量主导地位，成为数据泄露的主要载体，99%的组织
VATS: Exploiting Implicit Authority in Error-Path Injection via Systematic Mutation
本文研究了Model Context Protocol (MCP) 标准化自主智能体工具调用时引入的一个被忽视的攻击面：错误处理循环。作者假设工具的错误消息具有隐含权威，会触发智能体的纠正性推理模式，从而绕过标准安全启发式。为此，他们提出了
MOLOT System Card: Malicious Operational Logic Observation Transformer
MOLOT（恶意操作逻辑观察Transformer）是一种面向SAST（静态应用安全测试）场景的静态恶意代码检测系统。在SAST环境中，软件包元数据、维护者历史记录和动态执行轨迹等信息可能不可用或不可信，MOLOT通过分析源代码的静态调用图
On the Shoulders of Giants: Empowering Automated Smart Contract Auditing via the GiAnt Corpus
该论文提出了 GiANT 自动化框架，旨在解决智能合约审计数据集构建中的人工可扩展性瓶颈以及数据粒度和多样性不足的问题。GiANT 采用分治策略结合思维链技术，从 Code4rena 平台上的真实审计报告中提取结构化漏洞信息，并通过 LLM
MalSkillBench: A Runtime-Verified Benchmark of Malicious Agent Skills
AI 编码代理（如 Claude Code、Gemini CLI）通过第三方技能包扩展功能，这些技能包同时包含自然语言指令、可执行脚本和工具权限，构成了代码与指令混合的供应链依赖。现有检测工具从未在同时涵盖代码和指令的恶意技能 ground
The Custody Envelope Threshold: Authority-Scaled Admission of External Artifacts in Institutional Infrastructure
该论文提出了一种名为“保管封套阈值”（Custody Envelope Threshold, CET）的模型，旨在解决现代机构基础设施中对外部工件（如包注册表依赖项、CI/CD actions、容器镜像、Terraform 提供者和模块、开
A formal framework for the economic security of DeFi compositions
该论文提出了一个形式化框架，用于分析去中心化金融（DeFi）组合的经济安全。DeFi服务通常由多个智能合约组合而成，这种可组合性是DeFi成功的关键驱动力，但也带来了安全风险：攻击者可以利用新部署的合约与已有合约之间的交互来造成经济损失。论
Willing but Unable: Separating Refusal from Capability in Code LLMs via Abliteration
本文研究了一种名为“abliteration”的低秩权重编辑方法，用于解除代码大语言模型（LLM）在生成指定漏洞代码时的安全对齐拒绝行为。在基于学习的安全漏洞检测任务中，大规模有标注漏洞代码数据集的构建一直面临标签噪声问题，现有的LLM增强
Description-Code Inconsistency in Real-world MCP Servers: Measurement, Detection, and Security Implications
本文针对模型上下文协议（Model Context Protocol, MCP）服务器中普遍存在的描述-代码不一致（Description-Code Inconsistency, DCI）问题进行了系统性研究。MCP是大语言模型（LLM）调
SoK: Post-Quantum Cryptography (PQC) Implementation in Software Systems
该论文是一篇关于后量子密码学（PQC）在软件系统中实现的系统化知识（SoK）研究。随着量子计算威胁的临近，将现有密码学算法迁移至抗量子算法已成为保护软件系统的关键任务。尽管标准化算法（如CRYSTALS-Kyber、Dilithium等）已
Toward a Generalized Defense Across Sparse, Continuous, and Structured Parameter Attacks
该论文提出了一种名为 ParDef 的通用防御方法，旨在保护深度神经网络 (DNN) 在异构、部分不可信环境（如云存储、CI/CD 管道、容器化服务和边缘执行平台）中部署时免受参数攻击。参数攻击直接篡改模型内部参数，影响所有后续推理，且攻击
Proof-Carrying Agent Actions: Model-Agnostic Runtime Governance for Heterogeneous Agent Systems
该论文针对异构智能体系统在运行时治理中面临的挑战，提出了一种与运行时无关的治理模型——Proof-Carrying Agent Actions (PCAA)。当前，不同智能体系统（如本地编码工具、框架SDK、托管平台、API网关等）拥有各自
SkillGuard: A Permission Framework for Agent Skills
本文提出了一种名为 SkillGuard 的权限框架，旨在解决大型语言模型（LLM）代理技能生态系统中日益严重的安全与隐私问题。随着 LLM 代理通过可重用的技能（包含指令、脚本、工具绑定和上下文依赖）扩展功能，当前技能生态系统主要依赖基于
Poking Around in the Dark: Why a Shared Understanding of Components Matters
该论文对当前软件物料清单（SBOM）在软件供应链安全中的有效性提出了质疑。作者认为，SBOM的目标是通过列出应用中的组件来支持及时识别漏洞，但其假设（即对组件列表存在共识且现有技术足以保障安全）可能不成立。论文首先从软件开发生命周期出发，自
ClawHub Security Signals: When VirusTotal, Static Analysis, and SkillSpector Disagree
该论文研究了AI代理技能（Agent Skills）的安全信号问题。代理技能是一种可重用的指令、工具、脚本、引用和工作流，它们扩展了AI代理的能力，但其安全边界既不同于模型安全也不同于传统包恶意软件检测。论文构建了ClawHub Secur