Hadal: Centralized Label DP without a Trusted Party.
本文提出 Hadal，一种无需可信第三方的集中式标签差分隐私协议。传统标签差分隐私（Label DP）通常依赖一个可信聚合器来扰动标签，但实际应用中难以找到完全可信的第三方。Hadal 利用安全多方计算（MPC）和秘密共享技术，允许多个数据
2026-07-18 归档
今日共收录 1491 条安全情报，包含 418 个 CVE，581 篇安全通告，以及 194 篇研究论文。
← 返回归档列表STIR/SHAKEN: A Cocktail of Cryptographic Clumsiness.
本文对 STIR/SHAKEN 协议（一种用于验证电话呼叫中主叫方身份的标准）中的密码学实现进行了系统性安全分析。STIR/SHAKEN 旨在通过数字签名来防止来电显示欺诈，但该研究揭示了协议规范及其参考实现中存在多个密码学缺陷。具体问题包
Blinding Post-Quantum Hash-and-Sign Signatures.
本论文聚焦于后量子密码学中的哈希签名方案，研究其盲化技术。哈希签名（如SPHINCS+）作为后量子安全的数字签名候选，具有抗量子计算攻击的特性，但直接用于盲签名场景存在隐私与效率挑战。作者提出了一种通用的盲化框架，适用于后量子哈希签名方案，
One Tap to Hijack Them All: A Security Analysis of the Google Fast Pair Protocol.
本文对Google Fast Pair Service (GFPS) 进行了首次全面的安全分析。GFPS 通过一键设置和账户同步扩展了蓝牙配对功能，但作者通过对来自16家厂商的17种不同蓝牙芯片的25款商用配件进行系统性测试，发现了规范的多
TEE.Fail: Breaking Trusted Execution Environments via DDR5 Memory Bus Interposition.
本文提出了一种针对可信执行环境（TEE）的新型物理攻击方法，称为TEE.Fail。攻击者通过在DDR5内存总线上进行中间人拦截（Memory Bus Interposition），能够在TEE（如Intel SGX、AMD SEV等）的保护
Crashing Through Defenses: Exploiting Segfaults and Chaining Around Intel CET.
本文提出了一种针对现代x86_64 Linux系统中Intel CET（控制流强制技术）的新型代码重用攻击方法——分段错误导向编程（SFOP）。传统代码重用攻击（如ROP、SROP）在启用CET的系统上通常被硬件机制阻止，因为这些机制检查间
Nebula: Proving Machine Executions via Folding Schemes.
本文提出了一种名为Nebula的新型系统，通过折叠方案（folding schemes）来高效证明任意机器（如CPU）的执行轨迹。传统的可验证计算（verifiable computation）方案面临证明生成开销大、验证效率低等问题。Ne
A Maliciously-Secure Post-Quantum OPRF from Crypto Dark Matter.
本文提出了一种基于 Crypto Dark Matter 假设的恶意安全后量子不经意伪随机函数（OPRF）。OPRF 允许客户端在服务器帮助下计算 PRF 值，同时服务器无法获知客户端输入。现有 OPRF 构造或仅满足半诚实安全，或依赖量子
Operation Mango: Scalable Discovery of Taint-Style Vulnerabilities in Binary Firmware Services.
本文提出了一种名为“Operation Mango”的可扩展方法，用于在二进制固件服务中自动发现污点风格（taint-style）漏洞。固件服务通常部署在嵌入式设备中，如路由器、摄像头等，其二进制代码分析面临指令集多样、依赖库缺失、执行环境
Tactics, Threats & Targets: Modeling Disinformation and its Mitigation.
该论文系统性地研究了虚假信息（disinformation）的战术、威胁与目标，并提出了一种建模方法用于分析和缓解虚假信息。作者首先梳理了虚假信息传播的常见战术，包括利用社交媒体机器人、伪造账户、协调性不真实行为（CIB）、人肉搜索（dox
Privacy Perspectives and Practices of Chinese Smart Home Product Teams.
该论文通过27个半结构化访谈，深入探讨了中国智能家居产品团队（包括产品/项目经理、软硬件工程师、用户体验设计师、法律/隐私专家、市场/运营专员）的隐私观念、实践及风险缓解策略。研究发现，参与者强调遵守中国数据隐私法律，这些法律通常将国家安全
An Approach to Predictive Software Threat Modeling Using Public Vulnerability Data.
本文提出了一种利用公开漏洞数据进行预测性软件威胁建模的方法。传统威胁建模主要依赖专家经验，耗时且难以覆盖未知威胁。作者通过收集、分析历史CVE（公共漏洞与暴露）数据、漏洞评分（如CVSS）及漏洞类型等信息，构建了一个预测模型，能够在新软件设
AEX-NStep: Probabilistic Interrupt Counting Attacks on Intel SGX.
本文提出了一种名为AEX-NStep的新型侧信道攻击，针对Intel SGX安全飞地。该攻击通过统计中断事件的发生次数，以概率方式推断飞地内部执行的敏感信息。具体技术细节和实验评估因未提供摘要而无法详述。该研究属于对SGX安全性的持续探索，
From "Be Careful" to "Here's Why": Investigating User Reasoning with Context-Specific SMS Scam Warnings.
该论文研究了上下文特定的短信诈骗警告如何影响用户的推理和决策。传统上，诈骗警告往往只是简单地提醒用户“小心”，而本研究探索了更详细的解释性警告（例如“这里是为什么这是诈骗”）是否能更有效地帮助用户识别和防范诈骗。作者通过用户实验，让参与者面
Position Paper: On the (Non-)Precision of Psychological Measures in Security and Privacy Research - Reliability Beyond Reporting Alpha.
该论文是一篇立场论文，聚焦于安全与隐私研究中心理测量工具的精度问题。作者指出，许多研究仅报告Cronbach's alpha系数来体现信度，但这一做法存在局限性，容易高估测量的可靠性。论文系统回顾了心理测量学中的信度概念，探讨了alpha系
Weighted Batched Threshold Encryption With Applications to Mempool Privacy.
本文提出了一种加权批量阈值加密（Weighted Batched Threshold Encryption, WBTE）方案，旨在解决区块链内存池（mempool）中的交易隐私问题。在区块链系统中，交易在打包进区块前会先广播到mempool
OPTISAN: Using Multiple Spatial Error Defenses to Optimize Stack Memory Protection within a Budget.
该论文提出 OPTISAN，一种在给定预算约束下优化栈内存保护的方法。栈内存是缓冲区溢出等内存错误攻击的主要目标，现有防御措施（如栈金丝雀、ASLR、Control-Flow Integrity等）各有开销和覆盖范围。OPTISAN 分析多
Browser Permission Mechanisms Demystified.
本论文系统性地研究了现代浏览器的权限机制。作者对Chrome、Firefox、Safari、Edge等主流浏览器进行了全面分析，评估了权限请求、授予、撤销及持久化等机制。研究发现多个设计缺陷和实现漏洞，包括：权限提示容易被用户忽略而误授权、
Optimistic Asynchronous Dynamic-Committee Proactive Secret Sharing.
本文提出了一种名为“乐观异步动态委员会主动秘密共享”（Optimistic Asynchronous Dynamic-Committee Proactive Secret Sharing, OAD-PSS）的协议。该协议旨在解决去中心化系统
Crucible: Retrofitting Commodity CPUs with Vulnerabilities via Transparent Software Emulation.
本文提出 Crucible，一个纯软件框架，能够在任意 x86 CPU 上透明地模拟 Meltdown 类型的瞬态执行漏洞。由于易受攻击的旧 CPU 日益稀缺，且物理实验环境难以共享，微架构安全领域的研究与教学面临可重复性危机。Crucib