网络安全论文
Feedback-Driven Execution for LLM-Based Binary Analysis
XiangRui Zhang, Qiang Li, et al. · 2026/4/17
针对固件二进制分析中 LLM 容易迷失方向的痛点,FORGE 提出了反馈驱动的执行引擎。它不再采用单次推理模式,而是通过推理、行动与观察的循环不断修正认知。系统引入 Dynamic Forest of Agents 架构,在有限的 context 长度下实现了长路径探索。研究者在 3457 个真实固件上识别出 1274 个漏洞,精准度高达 72.3 %。这种将 LLM 与动态调试深度耦合的工程实践,为自动化漏洞挖掘开辟了新路径。 [link]
Hijacking Large Audio-Language Models via Context-Agnostic and Imperceptible Auditory Prompt Injection
Meng Chen, Kun Wang, et al. · 2026/4/17
语音交互大模型正迅速普及,但高维度的音频通道却隐藏着致命漏洞。AudioHijack 框架揭示了感知不可见的音频指令注入攻击。它利用采样梯度估计技术绕过不可微的音频 token 化过程,将恶意指令伪装成环境回声或自然混响。实验显示其在 13 种主流模型上实现了高达 96 % 的攻击成功率,甚至能操纵商用语音助手执行未授权操作。这项研究为 LALM 系统的感知层防御敲响了警钟。 [link]
NFTDELTA: Detecting Permission Control Vulnerabilities in NFT Contracts through Multi-View Learning
Hailu Kuang, Xiaoqi Li, et al. · 2026/4/17
NFT 合约中的权限控制缺陷频频导致巨额资产损失。NFTDELTA 框架创新性地结合了静态分析与多视图学习技术。它从函数执行路径和结构化控制流两个维度提取特征,精准捕捉权限校验的细微瑕疵。在对 795 个热门 NFT 系列的扫描中,该系统成功发现了 241 个确认的漏洞。平均 97.92 % 的精确率证明了其在工业级部署中的价值,是保障 Web3 生态安全的高效利器。 [link]
Structural Dependency Analysis for Masked NTT Hardware: Scalable Pre-Silicon Verification of Post-Quantum Cryptographic Accelerators
Ray Iskander, Khaled Kirah · 2026/4/17
随着 PQC 迁移迫在眉睫,硬件加速器的侧信道安全成为 FIPS 140-3 认证的关键。针对 Adams Bridge 加速器中超过百万门级的超大规模电路,该研究提出了四阶段验证体系。它通过结构依赖分析与 SADC 算法,将原本只能处理微型电路的验证能力扩展到了生产级模块。系统仅需数秒即可完成 30 个掩码子模块的扫描。这一突破让预硅阶段的侧信道防御验证从理论探讨走向了大规模工程落地。 [link]
Route to Rome Attack: Directing LLM Routers to Expensive Models via Adversarial Suffix Optimization
Haochun Tang, Yuliang Yan, et al. · 2026/4/17
LLM 路由系统本是为了平衡成本与性能,却成为了攻击者操纵推理成本的切入点。Route to Rome 攻击展示了如何通过对抗性后缀优化,诱导路由系统始终选择昂贵的高能力模型。攻击者无需白盒权限,利用混合集成替代路由即可实现跨模型的攻击迁移。实验证明该方法能显著提升企业的推理开销,甚至导致服务瘫痪。这种针对模型部署经济学的新型攻击,值得安全从业者高度关注。 [link]
AndroScanner: Automated Backend Vulnerability Detection for Android Applications
Harini Dandu · 2026/4/17
开发者往往忽视 Android 应用后端 API 的安全性,AndroScanner 提供了一套全自动的体检方案。它整合了静态提取与基于 Frida 的动态插桩技术,将 API 流量与 OWASP 漏洞标准进行实时对撞。在对拥有 5 万下载量的招聘应用进行测试时,该工具成功挖出了一个影响巨大的 Excessive Data Exposure 零日漏洞。这种将移动端逆向与云端 API 安全扫描闭环的思路,极大降低了移动后端漏洞排查的门槛。 [link]
CBCL: Safe Self-Extending Agent Communication
Hugo O'Connor · 2026/4/17
智能体之间的通信协议如果过于死板,就无法应对复杂任务,但随意扩展又会导致安全失控。CBCL 语言在 Lean 4 中完成了形式化验证,并提供了 Rust 参考实现。它允许智能体在运行时动态定义协议方言,同时通过三个关键安全不变式确保解析过程不会超出确定性上下文无关语言的范畴。这意味着即便智能体生成的通信指令极其复杂,系统也能在受控的资源限制内完成解析。该成果为构建可验证的多智能体系统奠定了安全基石。 [link]
EdgeDetect: Importance-Aware Gradient Compression with Homomorphic Aggregation for Federated Intrusion Detection
Noor Islam S. Mohammad · 2026/4/17
6G 物联网环境对联邦学习的通信带宽和隐私保护提出了极高要求。EdgeDetect 引入了梯度智能处理技术,通过中值统计二值化将上行负载压缩了 32 倍。它巧妙地在二值化梯度上集成了 Paillier 同态加密,在不暴露单点数据的情况下实现了高效聚合。在 Raspberry Pi-4 上的实测数据表明,每次推理仅需 0.8 ms 且能耗极低。这种兼顾通信效率与数学安全性的设计,非常契合边缘侧入侵检测的实战需求。 [link]
NeuroTrace: Inference Provenance-Based Detection of Adversarial Examples
Firas Ben Hmida, Philemon Hailemariam, et al. · 2026/4/17
深度神经网络在推理时像一个黑盒,难以检测恶意的输入篡改。NeuroTrace 框架通过 Inference Provenance Graphs 捕捉模型前向传播过程中的激活行为与数据流。这种异构图表征不仅记录了神经元的响应,还固化了参数引发的执行结构。实验表明这种推理溯源信号在跨攻击场景下具有极强的鲁棒性。它让对抗样本检测从简单的统计判断升级为严密的逻辑校验,为构建透明可审计的 AI 系统提供了技术支撑。 [link]
Anomaly Detection in IEC-61850 GOOSE Networks: Evaluating Unsupervised and Temporal Learning for Real-Time Intrusion Detection
Joseph Moore · 2026/4/17
现代数字变电站的 GOOSE 协议对实时性要求极苛刻,传统检测手段往往无法满足 4 ms 的延迟阈值。该研究评估了无监督时序模型在电力网络中的表现。实验证明虽然随机森林准确率极高,但推理耗时严重超标。相反 GRU 模型在保持 0.8737 的 F1 分数同时,成功将处理延迟压缩至 1.118 ms。这种针对关键基础设施特定物理约束的性能调优,为工业控制系统的实时入侵防御提供了切实可行的参考标准。 [link]
AI 论文
AIBuildAI: An AI Agent for Automatically Building AI Models
Ruiyi Zhang, Peijia Qin, et al. · 2026/4/17
想要拥有一个能自动写代码、调参数、练模型的数字工程师吗?AIBuildAI 框架实现了这一愿景。它采用分层智能体架构,经理、设计师、程序员和调优员各司其职,协同完成端到端的 AI 开发。该系统在 MLE-Bench 的真实 Kaggle 任务中表现出色,获奖率高达 63.1 %。它证明了层级化系统具备自动化全流程开发的能力。这是向零干预 AI 开发迈出的重要一步,将大幅降低科研与工程门槛。 [link]
HUOZIIME: An On-Device LLM-enhanced Input Method for Deep Personalization
Baocai Shan, Yuzhuang Xu, et al. · 2026/4/17
手机输入法如何更懂用户且不泄露隐私?HUOZIIME 给出了一套成熟的端到端方案。研究者将轻量级大模型部署在设备端,通过分层记忆机制实时捕获用户的输入习惯。系统针对移动端的算力限制进行了深度优化,确保流畅的实时生成体验。实验表明它在个性化程度和响应速度上均达到了工业级要求。它成功地将智能输入法升级为私人助手,为端侧大模型应用提供了实战范本。 [link]
RadAgent: A tool-using AI agent for stepwise interpretation of chest computed tomography
M\'elanie Roschewitz, Kenneth Styppa, et al. · 2026/4/17
传统的医学影像 AI 常被视为黑盒,RadAgent 则改变了这一现状。它是一套基于工具调用的大模型智能体,专门用于胸部 CT 影像的步进式解读。它会生成详尽的诊断报告,并展示完整的决策路径和工具交互过程。临床实验显示,其宏观 F1 分数提升了 36 % 以上,且具备极强的抗干扰能力。这种可审计的推理过程,为放射科医生提供了可靠的协作支撑,是医疗 AI 迈向透明化的关键一步。 [link]
Dr.~RTL: Autonomous Agentic RTL Optimization through Tool-Grounded Self-Improvement
Wenji Fang, Yao Lu, et al. · 2026/4/17
芯片设计中的时序优化极为繁琐,Dr. RTL 框架实现了该流程的自主化。它在真实的工业 EDA 工作流中运行,利用多智能体协作进行关键路径分析和并行代码重写。最核心的创新在于它能持续学习并积累优化技巧,形成可复用的技能库。在 20 个真实设计上的测试结果表明,它在降低功耗与面积的同时,显著提升了时序表现。它是 AI 与芯片设计交叉领域的工程标杆。 [link]
EviSearch: A Human in the Loop System for Extracting and Auditing Clinical Evidence for Systematic Reviews
Naman Ahuja, Saniya Mulla, et al. · 2026/4/17
从动辄数百页的临床试验 PDF 中提取证据既枯燥又易错。EviSearch 系统利用多智能体协作,实现了肿瘤学证据表的自动化构建。它巧妙地结合了布局感知查询和检索引导搜索,确保提取结果具备精准的溯源链接,方便医生随时查证。系统还能通过记录人工编辑操作进行迭代改进。它大幅减轻了医务人员的手动劳动量,为临床决策支持和医学综述编写提供了高效的数字化底座。 [link]
Compressed-Sensing-Guided, Inference-Aware Structured Reduction for Large Language Models
Andrew Kiruluta · 2026/4/17
模型推理速度与显存占用是 LLM 大规模部署的瓶颈。该研究提出了一种基于压缩感知的动态执行框架。它能根据不同的输入 Prompt 实时探测模型中的稀疏计算路径,并将其编译为 GPU 高效执行的分支。该方案统一了输入压缩与模型削减,在保证生成质量的前提下实现了极高的硬件加速比。对于追求低延迟、高吞吐的工业级推理服务而言,这套软硬协同的设计极具吸引力。 [link]
MARS$^2$: Scaling Multi-Agent Tree Search via Reinforcement Learning for Code Generation
Pengfei Li, Shijie Wang, et al. · 2026/4/17
强化学习在代码生成领域大放异彩,但采样多样性不足限制了它的上限。MARS^2 框架通过多智能体协作解决了这一难题。多个独立优化的智能体在共享的树搜索环境中协同工作,不断探索更优的代码路径。研究者设计了路径级别的组优势函数,实现了复杂搜索轨迹下的精准信用分配。在多个基准测试中,它稳定提升了代码生成的正确率和鲁棒性。它是强化学习与结构化搜索结合的杰出范例。 [link]
Foresight Optimization for Strategic Reasoning in Large Language Models
Jiashuo Wang, Jiawen Duan, et al. · 2026/4/16
现有的推理大模型往往缺乏对对手行为的预判能力。FoPO 框架将对手建模原则集成到策略优化中,显著增强了智能体在多智能体环境下的博弈能力。研究者在协作与竞争两种场景下验证了该方案的有效性。接受 FoPO 训练的模型展现出了极强的策略泛化性,能够轻松应对未曾见过的复杂场景。它有效解决了决策过程中的预见性缺失问题,是构建高性能博弈智能体的必经之路。 [link]
Robust Reward Modeling for Large Language Models via Causal Decomposition
Yunsheng Lu, Zijiang Yang, et al. · 2026/4/16
奖励模型容易过度关注回复长度或谄媚语气。该论文提出通过因果分解来缓解这类偏差。研究者训练了一个解码器,将候选答案映射到原始输入的潜在意图空间,以此引导模型专注于解决问题的本质。在 Gemma 模型上的实验表明,该方法显著提升了 RewardBench 的准确率,生成的内容更加简洁客观。对于构建更符合人类价值观且不投机取巧的 AI 系统,这项研究具有深远的实践意义。 [link]
Blue Data Intelligence Layer: Streaming Data and Agents for Multi-source Multi-modal Data-Centric Applications
Moin Aminnaseri, Farima Fatahi Bayat, et al. · 2026/4/17
现实世界的业务查询往往涉及多个数据库,单靠 NL2SQL 难以应对。Blue DIL 框架构建了一个多源数据智能层。它将 LLM、网页和用户本人都视为特殊的数据库,通过统一的注册机制进行管理。数据规划器能将复杂任务分解为跨模态的执行计划,并自动处理检索、整合与推理过程。这套系统能直接对接企业内部的异构数据源,为构建高度灵活的企业级智能助手奠定了架构基础。 [link]
BleepingComputer 新闻
Operation PowerOFF identifies 75k DDoS users, takes down 53 domains
Bill Toulas · 2026/4/17 6:26
2026 年 4 月 13 日,Operation PowerOFF 行动的最新阶段针对分布在 21 个国家或地区的 DDoS 生态系统及其用户展开了打击。 [link]
Recently leaked Windows zero-days now exploited in attacks
Sergiu Gatlan · 2026/4/17 14:14
威胁行为者正在利用近期披露的三个 Windows 安全漏洞。攻击目标是获取 SYSTEM 权限或提权的管理员权限。 [link]
Microsoft: Some Windows servers enter reboot loops after April patches
Sergiu Gatlan · 2026/4/17 15:59
微软发布警告,部分 Windows 域控制器在安装 2026 年 4 月安全更新后会出现循环重启。 [link]
Man gets 30 months for selling thousands of hacked DraftKings accounts
Sergiu Gatlan · 2026/4/17 15:10
田纳西州孟菲斯市 23 岁的 Kamerin Stokes 被判处 30 个月监禁。他曾出售数万个被黑的 DraftKings 账户访问权限。 [link]
CISA flags Apache ActiveMQ flaw as actively exploited in attacks
Sergiu Gatlan · 2026/4/17 17:30
CISA 警告攻击者正在利用一个高危 Apache ActiveMQ 漏洞。该漏洞已潜伏 13 年,于本月初才完成修复。 [link]
Webinar: From phishing to fallout — Why MSPs must rethink both security and recovery
BleepingComputer · 2026/4/17 20:20
网络攻击的演进速度已经超越了许多 MSP 和企业的防御能力,网络钓鱼是当前网络犯罪的主要驱动力。参加即将举行的研讨会,了解如何结合安全与恢复策略,从而降低风险并保持业务连续性。 [link]
Inside an Underground Guide: How Threat Actors Vet Stolen Credit Card Shops
Sponsored by Flare · 2026/4/17 22:01
在网络犯罪市场中,信任需要经过验证。Flare 揭示了地下指南如何教导攻击者根据数据质量、声誉和生存能力来评估盗刷信用卡商店。 [link]
Grinex exchange blames "Western intelligence" for $13.7M crypto hack
Bill Toulas · 2026/4/17 23:08
位于吉尔吉斯斯坦的加密货币交易所 Grinex 已暂停运营。此前该交易所遭受了 1370 万美元的攻击,并将其归咎于西方情报机构。 [link]
Payouts King ransomware uses QEMU VMs to bypass endpoint security
Bill Toulas · 2026/4/18 3:10
Payouts King 勒索软件正将 QEMU 模拟器作为反向 SSH 后门。通过在受感染系统运行隐藏的虚拟机,该软件可以绕过端点安全防护。 [link]