Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification
该论文提出了一种名为 SPECA 的基于规范锚定的安全审计框架。传统代码审计工具主要关注代码层面的漏洞模式，但对于由自然语言规范驱动的系统（如协议栈、共识实现、密码库等），其安全约束和正确性条件定义在规范中，代码级工具无法检测此类漏洞。SP
#LLM
共收录 2152 条相关情报。
← 返回所有主题SecMate: Multi-Agent Adaptive Cybersecurity Troubleshooting with Tri-Context Personalization
该研究提出了SecMate，一个基于多智能体架构的网络安全故障排除虚拟客户助手（VCA）。针对传统IT支持依赖人工、效率低下且缺乏个性化的问题，SecMate通过三个维度的上下文个性化来提升故障排除的准确性和用户体验：1. 设备特异性：在客
VulStyle: A Multi-Modal Pre-Training for Code Stylometry-Augmented Vulnerability Detection
本文提出 VulStyle，一种多模态软件漏洞检测模型，它联合编码函数级源代码、非终结符抽象语法树（AST）结构和代码风格计量（CStyle）特征。现有代码表示方法主要依赖词级模型或完整AST树，往往忽略指示风险编程习惯的风格线索，或者引入
Enforcing Benign Trajectories: A Behavioral Firewall for Structured-Workflow AI Agents
本论文提出了一种名为 CodeName 的行为防火墙，用于保护由大语言模型驱动的结构化工作流 AI 代理。这类代理会对外部敏感环境执行工具调用，面临被攻击者利用的风险。研究背景基于序列入侵检测思想，核心方法是将经过验证的良性工具调用遥测数据
LATTICE: Evaluating Decision Support Utility of Crypto Agents
该论文提出了 LATTICE，一个用于评估加密代理（crypto agents）在真实用户场景中决策支持效用的基准测试。以往加密代理基准主要关注基于推理或结果的评估，但未能评估代理辅助用户决策的能力。LATTICE 通过以下方式填补这一空白
OpenSOC-AI: Democratizing Security Operations with Parameter Efficient LLM Log Analysis
该论文提出了 OpenSOC-AI，一个轻量级的日志分析框架，旨在帮助中小型企业（SMBs）在没有完整安全运营中心（SOC）或企业级检测平台的情况下，利用大语言模型进行自动化威胁分析。框架基于参数量为 11 亿的 TinyLlama 模型，
Credit Limits beyond Full Collateralization in Decentralized Micropayments: Incentive Conditions
本文研究了去中心化非托管微支付系统中的信用额度问题。核心挑战不在于能否直接执行支付，而在于如何在不需要全额抵押的条件下为参与者提供信用额度。现有方法通常将可用信用与质押的抵押品绑定，导致流动性需求随交易量和结算敞口扩大而增加，限制了基于信用
Towards Agentic Investigation of Security Alerts
安全分析师每天面临大量的告警，而许多检测系统提供的上下文信息很少，导致早期调查通常需要手动关联多个日志源，非常耗时。本文提出了一种实验性的智能体工作流，利用大型语言模型（LLM）配合预定义查询和受限工具访问（对Suricata日志的结构化S
The Surprising Universality of LLM Outputs: A Real-Time Verification Primitive
本文报告了前沿大语言模型（LLM）输出中一个惊人的统计规律性，使得仅依赖CPU的评分基元（scoring primitive）能以每个token 2.6微秒的速度运行，估计延迟比现有的基于采样的检测器低五个数量级（10万倍）。研究跨越了来自
SnapGuard: Lightweight Prompt Injection Detection for Screenshot-Based Web Agents
本文研究了基于截图的Web代理（screenshot-based web agents）面临的提示注入攻击（prompt injection attacks）威胁。这类代理通过渲染的视觉页面而非结构化文本来与网页交互，使得现有的基于文本的防
From CRUD to Autonomous Agents: Formal Validation and Zero-Trust Security for Semantic Gateways in AI-Native Enterprise Systems
该论文针对企业软件工程从传统的确定性CRUD/REST架构向AI原生系统转型过程中引入的安全张力展开研究。在AI原生系统中，大语言模型作为认知编排器，但概率性LLMs削弱了验证、访问控制和形式化测试等经典机制的安全性。作者提出了一种由模型上
ReTokSync: Self-Synchronizing Tokenization Disambiguation for Generative Linguistic Steganography
生成式语言隐写术（GLS）通过在自然语言生成过程中嵌入秘密信息来实现隐蔽通信。然而，在实际部署中，GLS容易受到分词歧义（tokenization ambiguity）的影响：相同的表面文本在接收端可能会被重新分词为不同的token序列，从
MARD: A Multi-Agent Framework for Robust Android Malware Detection
随着Android应用的快速演变，传统的基于机器学习的检测模型面临概念漂移问题，且受限于浅层特征，缺乏对代码的深层语义理解和可解释性。虽然大语言模型展现出强大的语义推理能力，但直接处理海量原始代码会产生巨大的令牌开销，并且无法在复杂上下文中
R-CoT: A Reasoning-Layer Watermark via Redundant Chain-of-Thought in Large Language Models
大型语言模型（LLM）因其强大的推理能力被广泛部署于多种场景，但同时也面临被滥用的风险。为了确保模型所有权，通常采用水印技术。然而，现有大多数水印方法仅对模型的输出分布进行表层修改，导致水印容易受扰动或去除。针对这一挑战，本文提出了一种名为
Making AI-Assisted Grant Evaluation Auditable without Exposing the Model
这篇论文针对公共机构在资助评审中引入大语言模型（LLM）作为决策辅助工具时面临的治理难题：模型和评分标准不能暴露给申请人以防他们针对优化，但评审过程必须可审计、可质疑且可问责。作者提出了一种基于可信执行环境（TEE）的架构，通过远程证明技术
AgentDID: Trustless Identity Authentication for AI Agents
本文研究了AI智能体的身份认证与状态验证问题。AI智能体是一种自主实体，可以按需实例化、跨平台迁移，并与其他智能体或服务交互，无需持续人工监督。在这种环境中，身份对于建立缺乏先验信任关系的智能体之间的可靠交互语义至关重要。现有的身份与访问管
Structured Security Auditing and Robustness Enhancement for Untrusted Agent Skills
本文针对智能体（Agent）技能包（Agent Skills）的安全审计问题展开研究。Agent Skills将SKILL.md文件、脚本、参考文档和仓库上下文封装为可重用的能力单元，传统预加载审计仅依赖单提示词过滤，无法应对跨文件安全审查
AgentWard: A Lifecycle Security Architecture for Autonomous AI Agents
该论文提出 AgentWard，一种面向自主 AI 代理生命周期的深度安全架构。随着 LLM 从单纯的对话接口演变为包含技能加载、外部内容摄取、内存维护、多步规划及工具调用的完整运行时系统，安全威胁不再局限于单一接口，而是可能跨初始化、输入
DETOUR: A Practical Backdoor Attack against Object Detection
该论文针对目标检测模型的后门攻击展开研究。现有攻击方法多依赖于固定位置的小扰动补丁触发器，忽略了真实世界中触发器可能以不同尺寸、视野和位置出现，且微小扰动难以被摄像头捕捉，导致实用性受限。论文首先观察到，在检测变换器（DETR）模型中，补丁
GAMMAF: A Common Framework for Graph-Based Anomaly Monitoring Benchmarking in LLM Multi-Agent Systems
该论文针对大型语言模型（LLM）在多智能体系统（MAS）中集成所带来的安全挑战，提出了一种名为Gammaf（Graph-based Anomaly Monitoring for LLM Multi-Agent systems Framewo