SoK: Taxonomizing the Low-Level Attack Surface of Modern Web Browsers
本文是一篇关于现代Web浏览器底层攻击面的系统化知识（SoK）论文。浏览器仍然是终端用户系统上最暴露的远程攻击面之一，内存破坏漏洞在实际浏览器利用中持续扮演核心角色。尽管过去十年中进行了大量的浏览器测试和漏洞披露工作，但社区仍然缺乏一个明确
2026-06-17 归档
今日共收录 1195 条安全情报，包含 310 个 CVE，456 篇安全通告，以及 103 篇研究论文。
← 返回归档列表The Ghosts of Polymarket: When Off-Chain Matches Meet On-Chain Reverts
Polymarket 作为领先的预测市场平台及 DeFi 中增长最快的应用之一，为实现低延迟交易采用了混合架构：订单在链下匹配，但在链上最终结算。这种设计产生了一个一致性问题，即“幽灵成交”（Ghost Fills）：一个在链下成功匹配的订
Anywhere, Any-Stymie: Remote Activation of Trojan Malware on LiDAR with Modulated Signals
该论文由杜克大学的研究人员提出，揭示了自动驾驶系统中激光雷达（LiDAR）传感器的一个新攻击面：攻击者可以在传感器固件中植入休眠恶意软件，该恶意软件在正常操作期间保持不活跃，但在部署后可以通过外部调制的光信号远程触发激活，无需在攻击时接触传
SNAS: A Multi-Layer Defense-in-Depth Architecture for Secure Egress in Sandboxed Workloads
本文提出并实现了 SNAS（Secure Network Access in Snowpark），一种用于沙箱工作负载安全出口的多层纵深防御架构。Snowpark 是 Snowflake 中用于数据工程和 AI/ML 工作负载的执行环境，允
Learning Red Agent Policy from Observations for Neurosymbolic Autonomous Cyber Agents
本文针对自主网络防御系统中的部分可观测性问题，提出了一种基于模仿学习的策略学习方法，用于从观测数据中学习红队（攻击者）的策略。现代网络面临日益复杂的网络攻击，需要基于强化学习的智能自主防御代理。这类代理通常采用神经符号方法（如行为树与学习组
Gatling: Rapid-Fire Consensus from Parallel Composition
该论文提出了一种名为 Gatling 的新型原子广播协议，旨在通过并行组合多个黑盒原子广播协议实例来降低共识协议的提案间隔时间。传统共识协议在无故障情况下，交易最终确认的延迟受限于提案间隔和确认延迟。现有工作已接近确认延迟的理论下限，但提案
Verifiable computations for dynamic encrypted control
本文针对动态加密控制系统中的计算完整性验证问题展开研究。加密控制技术通过在云端服务器进行密文计算，保护了控制系统的数据和参数隐私。然而，云服务器可能因恶意行为或故障返回错误的计算结果，因此需要有效的验证机制。现有方法要么依赖计算昂贵的密码协
Children Are Not the Enemy: Child-Fit Security as an Alternative to Bans and Surveillance
本文旨在反思当前儿童在线安全的主流方法，并提出了“Child-fit security”（适配儿童的安全）这一设计范式。作者指出，现有的保护手段——如禁令、年龄验证、家长控制、监控和屏幕时间限制——通常将儿童视为系统的“入侵者”或“需修补的
Beyond Native Success: Auditing Deployment-Interface Exposure of CLIP Backdoors
本研究针对广泛复用CLIP模型的部署接口（特征提取、检索、重排序、选择等）存在的后门安全隐患，提出DIFE（部署接口足迹评估）框架。现有CLIP后门攻击通常仅在单一原生任务上验证，忽略了同一中毒检查点在不同复用接口下暴露程度可能变化或失效的
Di5Guise: 5G Privacy with vSIM
该论文针对5G网络中用户隐私泄露问题展开研究。在现有蜂窝网络架构中，SIM卡（包括eSIM）作为用户认证和安全的核心组件，其设备配置文件（包括密钥、证书和唯一标识符）会永久绑定到每个签约用户配置文件上。这种绑定使得攻击者（例如拥有网络运营商
Cross-Silo De-Anonymization Under Local Differential Privacy: Threat Model, Phase Transition, and Coordination Necessity
本文研究了在本地差分隐私（LDP）保护下，当同一个人的记录分散在多个独立数据孤岛时，攻击者通过组合各孤岛输出来识别该用户（去匿名化）的能力。标准差分隐私的组合性质仅给出最坏情况下的隐私损失上界（k次组合后保证(k*epsilon, k*de
Robust and Automated Reconfiguration of Byzantine Wide-Area Replication
该论文针对拜占庭容错状态机复制（BFT-SMR）系统中的配置优化问题展开研究。在区块链等分布式系统中，BFT-SMR通过冗余机制处理拜占庭节点，但会带来显著的性能开销。现有研究主要通过设计新型共识算法来提升性能，而近期工作表明通过优化配置（
From Third-Party to First-Party: Measuring and Protecting Against Modern Web Tracking Mechanisms
本文针对现代网络追踪机制从第三方追踪到第一方追踪（FPT）和服务器端追踪（SST）的转变进行了大规模测量研究。研究背景是隐私用户与追踪者之间的博弈促使追踪逻辑从传统的第三方Cookie转向浏览器第一方上下文或网站后端，从而隐蔽数据流并使传统
TrustErase: Auditable Instant Machine Unlearning with Passport-Embedded Representations
该论文提出了TrustErase，一个可验证、无数据的机器遗忘框架，旨在解决现有方法（如重训练或蒸馏）不可验证且计算成本高的问题。TrustErase利用护照嵌入表示，通过参数高效适配层将护照视为加密密钥，实现即时、模块化、可审计的遗忘。具
Graph neural networks at war: integrating cybersecurity and drone intelligence in the Israeli-Iranian conflict
该论文研究了如何将图神经网络（GNN）应用于网络安全与无人机（UAV）管理的集成场景，以应对物理网络系统面临的新威胁与挑战。研究提出了一个统一框架，使入侵检测系统能够利用GNN学习底层网络拓扑结构，从而更准确地识别恶意活动，并自动触发无人机
A data-driven security quantification framework for IoT-based systems
本文针对物联网（IoT）安全定量评估面临的挑战——异构系统架构、不断演变的威胁态势以及缺乏可靠的概率利用数据——提出了一种数据驱动的概率安全框架。该框架融合了基于模型的系统工程（MBSE）、攻击树分析（ATA）和实证漏洞数据。具体地，使用S
Quantifying quantum risk: a measure of crypto agility
该论文探讨了量子计算机对当前广泛使用的密码算法的威胁，并提出了“旋转时间”（rotation time）作为衡量密码系统敏捷性的度量标准。量子计算机预计在未来十年内可能实现实用化，但攻击者可能采取“先收集、后解密”的策略，因此需要立即采取缓
A Formal Resilience Framework for Cyber-Physical Embodied Systems under Device-Level Cyberattacks
本文针对信息物理系统（CPS）中设备级网络攻击带来的弹性挑战，提出了一种形式化的弹性框架。传统容错方法主要基于传感器/执行器输出分析来检测渐进漂移或突发故障，并启动相应容错机制。然而，这些方法难以捕捉网络攻击可能采用的微妙策略，尤其是在具身
MPX: A Unified Systolic Array for Matrix and Polynomial Multiplication
该论文提出了一种名为MPX的双模式脉动阵列架构，能够在同一硬件中同时支持矩阵乘法和多项式乘法。多项式乘法是完全同态加密（FHE）和后量子密码（PQC）中的核心计算，通常通过数论变换（NTT）加速。现有工作试图将NTT映射到已有的矩阵脉动阵列
FEnc$^2$: Unifying Data Packing for Efficient Private Inference via Convolution and Architecture-Aware Fragment Encoding
全同态加密（FHE）使得隐私保护的机器学习推理成为可能，但其计算和内存开销巨大。这些开销不仅来自昂贵的底层原语（如数论变换NTT、旋转、密钥切换），还来自应用层低效的密文打包策略。现有的打包方法通常只保留相邻数据元素或特征分组之一，导致密文