SLED-IFV: Solver-Validated LLM-Guided Decomposition for Scalable Hardware Information-Flow Verification
该论文针对硬件信息流验证（IFV）的可扩展性问题提出了一套新的证明分解方法与自动化流程。形式化硬件 IFV 能为「秘密相关时序与控制行为不泄漏」提供强保证，但在真实 RTL 上往往规模爆炸、难以收敛。作者在自组合（self-composed
2026-09-23 归档
今日共收录 1513 条安全情报，包含 580 个 CVE，548 篇安全通告，以及 93 篇研究论文。
← 返回归档列表An LLM-Assisted AutoML Framework for Intrusion Detection in IoT Networks
该论文面向物联网（IoT）环境下的入侵检测系统（IDS）构建效率问题展开研究。IoT 已广泛部署于智能家居、交通运输、能源系统与关键基础设施，连通的扩大在提升服务智能化的同时显著扩大了攻击面，因此基于机器学习（ML）的入侵检测成为保护 Io
On the security and privacy of LLMs in Mobility
本文是一篇综述性研究，聚焦大语言模型（LLM）与生成式 AI 在移动出行（mobility）领域落地后带来的网络安全、隐私与可靠性问题。作者指出，移动出行行业正经历由生成式 AI 驱动的范式转变：仅汽车一项，全球市场规模每年约 2.9 万亿
From Alignment to Access Control: A Framework for GenAI Policy Enforcement
该论文关注生成式 AI(GenAI)应用在安全与合规治理上的结构性缺口。背景是:GenAI 应用快速普及,用户既可以直接与大语言模型对话,也可以构建代表自己执行任务的智能体(agent);能力迭代速度极快,而安全与安全(safety)机制的
TRACTOR Benchmark for Evaluating C to Rust Translators
该论文介绍 DARPA「Translating All C to Rust (TRACTOR)」项目框架下的一套标准化评测基准。研究背景是:C 与 C++ 等内存不安全语言长期承载大量关键软件,缓冲区溢出、释放后使用等内存安全漏洞也随之成为
决赛直播｜第四届阿里CTF安全挑战赛
先知社区（阿里云安全社区）发布题为《决赛直播｜第四届阿里CTF安全挑战赛》的内容，性质为网络安全竞赛赛事直播通告，并非威胁情报报告。阿里CTF由阿里巴巴集团安全团队主办，面向高校学生与安全从业者，通常分为线上预选赛与线下决赛两个阶段，赛制多
抢先加入AI时代顶尖安全团队！阿里云2027届实习生招聘来了！
本文为先知社区（阿里云安全社区）发布的一则招聘宣发内容，标题为「抢先加入AI时代顶尖安全团队！阿里云2027届实习生招聘来了！」，来源地址 xz.aliyun.com/news/91981，发布时间标注为 2026-09-23T05:13:
SharePoint Flaw Initially Listed as Spoofing by Microsoft Enables Authenticated RCE
CVE-2026-65660
A SharePoint Server vulnerability that Microsoft initially classified as a spoofing flaw with a CVSS score of 6.5 actual
WordPress Comment2Shell Flaw Can Turn Anonymous Comment XSS Into RCE via Admin Session
CVE-2026-93485
A new flaw in WordPress core let an anonymous visitor leave a comment that planted a hidden script on the page. If a log
Zyxel and Veeam Flaws Under Active Exploitation With Command and SYSTEM Access
CVE-2026-7273
The U.S. Cybersecurity and Infrastructure Security Agency (CISA) on Monday added a now-patched security flaw impacting Z
MobileCybench: Evaluating Agent Vulnerability Discovery via Executable Probes
该论文面向当前 AI 智能体大规模自动化挖掘漏洞、但其报告数量已超过维护者人工审核能力的现实困境，提出了一套「探针（probe）」驱动的漏洞报告评估框架。作者指出，智能体提交的漏洞报告往往依赖特定应用自身的安全属性（security pro
KEVGraph: Exploitation-Aware Dependency Vulnerability Remediation
该论文针对软件成分分析（SCA）/依赖扫描工具的普遍痛点展开研究：这类工具通常一次报出成百上千个依赖漏洞，却不提供任何『利用可能性感知』的排序，使得工程团队只能凭经验决定先升级哪个包。业界事实上的主流做法是按 CVSS 严重性排序，作者指出
COBRA: A Content-Agnostic Framework for Zero-Day Detection of Suspicious Domains
恶意域名是钓鱼、恶意软件分发、品牌仿冒与欺诈交易等网络攻击的核心基础设施。由于域名注册成本极低、可批量部署，跨行业的网络犯罪长期依赖它，且从注册到投放内容之间留有一段可被防御方利用的时间窗口。该论文提出 COBRA——一个内容无关（cont
A2M: Trace-Optimized Agent Hijacking in the MCP Ecosystem
该论文研究 Model Context Protocol（MCP）生态中的智能体劫持风险。MCP 智能体在选择工具时依赖语义匹配，即根据第三方工具服务器提供的名称、描述等元数据判断该工具是否适合当前任务。作者指出，这一机制构成一条「语义供应
Monet: Measuring the Ecosystem of Open-Source Text-to-Image Models Tailored for Harmful Services
该论文针对开源文本生成图像（T2I）生态中一个长期缺乏系统刻画的问题开展研究：除正常的模型开发与共享之外，模型托管平台上还大量存在被刻意定制、用于提供有害服务的模型，作者将这类模型命名为 “Monet”。既有工作大多只在单一平台上考察某一类
Formally Modeling the Terrapin Attack on SSH
该论文针对 SSH 通道完整性中的 Terrapin 攻击（USENIX Security 2024）提出形式化建模框架。Terrapin 攻击利用了新颖的攻击面：对通道状态的攻击，并且不同 SSH AEAD 模式受影响程度不同，此前尚不清
Hydrozoan: Latency-Adaptive DAG Consensus under Mixed Byzantine and Crash Faults
该论文提出 Hydrozoan，一个面向混合故障模型的 DAG（有向无环图）共识协议，同时容忍 f 个拜占庭节点与 c 个崩溃（crash）节点，工作在 n = 3f + c + 2p + 1 个验证者规模下。研究动机在于：DAG 类共识（
LoRango: It Takes Two LoRAs to Unlock Hidden Behaviors in Diffusion Models
该论文研究文本到图像扩散模型生态中一个被忽视的安全盲区：多 LoRA（Low-Rank Adaptation）适配器组合加载时的安全性。当前用户的常见用法是把多个来源不同、功能各异的 LoRA 叠加使用，以实现对主体、风格和视觉属性的个性化
Name2Pkg: Lightweight One-Class Android Malware Screening via Name-Package Correspondence Modeling
该论文面向大规模移动应用安全筛查场景，指出现有基于深度学习的恶意软件检测普遍依赖 APK 内部特征（如权限、字节码、资源、API 调用图）或运行时行为，特征抽取计算开销大、需要解包与动态分析，因而难以用于海量应用的早期、低成本预筛选。作者观
Agents That Edit Documents: Measuring Agentic PDF Forgery Against a Non-Agentic Control
该论文研究自主型 AI 智能体（agent）被用于文档造假的现实风险，并为此构建了评测基准 AgentForge-Bench。研究背景是：过去一年里，能够独立完成多步计算机任务的智能体已成为常规工具，而这种自主性对抱持恶意目的的用户同样可用