Reckle Trees: Updatable Merkle Batch Proofs with Applications.
本论文提出了一种名为 Reckle trees 的新型向量承诺（vector commitment）方案，其核心创新在于将简洁递归论证（succinct recursive arguments）与 Merkle 树相结合，从而支持可更新的简
2026-09-01 归档
今日共收录 1266 条安全情报，包含 424 个 CVE，451 篇安全通告，以及 107 篇研究论文。
← 返回归档列表DEFInit: An Analysis of Exposed Android Init Routines.
该论文《DEFInit: An Analysis of Exposed Android Init Routines》针对 Android 系统启动过程中的 init 例程（init routines）进行了系统性安全分析。Android 的
Once is Never Enough: Foundations for Sound Statistical Inference in Tor Network Experimentation.
这篇论文针对 Tor 匿名网络性能研究的实验方法论提出批判与改进。以往研究在评估 Tor 性能改进方案时，通常只对标准 Tor 和每个研究变体各运行一次模拟，然后直接根据单次模拟的观测结果下结论。然而，由于模拟是在抽样生成的 Tor 网络中
VulHawk: Cross-architecture Vulnerability Detection with Entropy-based Binary Code Search.
本文提出了一种名为 VulHawk 的跨架构二进制代码搜索方法，用于检测固件中因代码复用而引入的漏洞。随着物联网设备的普及，不同架构、编译器和优化级别生成的固件镜像使得传统二进制比对方法难以适用。VulHawk 首先将二进制代码提升为一种与
Towards Automatic and Precise Heap Layout Manipulation for General-Purpose Programs.
该论文研究自动堆利用生成中的一个核心挑战：如何判断并构建可利用的堆布局状态。在通用程序中，堆内存的布局通常由程序的堆操作（如分配、释放、修改）动态决定，而攻击者或自动化工具需要精心编排这些操作，使得堆对象重新排列，从而为后续的漏洞利用创造条
Double and Nothing: Understanding and Detecting Cryptocurrency Giveaway Scams.
随着加密货币的普及，用户自行管理资产，攻击者不再仅仅将加密货币用作支付手段，而是开始直接窃取用户的加密资产。本文首次对加密货币赠品诈骗进行了大规模分析。赠品诈骗是一种简单但具有欺骗性的骗局，攻击者搭建网页宣传虚假活动，承诺将用户发送到特定钱
Typing High-Speed Cryptography against Spectre v1.
该论文针对密码学软件中的瞬态执行攻击（尤其是Spectre v1）提出了一种基于类型系统的方法，以确保推测性常数时间（Speculative Constant-Time），从而在保持高性能的同时为密码实现提供形式化保证。当前密码库的黄金标准
Public Verification for Private Hash Matching.
本文聚焦端到端加密（E2EE）环境下内容审核与隐私保护之间的根本矛盾。E2EE 阻止在线服务访问用户内容，这虽然保障了隐私，却使得传统的服务端明文图像感知哈希匹配（用于检测儿童性虐待材料 CSAM）无法实施。为此，密码学界提出了私有哈希匹配
S-BDT: Distributed Differentially Private Boosted Decision Trees.
本文提出 S-BDT，一种新颖的 (ε, δ)-差分隐私分布式梯度提升决策树（GBDT）学习器。研究核心问题是在分布式机器学习环境中，如何在不牺牲模型效用（如准确率或回归误差）的前提下，增强对单个训练数据点的隐私保护。传统差分隐私方法通常通
Efficient Secret Sharing for Large-Scale Applications.
本文研究大规模应用中的高效秘密共享方案。秘密共享是一种基础密码学原语，允许将消息分配给 n 个参与方，使得任意少于 t 个参与方的子集无法获知消息，而任意至少 t 个参与方的子集可以恢复消息。尽管该原语应用广泛，但现有方案在隐私阈值 t 较
Towards Formal Verification of State Continuity for Enclave Programs.
本文面向可信执行环境（TEE）中飞地程序的安全性问题，特别是状态连续性（State Continuity）的验证，提出了一种形式化验证方法。状态连续性指飞地程序在执行过程中，即使遭遇异常中断、迁移或恶意系统软件干扰，其内部状态仍能保持一致和
无人机开源飞控 PX4-Autopilot堆栈溢出漏洞 CVE-2025-15150
CVE-2025-15150
无人机开源飞控 PX4-Autopilot堆栈溢出漏洞 CVE-2025-15150
MongoDB内存泄漏 CVE-2025-14847(MongoBleed)
CVE-2025-14847
MongoDB内存泄漏 CVE-2025-14847(MongoBleed)
1Panel 代理证书验证绕过导致任意命令执行漏洞(CVE-2025-54424)
CVE-2025-54424
1Panel 代理证书验证绕过导致任意命令执行漏洞(CVE-2025-54424)
ModelContext Inspector 未授权访问漏洞(CVE-2025-49596)
CVE-2025-49596
ModelContext Inspector 未授权访问漏洞(CVE-2025-49596)
llamaindex SQL 注入漏洞(CVE-2025-1750)
CVE-2025-1750
llamaindex SQL 注入漏洞(CVE-2025-1750)
Screen 本地权限提升漏洞(CVE-2025-23395)
CVE-2025-23395
Screen 本地权限提升漏洞(CVE-2025-23395)
Zabbix认证后SQL注入漏洞(CVE-2024-42327)
CVE-2024-42327
Zabbix认证后SQL注入漏洞(CVE-2024-42327)
ProjectSend认证绕过漏洞(CVE-2024-11680)
CVE-2024-11680
ProjectSend认证绕过漏洞(CVE-2024-11680)
PyTorch库RPC框架反序列化RCE漏洞(CVE-2024-48063)
CVE-2024-48063
PyTorch库RPC框架反序列化RCE漏洞(CVE-2024-48063)