网络安全论文
Signing the Transaction but Not the Decision: Whisper Attacks and a Binding Defense for AP2
Yedidel Louck, Amit Dvir, et al. · 2026/9/11
软件智能体代人类支付已成现实,但攻击者正利用其决策漏洞实施洗劫。Whisper 攻击能诱导智能体购买与用户意图不符的昂贵商品。A-VIP 协议对此提出了强效防御,它通过绑定意图与凭证查询,将签署的意图视为能力授权而非简单的描述。该方案不仅通过了形式化验证,还在真实模型测试中展现了极高的防御成功率,为自动支付生态筑起了一道关键的防线。 [link]
SpecGuard: Inference-Time Backdoor Detection For Free
Rui Wen, Ahmed Salem, et al. · 2026/9/11
开源大模型若被植入后门,在运行时将面临隐匿的劫持风险。SpecGuard 创新性地利用 speculative decoding 机制实现零成本检测。它敏锐捕捉到目标模型与草稿模型在处理触发词时的接受率差异,将原本用于加速推理的组件转化为全天候的后门监控器。实验证明,该方案能可靠识别连输入过滤器都无法识别的隐身攻击,无需额外算力即可保障模型生成的安全性。 [link]
From Specs to Apps: Verifying and Monitoring Models of Signal and WhatsApp
Moustafa Said, Aurora Naska, et al. · 2026/9/11
Signal 协议守护着全球数十亿用户的通信,但其真实实现的安全性一直是个谜。SpecMon 运行时监控器首次弥补了协议规范与实际代码之间的鸿沟。通过对 WhatsApp Web 和 Signal 桌面端进行插桩,研究者构建了详细的多重重写模型。监测不仅验证了身份验证与机密性,还意外发现了 WhatsApp 分支与原版库之间从未公开的实现差异,为即时通讯安全研究提供了宝贵的实测证据。 [link]
A2ABreak: Systematic Security Analysis of the A2A Protocol
Alireza Lotfi, Mirza Masfiqur Rahman, et al. · 2026/9/11
面对跨组织 AI 智能体通信的爆发,Linux 基金会主推的 A2A 协议成为核心标准,但其安全性此前未被系统审视。A2ABreak 利用大模型辅助提取协议状态机,竟在看似严密的规范中挖掘出 11 个设计级漏洞。攻击者无需利用代码错误,仅通过协议合规的操作即可窃取凭证或注入恶意上下文。这项研究直接点出了多智能体生态底座的结构性缺陷,倒逼行业重新审视互联标准。 [link]
"They don't care about this": A Systematic Study of TEE Build Reproducibility in the Wild
Annika Wilde, Marco Gutfleisch, et al. · 2026/9/11
可信执行环境 TEE 是云安全最后的堡垒,但如果代码构建不可重现,所谓的安全承诺就是空谈。一项针对 115 个 TEE 部署的调研揭示了惊人的真相:91% 的项目无法实现可重现构建,多数甚至不提供源码。开发者往往将 TEE 视为某种安全勋章而非严谨的过程标准。本文通过深入的行业访谈剖析了生态层面的系统性挑战,呼吁从流程层面纠正 TEE 部署中的透明度缺失问题。 [link]
Cross User/App Network Attacks - Hijacking TCP Connections and DNS Cache Poisoning via a Malicious User/App (Extended Version)
Tamir Shahar, Amit Klein · 2026/9/10
即便 TCP 和 DNS 拥有随机化序列号保护,离线攻击依然可能得逞。这项研究展示了恶意 App 与远程对手协作的恐怖力量。通过巧妙利用 socket API 和内核特性,攻击者能推导出受保护的连接状态,进而实现 TCP 连接劫持和 DNS 缓存投毒。这种协同攻击已在 Linux、Android 和 iOS 等主流系统中得到证实,迫使微软、苹果等巨头紧急发布补丁,重新定义了移动端网络防御的边界。 [link]
Deep-Fake CAPTCHA: Mitigating Next-Generation Social Engineering Attacks
Guy Frankovits, Lior Yasur, et al. · 2026/9/11
在实时深伪技术日益猖獗的今天,被动检测已疲于奔命。DF-CAPTCHA 提出了一种主动防御框架,要求通话者完成简单的挑战响应任务。这些任务对人类易如反掌,但对实时 Deepfake 系统而言却是沉重的计算负担。通过评估现实感、身份一致性等四个维度,该框架能高效识破声音和视频诈骗。相比传统检测方法,这种交互式验证在应对新一代社会工程学攻击时表现出了极强的韧性。 [link]
Atlas: Efficient Verifiable Semantic Search
Nikolay Avramov, Hidde Lycklama, et al. · 2026/9/11
当语义搜索成为 RAG 系统的核心,如何防止搜索提供商恶意截断或操纵结果?Atlas 系统在零知识证明领域取得了突破。它首次实现了大规模图形索引 HNSW 的可验证搜索,能在数秒内为 1 亿个向量的检索提供数学证明。通过预处理和批处理技术,它在不泄露私有索引的前提下,确保了检索结果的真实性与召回率。这为构建可信的检索增强生成系统铺平了技术道路。 [link]
DeFiFusion: Combining Transaction Events with Smart Contracts to Detect Price Manipulation Attacks
Rui Cao, Shaojing Fan, et al. · 2026/9/11
DeFi 领域的物价操纵攻击损失惨重,但传统检测手段往往在误报和漏报之间挣扎。DeFiFusion 引入了双模态融合架构,同时建模交易事件与智能合约语义。它洞察到恶意攻击源于行为与逻辑的交互,而非单一信号。利用 Transformer 捕获 PMAs 特有的循环执行结构,该框架在测试中召回了绝大多数真实攻击案例,准确率极高,为去中心化金融的安全治理提供了强有力的实时预警工具。 [link]
Chypothermia: Clock Freezing for Static Side-channel Attacks
Fatemeh Khojasteh Dana, Mehmet Ali Cetin, et al. · 2026/9/11
冷冻芯片也能窃取机密?Chypothermia 攻击利用低温干扰芯片的混合信号组件,成功让电压和时钟传感器失效。攻击者通过冻结时钟,能够在不触发安全警报的前提下提取关键数据。研究人员甚至在 OpenTitan 等顶尖硬件根中验证了该攻击的有效性,避开了所有的热异常检测。为此,他们提出并实现了一种自加热传感器作为防御措施,揭示了硬件安全在极端物理环境下的全新战场。 [link]
AI 论文
Memory Compression for High-Fanout Agent Sandboxes
Mengming Li, Ceyu XU, et al. · 2026/9/11
在 AI 智能体大规模部署时,并发的沙盒会瞬间压垮服务器内存。AgentZip 系统专门为此而生,它精准捕捉到不同智能体执行类似任务时的内存冗余,利用执行阶段的间隙进行异步压缩。实验显示该系统能将内存占用降低八点七倍,而性能损耗几乎可以忽略不计。这为高并发智能体服务的商业化落地扫清了硬件成本障碍,是迈向大规模自治系统的关键基础设施创新。 [link]
A Voice-Interactive Multi-Agent System for Smart Operating Rooms: Architecture Design and Key Technologies
Tianxiang Zhou · 2026/9/11
智慧手术室对实时性要求极苛刻,语音指令稍有延迟就可能引发事故。SurgicalRoomAgent 提出了一套完整的语音交互多智能体架构。它通过 KV Cache 预热技术将推理延迟从数百毫秒压缩到几十毫秒,并采用流式解析实现设备并行控制。这套系统不仅能精准理解医疗术语,还能在术中自动录制并生成报告。它是大模型走向高可靠工业场景的典型范例,展示了 AI 改变现代外科流程的潜力。 [link]
Characterizing Job Power Elasticity for Power-Flexible AI Training
Philip Colangelo, Charles Dawson, et al. · 2026/9/11
电力供应正成为 AI 算力增长的头号瓶颈,如何让大模型训练更省电?这项研究首次系统性地刻画了训练任务的电力弹性,并引入了 PFI 指标。通过实时预测算力缩放对吞吐量的影响,数据中心可以在限电状态下找回丢失的性能。在降低百分之三十功耗的情况下,该调度算法能恢复六成以上的性能差距。它将大模型从单纯的耗能大户变成了电网友好的柔性负载,具有巨大的商业与环保价值。 [link]
Explainability Assistant: A Conversational XAI Interface for Interpreting Energy Consumption Models
Rodion Krjut\v{s}kov, Eduard Barbu, et al. · 2026/9/11
能源经理往往难以理解复杂的电力预测模型,传统的 XAI 面板又太难用。Explainability Assistant 利用大模型的函数调用能力,打造了一个会说话的解释器。它能将专业的归因分析转化为自然语言对话,意图解析准确率高达百分之九十四。能源专家们一致认为,这种对话式界面比传统图表更适合实际办公。它成功打破了黑盒模型与终端用户之间的沟通壁垒,让数据驱动的决策真正落到了实处。 [link]
A Training-Free, Alignment-Free Approach to Corporate Intelligence: Application to SEC Filings
Jean-Fran\c{c}ois Delpech · 2026/9/11
在金融监管和财报审计中,幻觉风险和计算成本是大模型的致命伤。研究者提出了一种无需训练、无需对齐的轻盈方案,利用确定性稀疏哈希向量构建企业语义指纹。该方法在普通 CPU 上就能运行,不仅秒速处理波音 737 危机等复杂案例,还能追溯每一个结论的原文出处。它用硬核的工程思维证明了,在某些严谨的工业场景中,巧妙的向量表达比昂贵的生成式模型更加安全且高效。 [link]
FlexComp: One Model for Every Ratio in Context Compression
Kaiyan Zhao, Zhongtao Miao, et al. · 2026/9/11
长文本处理的 KV Cache 成本极高,但每个任务需要的压缩率各不相同。FlexComp 架构实现了任意比例的上下文压缩,用户无需为不同倍率重新训练模型。通过引入预测器和瀑布流路由,该方法在保持高精度的同时,将解码吞吐量提升了近五成。它像一把折叠尺,根据输入内容的复杂度动态伸缩,为私有化部署大模型提供了一套极具成本效益的优化范式,值得每一位后端开发者关注。 [link]
Magenta: Closing the Loop Between Mathematical Reasoning and Lean Verification
Joshua Ong Jun Leang, Haonan Li, et al. · 2026/9/11
虽然大模型能写代码,但在严谨的数学竞赛中仍难逃逻辑疏漏。Magenta 打造了一个闭环智能体流水线,将自然语言推理与 Lean 4 形式化验证强力结合。当验证失败时,它能自动归因是数学思路错了还是代码写错了,并进行针对性修复。这套系统在多项奥数竞赛中取得了满分,甚至独立攻克了 IMO 的六道难题。它代表了 AI 从辅助写作向科研自动化迈出的坚实一步。 [link]
Prompt Revision as a Source of Cultural Bias in Text-to-Image Systems
Aleksandra Urman, Elsa Lichtenegger, et al. · 2026/9/11
你以为生成的图像只受提示词影响?WORLDVIEW 基准测试揭开了商业绘图系统背后的隐形枷锁。研究发现,系统会在后台悄悄重写用户指令,这正是文化偏见和刻板印象的根源。研究者对三套主流系统进行了深度审计,发现非西方背景的提示词常被粗暴地贴上标签。这篇论文提醒开发者,只优化模型权重是不够的,必须重新审视部署环节中的改写逻辑,才能构建真正公平的视觉模型。 [link]
Can Edge-Deployable Vision-Language Models Identify Species?
William Zhou, Mayukha Siripuram, et al. · 2026/9/11
在野外考察中,离线部署的视觉模型能否取代人类生物学家?研究者在边缘硬件上测评了 Qwen3-VL 等主流模型识别物种的能力。结果显示,虽然通用模型表现不俗,但面对红外相机拍摄的模糊影像,所有模型的表现都大幅滑坡。即使是轻量级的专业模型 BioCLIP 也无法完全跨越画质落差。这篇论文直面生态监测的真实痛点,为边缘端多模态应用的鲁棒性提升指明了方向。 [link]
BleepingComputer 新闻
Hackers abused Claude to extract secrets from 1.8M Android apps
Bill Toulas · 2026/9/12 4:19
Anthropic 表示,包括受经济利益驱使的团伙以及与俄罗斯和中国有关联的受国家资助的间谍组织在内,多个威胁团体试图滥用其 Claude AI 模型进行恶意活动。 [link]
Florida confirms DMV database breached via stolen police account
Lawrence Abrams · 2026/9/12 3:00
佛罗里达州公路安全与机动车辆管理局确认其 DAVID 驾驶员数据库遭遇数据泄露,并称攻击者使用了属于警察局员工的凭据获得访问权限。 [link]
Passkey-themed phishing attacks lead to Microsoft 365 data theft
Lawrence Abrams · 2026/9/12 1:26
微软表示,与 ShinyHunters、Helix 及其他勒索团伙有关联的威胁行为者正利用以 Passkey 和单点登录为主题的社会工程学攻击,入侵企业 Microsoft 账户并从 Microsoft 365 服务中窃取数据。 [link]
Artifactory flaws chained in attacks deploying backdoor malware
Bill Toulas · 2026/9/12 0:29
威胁行为者正在利用 JFrog Artifactory 中的严重及高风险漏洞进行链式攻击,以绕过身份验证、获取管理权限并在受影响的自托管服务器上部署 Rust 后门。 [link]
How Threat Actors Are Turning Trusted AI Platforms Into an Attack Surface
Sponsored by Huntress Labs · 2026/9/11 22:01
威胁行为者正滥用受信任的 AI 平台来托管恶意内容、投毒搜索结果并诱骗用户安装恶意软件。Huntress 研究了通过武器化的 Claude Artifacts、共享的 AI 对话、赞助商搜索结果和 ClickFix 诱饵针对 AI 用户的攻击活动。 [link]
GitLab urges users to patch max severity path traversal flaw
Sergiu Gatlan · 2026/9/11 19:15
GitLab 在周四敦促用户立即修复其服务器上的最高级别路径遍历漏洞,该漏洞编号为 CVE-2026-85706。 [link]
Microsoft fixes Teams, Outlook launch failures on ARM Windows PCs
Sergiu Gatlan · 2026/9/11 17:39
微软修复了一个导致 Teams 和 Outlook 在安装了 2026 年 8 月补丁星期二后的更新后,无法在 ARM 架构的 Windows 设备上启动的漏洞。 [link]
Trezor: 347,000 users targeted in phishing attacks after Brevo breach
Sergiu Gatlan · 2026/9/11 15:55
Trezor 透露,本周早些时候针对其客户的钓鱼攻击涉及 347,000 个电子邮件地址,并影响了 2,500 名点击了嵌入式恶意链接的用户。 [link]
Conti ransomware gang member sentenced to 4 years in prison
Sergiu Gatlan · 2026/9/11 14:48
一名乌克兰国民因在 2021 年至 2022 年期间参与 Conti 勒索软件攻击而被判处四年监禁。 [link]