网络安全论文
Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code
Dominik Blain, Maxime Noiseux · 2026/4/8
AI 辅助编程已成趋势,但安全隐患不容忽视。该研究对 7 款主流 LLM 生成的 3500 个代码片段进行形式化验证。结果显示,55.8% 的代码存在漏洞,即便 GPT-4o 也只拿到了 F 等级。研究利用 Z3 求解器精确捕获漏洞证据,揭示了主流安全工具在检测 AI 生成漏洞时的巨大短板。它警告开发者,AI 生成的代码目前还远未达到默认安全的标准。 [link]
Synthetic Trust Attacks: Modeling How Generative AI Manipulates Human Decisions in Social Engineering Fraud
Muhammad Tahir Ashraf · 2026/4/8
假 CFO 视频通话诱导转账 2500 万美元,这已成为现实。该论文定义了合成信任攻击这一新范式,并提出 STAM 运营框架。研究指出,现有的 Deepfake 检测技术在面对极高的人类决策误判率时已显无力。防御重心必须从感知层转向决策层。论文提出的五类信任线索分类法为识别高度工业化的信任伪造提供了实操指南,直击 AI 欺诈的软肋。 [link]
A Formal Security Framework for MCP-Based AI Agents: Threat Taxonomy, Verification Models, and Defense Mechanisms
Nirajan Acharya, Gaurav Kumar Gupta · 2026/4/8
MCP 协议正迅速成为 AI Agent 连接外部工具的标准,但其安全防线几乎真空。该研究填补了这一空白,对 17 万个 MCP 工具进行深度扫描,提炼出 23 种攻击向量。它构建了带信任边界标注的形式化模型,并提出一种深度防御架构。实验显示现有的单一防御手段覆盖面极窄。该方案理论覆盖率达 91%,是保障 Agent 生态系统安全的基石。 [link]
Can You Trust the Vectors in Your Vector Database? Black-Hole Attack from Embedding Space Defects
Hanxi Li, Jianan Zhou, et al. · 2026/4/8
向量数据库是 RAG 系统的脊梁,但它存在几何层面的致命缺陷。黑洞攻击利用高维嵌入空间的向心性规律,只需注入极少量恶意向量,就能让它们成为几乎所有查询的最优解。这些恶意节点像黑洞一样吞噬正常检索结果,出现率高达 99.85%。研究证明现有的缓解手段在保证准确率的同时难以兼顾安全性。它迫使我们重新审视高维空间检索的底层信任根。 [link]
Hackers or Hallucinators? A Comprehensive Analysis of LLM-Based Automated Penetration Testing
Jiaren Peng, Zeqin Li, et al. · 2026/4/8
LLM 究竟是神级黑客还是幻觉患者?这篇 SoK 对 13 个主流自动渗透测试框架进行了史无前例的系统性解剖。研究消耗超 100 亿 token,通过 1500 余份执行日志揭示了 Agent 在规划、记忆与执行各环节的真实水平。它建立了一套统一的基准评估体系,并明确了当前自动化攻防在长链条推理中的天花板。这是理解 AI 驱动攻防前沿趋势的必读综述。 [link]
SkillAttack: Automated Red Teaming of Agent Skills through Attack Path Refinement
Zenghao Duan, Yuxin Tian, et al. · 2026/4/8
开放注册的 Agent 技能商店就像未经过滤的应用市场,隐藏着巨大风险。SkillAttack 提出一种动态红队框架,专门挖掘看似合法的技能背后的潜伏漏洞。它无需修改技能指令,仅通过对抗性提示词就能诱导 Agent 执行恶意行为。实验覆盖 10 种 LLM,在真实技能集中实现了 0.26 的攻击成功率。它警示我们,即便技能开发者没有恶意,Agent 的交互逻辑依然可能被恶意利用。 [link]
LanG -- A Governance-Aware Agentic AI Platform for Unified Security Operations
Anes Abdennebi, Nadjia Kara, et al. · 2026/4/8
安全运营中心正被海量告警淹没。LanG 作为一个开源的治理感知型 Agent 平台,实现了从事件关联到规则生成的全自动化。它利用 LangGraph 编排 Agent 任务,并引入人机协同检查点确保治理合规。平台集成的规则生成器在生产环境接受率超过 96.2%。该方案支持全本地化部署和多租户隔离,为中小企业构建高性能、可控的统一安全运营体系提供了工程蓝图。 [link]
BodhiPromptShield: Pre-Inference Prompt Mediation for Suppressing Privacy Propagation in LLM/VLM Agents
Bo Ma, Jinsong Wu, et al. · 2026/4/8
Agent 会在检索、记忆和工具调用中无意识地传播隐私数据。BodhiPromptShield 突破了传统的单点脱敏限制,提出策略感知的跨阶段中介框架。它利用占位符和语义抽象技术,在确保任务逻辑正确的同时,精确控制敏感信息的还原边界。实验证明它能显著降低跨阶段的隐私泄露率。该方案为 Agent 开发提供了一种既能保护隐私又不牺牲智能水平的平衡路径。 [link]
AttnDiff: Attention-based Differential Fingerprinting for Large Language Models
Haobo Zhang, Zhenhua Xu, et al. · 2026/4/8
开源模型权重被非法利用或洗稿后,如何进行版权追溯?AttnDiff 提出一种白盒指纹提取技术,通过分析模型内部的信息路由行为生成谱描述符。该方案极其高效,仅需 60 个精心构造的探测样本,就能在微调、剪枝或模型合并后依然保持 0.98 以上的识别精度。它能有效分离不相关的模型家族,为模型所有权的法律维权提供具备技术公信力的底层证据。 [link]
FreakOut-LLM: The Effect of Emotional Stimuli on Safety Alignment
Daniel Kuznetsov, Ofir Cohen, et al. · 2026/4/8
模型安全对齐在极端情绪压力下是否依然稳固?FreakOut-LLM 发现压力启动会让越狱攻击成功率飙升 65.2%。研究利用心理学验证的刺激源对 10 款模型进行测试,证实了心理状态与安全对齐效果之间的强相关性。这一发现揭示了一个被长期忽视的攻击面。在医疗、金融等高压行业部署 AI 时,开发者必须考虑情绪语境对模型防御机制的削弱效应。 [link]
AI 论文
MegaTrain: Full Precision Training of 100B+ Parameter Large Language Models on a Single GPU
Zhengqing Yuan, Hanchi Sun, et al. · 2026/4/8
训练 100B 以上参数的大模型通常需要昂贵的算力集群。MegaTrain 彻底打破了这一硬件门槛。它将 GPU 视为纯粹的计算引擎,把参数和优化器状态存储在 CPU 内存中。通过流水线双缓冲和动态层模板技术,它克服了 CPU 与 GPU 之间的带宽瓶颈。在单张 H200 上,它能稳定训练 120B 模型。这种以存储为中心的设计提升了吞吐量。它让开发者在受限硬件下也能探索超大规模参数空间的训练。 [link]
IntentScore: Intent-Conditioned Action Evaluation for Computer-Use Agents
Rongqian Chen, Yu Li, et al. · 2026/4/8
计算机使用智能体在执行图形界面操作时往往盲目行动。不可逆的错误会导致任务彻底失败。IntentScore 引入了一个感知计划的奖励模型。它从 398K 次跨系统的交互中学习如何评估动作质量。该模型将意图嵌入编码器,能够识别动作相似但动机不同的操作。在 OSWorld 环境下,它显著提升了智能体的任务成功率。它为智能体在复杂桌面环境中的可靠性提供了关键的决策护栏。 [link]
MedGemma 1.5 Technical Report
Andrew Sellergren, Chufan Gao, et al. · 2026/4/8
医疗领域需要处理极其复杂的异构数据。MedGemma 1.5 展现了卓越的多模态能力。它支持传统的文本,也整合了 CT 与 MRI 的 3D 体素数据以及病理切片影像。通过 3D 切片技术和长上下文优化,它在疾病分类任务中表现优异。它精通临床知识,能理解电子健康记录中的细微逻辑。这款模型是目前医疗开源领域中极具实用价值的资源。它为下一代辅助医疗 AI 奠定了基础。 [link]
PaperOrchestra: A Multi-Agent Framework for Automated AI Research Paper Writing
Yiwen Song, Yale Song, et al. · 2026/4/8
将零散的研究素材变成高质量论文是一项繁重的工作。PaperOrchestra 提出了一个多智能体协作框架。它能根据非结构化的实验记录,自动生成符合 LaTeX 规范的初稿。它合成全面的文献综述,也绘制精美的实验图表。与现有的简单工具不同,它在人类评估中表现出色。它在文献综述质量上领先竞争对手 50% 以上。这个系统将研究人员从琐碎的写作流程中解放出来,助力科研效率的指数级提升。 [link]
COSMO-Agent: Tool-Augmented Agent for Closed-loop Optimization,Simulation,and Modeling Orchestration
Liyuan Deng, Shujian Deng, et al. · 2026/4/8
工业设计中的 CAD 与 CAE 环节长期存在语义鸿沟。COSMO-Agent 利用强化学习框架连接了设计与仿真。它训练智能体直接操作 CAD 工具,并根据仿真反馈实时修改几何参数。通过多约束奖励机制,它确保生成的零件既符合物理特性又具备制造可行性。该研究贡献了包含 25 类工业组件的数据集。它在复杂约束下的设计成功率远超闭源大模型。这标志着端到端工业自动化设计迈出了重要一步。 [link]
ReVEL: Multi-Turn Reflective LLM-Guided Heuristic Evolution via Structured Performance Feedback
Cuong Van Duc, Minh Nguyen Dinh Tuan, et al. · 2026/4/8
设计高效的启发式算法一直是运筹学的难题。ReVEL 提出了一种混合演化框架。它将大模型作为交互式推理器嵌入到演化算法中。该系统通过性能画像对候选算法进行聚类,从而提供更精准的反馈。它不依赖传统的一键式代码生成,采用多轮反射机制不断精炼算法。在处理 NP-hard 问题时,它生成的算法在鲁棒性与多样性上表现优异。这种反馈循环为解决复杂的组合优化问题提供了全新的自动化路径。 [link]
Epistemic Blinding: An Inference-Time Protocol for Auditing Prior Contamination in LLM-Assisted Analysis
Michael Cuccarese · 2026/4/8
药靶筛选等高风险决策正受到模型记忆偏见的干扰。大模型常将训练数据中的品牌认知与当前的推理逻辑混淆。Epistemic Blinding 引入了一种盲审协议。它在推理前将实体标识符替换为匿名代码,从而剥离模型的先验记忆。这种推理时审计揭示了显著的记忆污染风险。在证券筛选任务中,品牌知名度重塑了 30% 以上的排名结果。这套开源工具为构建专业决策系统提供了实用的技术手段。 [link]
Instruction-Tuned LLMs for Parsing and Mining Unstructured Logs on Leadership HPC Systems
Ahmad Maroof Karimi, Jong Youl Choi, et al. · 2026/4/8
顶级超级计算机每秒生成海量的异构日志。传统的解析方法难以应对复杂的软件栈变动。这项研究针对 Frontier 超算环境开发了定制的 LLaMA 模型。它利用思维链推理准确提取日志模板。这种混合微调方法支持本地部署,也兼顾了隐私与能耗。研究者成功解析了 6 亿条生产环境日志,并从中挖掘出节点异常等关键模式。它为大规模科学计算设施的高可靠运行分析提供了强有力的工程支撑。 [link]
Don't Act Blindly: Robust GUI Automation via Action-Effect Verification and Self-Correction
Yuzhe Zhang, Xianwei Xue, et al. · 2026/4/8
现实世界的 GUI 环境充满变数。网络延迟常导致智能体陷入死循环。VeriGUI 引入了 验证-校正 的闭环机制。它不再假设环境响应是确定的。通过 TVAE 框架,智能体能够主动检测动作效果。如果预期与实际观测不符,它会触发自我修正策略。在大规模数据集上的实验证明,这种方法大幅减少了失败循环。它让智能体在 Android 等移动设备上表现得极其稳健。这解决了自动化操作中的长尾可靠性难题。 [link]
EAGLE: Edge-Aware Graph Learning for Proactive Delivery Delay Prediction in Smart Logistics Networks
Zhiming Xue, Menghao Huo, et al. · 2026/4/8
智能物流网络对派送延迟极其敏感。传统的预测模型往往忽略了供应链中复杂的空间拓扑。EAGLE 结合了 Transformer 补丁编码器和边感知图卷积网络。它能同时捕获订单流的时间动态和配送中心间的关联依赖。在真实物流数据集上的测试结果显示,它的预测精度和稳定性均达到了极高水准。它能提前识别潜在的供应链风险。这套框架为物流企业在复杂路网下的精准运营提供了核心的技术方案。 [link]
BleepingComputer 新闻
Microsoft rolls out fix for broken Windows Start Menu search
Sergiu Gatlan · 2026/4/8 15:00
微软推送了服务端修复程序,解决了部分 Windows 11 23H2 设备上开始菜单搜索功能失效的已知问题。 [link]
Is a $30,000 GPU Good at Password Cracking?
Sponsored by Specops Software · 2026/4/8 22:00
价值 30,000 美元的 AI GPU 在密码破解方面的表现并不优于消费级 GPU。Specops 解释了攻击者为何不需要昂贵硬件就能破解弱密码。 [link]
13-year-old bug in ActiveMQ lets hackers remotely execute commands
Bill Toulas · 2026/4/9 1:26
安全研究人员在 Apache ActiveMQ Classic 中发现了一个隐藏 13 年之久的 RCE 漏洞。攻击者可以利用该漏洞执行任意命令。 [link]
New macOS stealer campaign uses Script Editor in ClickFix attack
Bill Toulas · 2026/4/9 2:55
一项针对 macOS 用户分发 Atomic Stealer 恶意软件的新活动滥用了 Script Editor。这种 ClickFix 攻击变体诱骗用户在 Terminal 中运行命令。 [link]
CISA orders feds to patch exploited Ivanti EPMM flaw by Sunday
Sergiu Gatlan · 2026/4/9 2:15
CISA 命令美国政府机构在周日之前修复 Ivanti Endpoint Manager Mobile 中的严重漏洞。该漏洞自 1 月以来一直被用于攻击活动。 [link]
Google: New UNC6783 hackers steal corporate Zendesk support tickets
Bill Toulas · 2026/4/9 5:46
被追踪为 UNC6783 的威胁主体正在入侵业务流程外包供应商。他们通过这种方式获取多个行业高价值公司的访问权限。 [link]