Beyond Waveform Robustness: Robust Feature-Vocoder Adversarial Attacks on Automatic Speech Recognition
本文针对自动语音识别（ASR）系统的对抗鲁棒性展开研究。现有对抗攻击主要通过在原始波形上直接添加扰动，但存在两大局限：一是对黑盒ASR系统的可迁移性较差，二是容易被针对输入空间扰动的防御机制所缓解。为解决这些问题，作者提出了一种名为Clea
2026-06-06 归档
今日共收录 1443 条安全情报，包含 665 个 CVE，387 篇安全通告，以及 120 篇研究论文。
← 返回归档列表The Coverage Gap: Chile's Cyber Disclosure Framework versus the USA, EU and UK
本文提出了“覆盖缺口”（Coverage Gap）概念，用以衡量关键基础设施运营商在公共暴露面与漏洞披露能力之间的可量化差距。作者以智利国家网络安全局（ANCI）根据第21.663号法律指定的915家重要运营商（OIV）为研究对象，采用仅基
Bitcoin After Block Rewards
本论文研究比特币区块奖励逐步归零后网络的安全性问题。随着比特币每四年减半，区块奖励最终将消失，矿工仅依赖交易手续费获得收益，这可能引发激励不相容问题，导致大规模挖矿偏离诚实行为。作者构建了一个序贯决策模型，比较诚实挖矿与偏离挖矿的收益，定义
DP-MacAdam: Differentially Private Mechanism with Adaptive Clipping and Adaptive Momentum
本文提出了一种名为 DP-MacAdam 的新型差分隐私机制，旨在解决差分隐私随机梯度下降（DP-SGD）中固定裁剪阈值带来的局限性。现有的自适应裁剪算法（如 AdaClip）根据梯度的经验均值和方差自适应调整裁剪参数，但未将这些估计用于动
Preserving Data Privacy in Learning Causal Structure with Fully Homomorphic Encryption
本文针对分布式因果结构学习中的数据隐私泄露问题，提出了一种基于全同态加密（FHE）的隐私保护方法。因果结构学习旨在从数据中推断变量间的因果关系，在分布式场景下，各参与方需交换中间结果，容易导致隐私泄漏。传统加密方案无法同时保证计算过程中的数
A-Live: Passive Liveness Detection via Neuromuscular Micro-Motion Signatures on Commodity Sensors
本文提出了一种名为 A-Live 的被动活体检测框架，旨在解决当前生物认证系统和数字系统中区分人类用户与非人类代理（如生成式 AI 或智能体）的挑战。现有活体检测方法依赖用户主动交互（如眨眼、点头）、专用硬件（如红外摄像头）或易被复杂欺骗攻
Bernoulli CUSUM and Bayes-Optimal Detection Ceilings for Trust Fraud in Sparse Rating Networks
本文针对稀疏评分网络（如比特币交易网络 Bitcoin-OTC 和 Bitcoin-Alpha）中的信任欺诈序列检测问题展开研究。实际数据中，56%的评分在标准映射下呈现单一取值，破坏了连续观测模型的分布假设，导致传统参数检测器失效。论文提
Attention-Augmented LSTMs for Automatic Homophonic Ciphertext Decipherment
同音替代密码通过将每个明文字母映射到多个可能的密文字符来削弱字母频率模式，使得自动解密变得困难。本文评估了一种注意力增强的长短期记忆网络（Attention-Augmented LSTM）在历史启发下的共享密钥设置中学习此类映射的能力：所有
TeeDAO: A Decentralized Autonomous Organization for Heterogeneous TEEs
本论文提出TeeDAO，一个面向异构可信执行环境（TEE）的去中心化自治组织框架。当前依赖单一TEE实现（如Intel SGX）的系统存在单点攻击风险，而利用异构TEE构建分布式信任系统虽可分散信任，但仍面临集中式管理和自适应移动对手（如攻
CLIF: Cross-layer LEO-ISL Fingerprinting for Physical and Network Attack Detection in Dense LEO Constellations
本论文提出了一种面向低地球轨道（LEO）巨型星座（如 SpaceX 的 Starlink 和 Amazon 的 Kuiper）的跨层轻量级指纹识别框架 CLIF，用于检测物理层和网络层的攻击。LEO 星座依赖光学星间链路（ISL）进行自组织
ODYSSEY: Reestablishing Confidentiality in Confidential Blockchain via Delegated Execution
本文针对利用可信执行环境（TEE）的联盟链面临的机密性威胁进行了系统研究。作者首先将针对机密区块链的攻击分为两类：执行-推理攻击（通过长时间侧信道推断交易内容）和执行-重放攻击（利用TEE状态持续性漏洞重放交易以窃取信息）。为缓解这些攻击，
TeleHunt: A Framework and Tool for Efficient Cybercriminal Community Discovery on Telegram
本文提出了 TeleHunt，一个用于评估在 Telegram 上发现网络犯罪社区的不同策略有效性的框架和工具。TeleHunt 采用一组参考驱动的雪球采样策略，结合消息级分类、上下文过滤和市场细分标签。利用开放网络和暗网的种子，我们系统评
Global Sketch-Based Watermarking for Diffusion Language Models
该论文提出一种针对扩散语言模型的全局草图水印方法。现有的语言模型水印方法主要针对自回归模型，通过扰动下一个token的分布来实现，依赖于局部上下文。扩散语言模型在生成时同时对多个未确定的token位置进行联合采样，使得整个序列的加性统计量在
What Can Verifiable Decapsulation Tests Certify? Pass Bounds and Fault-Recognition Limits for FO-Based KEMs
本文研究了基于 Fujisaki-Okamoto (FO) 变换的密钥封装机制 (KEM) 在可验证解封装测试中的认证能力。黑盒测试观察被测实现 (IUT) 的采样执行，但重加密计算仅通过到达最终密钥派生的值可见。作者引入了一个诚实参考封装
Cascading Hallucination in Agentic RAG: The CHARM Framework for Detection and Mitigation
该论文聚焦于多步智能检索增强生成（agentic RAG）管道中的级联幻觉问题——早期步骤引入的错误会在后续推理步骤中传播并放大，导致最终输出看似自信但事实错误。现有的幻觉检测机制（如输出级检测器）系统性忽略此故障，因为它源自跨步骤的累积效
Pepper: High-bandwidth and Scalable Anonymous Broadcast with Cryptographic Privacy
本文提出Pepper，一种高带宽匿名广播协议，针对全局敌手提供加密发送者匿名性。Pepper基于双服务器DC-net架构，但引入三项关键创新：1）使用可验证分布式点函数的自包含匿名注册子协议，无需外部拨号服务；2）通过分布式多点函数支持批量
DPDL: Towards Differential Privacy Preservation in Decentralized Stochastic Learning on Non-IID Data
该论文针对去中心化学习（Decentralized Learning）中的隐私保护问题展开研究。在去中心化学习中，多个智能体（Agent）在没有中心服务器的情况下协作训练全局模型，通过交换梯度信息来更新模型。然而，这种梯度交换会带来严重的隐
Revisiting Privacy Amplification by Subsampling in Selective Release DPSGD
本文针对差分隐私随机梯度下降（DPSGD）中隐私核算不严谨的问题进行研究。DPSGD通过在梯度上添加噪声并裁剪梯度来保护隐私，但这会导致模型效用显著下降且收敛缓慢。先前的工作，特别是差分隐私选择性更新与释放（DPSUR）算法，通过选择性更新
Domain-Conditioned Safety in Frontier Computer-Using Agents: A 793-Episode Browser Benchmark, a Coding-Domain Cross-Reference, and a Reproducibility Audit of Recent Red-Teaming
本文针对近期计算机使用代理（CUA）领域的红队测试论文进行了可复现性审计。许多论文报告了提示注入攻击成功率（ASR）高达42-98%，但这些数字集中在已退役模型和每篇论文中最脆弱的模型上。作者提出了CUA-HandCrafted基准测试，包
Formal verification of the S-two AIR
本文介绍了使用Lean 4证明助手对StarkWare的S-two证明器中的代数中间表示（AIR）进行形式化验证的工作。S-two证明器用于在区块链上高效地证明用Cairo虚拟机语言编写的程序能够运行完成。该证明器通过一个代数中间表示（AI