Goldilocks and the Three P-States: Mitigating Hertzbleed with Formal Leakage Guarantees.
本文针对Hertzbleed侧信道攻击提出了一种创新的缓解方案。Hertzbleed利用现代处理器动态频率缩放（DVFS）中的功耗变化泄露秘密信息，传统的缓解方法如恒定时间编程或禁用DVFS会带来显著的性能开销或功能损失。作者借鉴“金发姑娘
2026-07-18 归档
今日共收录 1491 条安全情报，包含 418 个 CVE，581 篇安全通告，以及 194 篇研究论文。
← 返回归档列表Cyberbiosecurity Risk Assessment Framework for Genomic Data Storage in Cloud Environments.
本文提出了一种针对云环境中基因组数据存储的网络生物安全风险评估框架。随着基因组学数据的快速增长及其在医疗等领域的广泛应用，这些敏感数据的存储和传输面临独特的安全挑战，包括传统网络安全威胁和生物信息泄露风险。现有的风险评估模型往往未充分考虑基
Auditing Apple's DifferentialPrivacy.framework: Implementation Bugs, Misconfigurations, and Practical Risks.
本文对苹果公司的差分隐私框架（DifferentialPrivacy.framework）进行了系统性审计，重点考察其实现中的软件缺陷、配置错误以及由此带来的实际隐私风险。研究首先分析了苹果在iOS和macOS中部署的差分隐私机制，包括私有
Automated Formal Analysis of Signal's Double Ratchet: Attacks, Fixes and Security Proofs.
本研究对 Signal 协议的核心组件——双棘轮（Double Ratchet）机制进行了自动形式化安全分析。双棘轮负责在消息丢失、重排序或临时密钥泄露等复杂条件下提供前向安全和后向安全。研究者使用 ProVerif 工具（一种自动密码协议
Secret State Leakage Attacks and Their Impacts on EMV Contactless Payment Apps.
本文研究了针对EMV非接触支付应用（如Apple Pay、Google Pay等）的秘密状态泄漏攻击。EMV协议在非接触支付中使用动态数据认证和交易计数器等秘密状态来保证安全性，但研究发现攻击者可以通过侧信道或协议实现漏洞，窃取或推测这些秘
PLaTypus: Restricting Cross-Module Transitions to Mitigate Code-Reuse Attacks.
本文提出了一种名为PLATYPUS的新型防御机制，旨在弥补现有硬件辅助控制流完整性（CFI）机制——Intel CET（Control-flow Enforcement Technology）的不足。CET虽然已广泛部署于现代Intel C
It's a Feature, Not a Bug: Secure and Auditable State Rollback for Confidential Cloud Applications.
本文提出了一种名为“它是特性而非缺陷”的状态回滚机制，旨在解决机密云计算中应用状态一致性与安全审计的冲突。在机密计算环境中，应用运行于可信执行环境（TEE）内，但云提供商或恶意攻击者可能试图通过回滚状态（如日志、数据库快照）来破坏完整性或隐
Inspectable AI for Science: A Research Object Approach to Generative AI Governance.
该论文提出了一种名为“AI as a Research Object”（AI-RO）的新范式，旨在解决生成式人工智能在科学研究中的治理问题。作者认为，与其争论AI是作者还是工具，不如将AI交互视为研究过程中结构化、可检查的组件。基于Rese
From "Available" to "Reusable": Measuring Transparency and Reproducibility of Industrial Control System Datasets Under Security Artifact Evaluation Policies.
本文聚焦于工业控制系统（ICS）安全研究中的数据集可重现性与透明度问题。研究背景：随着ICS网络安全领域蓬勃发展，大量公开数据集被用于训练入侵检测模型等研究，但数据集的可用性（可获取）与可复用性（可重现结果）之间存在显著差距。核心问题：现有
Best of Both Worlds: Effective Foreign Bridge Identification in V8 Embedders for Security Analysis.
该论文聚焦于V8嵌入器（如Node.js、Deno等）中外部桥接（Foreign Bridge）的识别问题。外部桥接是指允许JavaScript代码调用C/C++原生代码的接口，是安全分析中的关键薄弱点。论文提出了一种新颖的方法，结合静态分
Single-Server Private Outsourcing of zk-SNARKs.
该论文研究如何安全高效地将zk-SNARKs证明的生成任务外包给单个不信任的服务器，同时保护用户的隐私。zk-SNARKs是一种零知识证明，允许证明者向验证者证明某个陈述为真，而无需泄露任何额外信息。然而，生成zk-SNARKs证明的计算开
LaKey: Efficient Lattice-Based Distributed PRFs Enable Scalable Distributed Key Management.
该论文提出了一种基于格的分布式伪随机函数（DPRF）的新型高效构造方案——LaKey，旨在解决分布式密钥管理中的可扩展性和安全性问题。分布式密钥管理需要多个参与方在不泄露私钥的情况下共同生成和使用密钥，而传统的方案往往依赖双线性配对或大整数
Post-GDPR Threat Hunting on Android Phones: Dissecting OS-level Safeguards of User-unresettable Identifiers.
本文针对GDPR实施后Android手机中用户不可重置标识符（如IMEI、IMSI、MAC地址等）的保护机制进行了系统性的威胁狩猎研究。研究背景是GDPR要求设备制造商强化隐私保护，Android系统在多个版本中引入了诸如权限控制（READ
GDDRHammer: Greatly Disturbing DRAM Rows - Cross-Component Rowhammer Attacks From Modern GPUs.
该论文研究了从现代GPU组件发起的跨组件Rowhammer攻击，即GDDRHammer。传统Rowhammer攻击主要针对CPU内存系统，而本研究揭示了在GPU架构中利用密集内存访问模式干扰DRAM行的可能性。论文提出了通过GPU着色器核心
AESpoly: Symmetric-Key Cryptographic Designs Using Instruction-Level Parallelism Between AES and Polynomial Hash.
本文提出了两种对称密钥密码设计方案：AESpolyW 和 AESpolyM，它们利用 AES 加密与多项式哈希之间的指令级并行性来提高性能。研究背景是，现有的对称加密和认证方案（如 HCTR2、EME、GMAC、PMAC）虽然能提供安全保证
Revisiting PQ Wireguard: A Comprehensive Security Analysis with a New Design Using Reinforced KEMs.
该论文重新审视了后量子安全 WireGuard（PQ WireGuard）协议的安全性，并提出了一种使用强化密钥封装机制（KEMs）的新设计。WireGuard 是一种流行的 VPN 协议，以其简洁性和高性能著称。随着量子计算的威胁日益逼近
UltraProofs: Scalable Reed-Solomon Code Commitment.
本文提出UltraProofs，一种可扩展的Reed-Solomon码承诺方案。Reed-Solomon码广泛应用于纠错编码和数据存储，但构造高效、可验证的承诺方案一直存在挑战。UltraProofs通过创新的多项式承诺技术，实现了对RS码
SoK: All You Ever Wanted to Know About Bootloader Security but Were Afraid to Ask.
该论文是bootloader安全的系统化知识（SoK）综述。Bootloader是系统启动的第一个软件，负责初始化硬件并加载操作系统，其安全性至关重要，一旦被攻破可导致整个系统失控。论文系统梳理了bootloader的攻击面，包括固件篡改、
BreakFAST: Confused Deputy Attack on Infinity Fabric to Break AMD SEV-SNP.
本文提出了一种名为BreakFAST的混淆副手攻击，针对AMD安全加密虚拟化-安全嵌套分页（SEV-SNP）技术。SEV-SNP是AMD EPYC处理器中用于保护机密虚拟机（VM）的硬件安全机制，旨在防止恶意管理程序访问VM内存。攻击者利用
ZELDA: Efficient Multi-Server Preprocessing PIR With Unconditional Security.
该论文提出了Zelda，一种高效的多服务器预处理私有信息检索（PIR）方案，具有无条件安全性。传统无预处理的PIR方案每个客户端查询需要线性服务器计算。近年来的工作表明，通过一次性预处理阶段，可以绕过这一障碍，实现亚线性计算且无需密码学假设