Natural Language based Specification and Verification
该论文针对大型语言模型（LLM）生成代码中可能引入安全漏洞的问题，提出了一种基于自然语言的规约与验证方法。传统形式化验证需要严格的规约语言，而现有利用LLM生成规约的方法效果有限。作者另辟蹊径，探索让LLM同时承担规约生成和组合验证的任务，
2026-05-13 归档
今日共收录 822 条安全情报，包含 0 个 CVE，457 篇安全通告，以及 56 篇研究论文。
← 返回归档列表Context-Aware Spear Phishing: Generative AI-Enabled Attacks Against Individuals via Public Social Media Data
该研究系统地展示了如何滥用公开社交媒体数据和生成式AI（GenAI）来自动化、规模化地发起高度个性化且上下文感知的鱼叉式钓鱼攻击。研究者构建了一个模块化框架，涵盖多模态信号提取、沟通风格画像以及七种攻击策略（诱饵、恐吓软件、蜜罐、尾随、冒充
Leveraging RAG for Training-Free Alignment of LLMs
本文研究了大语言模型（LLM）的安全对齐问题。传统的对齐算法通常需要基于偏好对进行后训练，虽然广泛用于设置安全护栏并与人类偏好对齐，但计算开销大，且对于最新的智能体攻击（agentic attacks）的拒绝能力不足。为此，作者提出了一种基
Continuous Discovery of Vulnerabilities in LLM Serving Systems with Fuzzing
该论文提出了GRIEF，一种面向LLM推理引擎的灰盒模糊测试工具，旨在发现服务层漏洞。当前LLM推理引擎（如vLLM、SGLang）引入了KV缓存、批处理、前缀共享、推测解码、适配器和多租户调度等机制，这些共享状态行为仅在真实并发工作负载下
Benchmarking LLM-Based Static Analysis for Secure Smart Contract Development: Reliability, Limitations, and Potential Hybrid Solutions
该论文针对基于大型语言模型（LLM）的静态分析在智能合约安全开发中的可靠性和局限性进行了系统基准测试。研究背景是区块链交易的不可逆性使得智能合约漏洞检测成为安全开发的必备环节，而LLM虽被越来越多地集成到开发者工作流中，其作为自主安全审计工
From Controlled to the Wild: Evaluation of Pentesting Agents for the Real-World
本文提出了一种面向真实世界场景的AI渗透测试代理评估协议。现有基准测试（如夺旗、远程代码执行、漏洞复现、轨迹相似度等）通常在简化或狭窄环境中评估代理，无法充分体现真实渗透测试中的复杂性、开放性探索和战略决策需求。作者设计的新协议将评估从任务
网络安全信息与动态周报-2026年第12期
本报告是CNCERT发布的第12期网络安全信息与动态周报（2026年）。周报通常汇总近期国内外网络安全事件、漏洞信息、恶意程序传播、网络攻击活动以及安全动态等。由于本期具体内容未提供详细摘要，无法获得具体技术细节。报告来源为CNCERT官方
网络安全信息与动态周报-2026年第13期
本次CNCERT发布的2026年第13期《网络安全信息与动态周报》综述了近期国内外网络安全整体态势，包括主要网络安全事件、漏洞威胁、恶意程序活动以及安全动态。报告指出，本周境内感染网络病毒的主机数量有所上升，重点关注勒索软件、僵尸网络和钓鱼
Apache Camel JMS 反序列化(CVE-2026-40860)漏洞分析
CVE-2026-40860
Apache Camel JMS 反序列化(CVE-2026-40860)漏洞分析
cPanel CVE-2026-41940 Under Active Exploitation to Deploy Filemanager Backdoor
CVE-2026-41940
A threat actor named Mr_Rot13 has been attributed to the exploitation of a recently disclosed critical cPanel flaw to de
[原创]从POC到EXP：从0基础到v8 CVE-2021-38003复现
CVE-2021-38003
[原创]从POC到EXP：从0基础到v8 CVE-2021-38003复现
New Exim BDAT Vulnerability Exposes GnuTLS Builds to Potential Code Execution
CVE-2026-45185
Exim has released security updates to address a severe security issue affecting certain configurations that could enable
Attacks and Mitigations for Distributed Governance of Agentic AI under Byzantine Adversaries
本文针对智能体AI（Agentic AI）治理中的分布式信任问题展开研究。现有最先进的治理方案SAGA假设一个逻辑集中的信任点（Provider），负责存储用户和智能体信息并强制执行策略。然而，SAGA无法抵御恶意Provider的协议偏离
No More, No Less: Task Alignment in Terminal Agents
该论文提出了任务对齐基准（TAB），用于评估终端代理在自主执行复杂、长期任务时，是否能够区分环境中的相关指令与无关干扰。现有基准无法捕获这种能力：代理可能盲目遵循所有指令而显得胜任，或忽略所有指令而显得鲁棒。TAB 基于 Terminal-
ACTING: A Platform for Cyber Ranges Federation
本文介绍了ACTING平台，旨在解决网络防御训练中跨域、多域演习的互操作性问题。论文主要贡献有三：首先，提出了第一代演习描述语言（EDL-FG），这是一种结构化语言，用于形式化描述网络靶场的训练服务和演习场景。EDL-FG能够捕捉模拟ICT
The Deepfakes We Missed: We Built Detectors for a Threat That Didn't Arrive
本文是一篇立场论文，系统反思了过去近十年机器学习领域在深度伪造检测上的研究方向与实际威胁之间的错位。自2017-2019年起，该领域的研究主要围绕公共人物的换脸和说话头操控展开，担忧大规模虚假信息传播和视频证据欺诈。然而，作者通过统计202
A microservices-based endpoint monitoring platform with predictive NLP models for real-time security and hate-speech risk alerting
该论文提出了一种基于微服务架构的统一端点监控平台，旨在解决企业环境中端点设备及通信渠道面临的安全风险，如敏感数据泄露、可疑用户行为以及在职场中散布仇恨言论或有害语言等问题。现有解决方案通常将这些威胁孤立处理（如分别使用生产力追踪、数据防泄露
PROTECT-DB: Protecting Data using Replicated State Machines: Efficient Corruption Detection & Recovery
本文提出 PROTECT-DB，一种基于拜占庭容错（BFT）复制状态机的方法，用于保护数据库免受破坏，特别是针对攻击者篡改数据库状态的情况。研究背景是组织数据的安全至关重要，而传统备份和审计方法存在检测延迟和恢复效率低的问题。PROTECT
AccLock: Unlocking Identity with Heartbeat Using In-Ear Accelerometers
本文提出了 AccLock，一种基于耳塞内置加速度计的被动式用户身份验证系统。与现有依赖主动交互（如语音指令）或主动声波输出的耳塞认证方案不同，AccLock 利用用户佩戴耳塞时由心跳引起的体内震动（即心冲击图 BCG 信号）进行身份识别。
Five Attacks on x402 Agentic Payment Protocol
本文对x402代理支付协议进行了系统的安全性分析。x402协议旨在复活HTTP 402 Payment Required状态码，实现跨API、内容及代理的Web原生微支付。该协议将同步HTTP授权与异步区块链结算相结合，引入了传统Web支付