共收录 5 条相关安全情报。
← 返回所有主题该论文展示了一种名为Rain的攻击方法，利用已公布的旧漏洞（L1TF，2018年发现）与推测性越界加载组合，在公共云平台上实现跨虚拟机数据泄露。作者指出，云服务商通常采用孤立补丁方式缓解漏洞，而未消除根本原因，导致组合攻击仍可能奏效。实验在商业云环境中进行，攻击者无需了解主机或客户机的具体信息，在噪声条件下平均15小时即可泄露Nginx服务器的TLS密钥。该研究证实了即使在大型公共云中，基于瞬态执行的攻击仍具有现实可行性。
💡 推荐理由: 该研究打破了'旧漏洞已修复，实际攻击不可行'的假设，提醒安全团队关注组合漏洞风险，并重新评估软件缓解措施的有效性。
🎯 建议动作: 研究跟进
本文提出 Crucible，一个纯软件框架，能够在任意 x86 CPU 上透明地模拟 Meltdown 类型的瞬态执行漏洞。由于易受攻击的旧 CPU 日益稀缺，且物理实验环境难以共享，微架构安全领域的研究与教学面临可重复性危机。Crucible 通过在不同进程中影子指令流，在故障后模拟瞬态执行的核心微架构效应，包括缓存泄漏、瞬态窗口和屏障行为。它能够运行未经修改的公开 PoC 甚至完整的漏洞利用代码，且泄漏模式与真实硬件匹配。作者成功在不受影响的硬件上复现了三个完整的端到端漏洞利用，例如从 VeraCrypt 中提取密钥。Crucible 支持测试仅二进制形式的应用程序，并与先进模糊测试器集成，后者检测模拟漏洞的效果与真实 CPU 相当。此外，还通过两个人工漏洞评估了模糊器行为的泛化能力。该工作为系统化、可重复的 CPU 安全实验提供了平台，可保留遗留漏洞、比较检测方法，并用于教学训练。
💡 推荐理由: 填补了易受攻击 CPU 稀缺性带来的实验空白，为瞬态执行漏洞的持续研究、检测工具评估和安全教学提供了可复现的软件平台。
🎯 建议动作: 研究跟进
本文提出了一种名为“Gates of Time”的新型微架构侧信道攻击方法，通过将瞬态执行（transient execution）与缓存攻击相结合，显著提升了缓存侧信道攻击的精度和隐蔽性。传统缓存攻击（如Prime+Probe、Flush+Reload）依赖于测量从缓存访问到主存访问的时间差异，但由于现代处理器中硬件预取、乱序执行等机制的干扰，时序测量往往充满噪声且精度有限。作者观察到，瞬态执行窗口提供了一种短暂且可控的“观察时机”——在错误预测路径的指令被回滚之前，攻击者可以利用该窗口执行精细的缓存时序测量，从而绕过传统防护。具体地，该方法通过构造一个条件分支，使处理器进入瞬态执行路径，在该路径中执行缓存访问并精确记录时间戳，最后在架构状态恢复前提取测量结果。实验表明，Gates of Time能够以低于传统方法一个数量级的延迟分辨率进行缓存集探测，即使在启用缓存隔离或时序模糊化的系统上也能有效工作。该攻击不依赖特定漏洞（如Spectre或Meltdown），而是利用所有现代处理器普遍具备的推测执行机制。主要贡献包括：揭示瞬态执行在侧信道攻击中的新应用维度；设计并验证了多种优化策略（如微架构时间源选择、噪声消除）；证明该技术可增强现有缓存攻击的效率和成功率。本文适合处理器架构师、云服务提供商以及系统安全研究人员阅读，以理解未来微架构级威胁的演进方向。
💡 推荐理由: 该研究揭示了瞬态执行在增强缓存侧信道攻击中的新角色，可能突破当前软件和硬件防护（如内核页表隔离、缓存分区）的局限，对处理器安全设计和云环境隔离构成潜在威胁。
🎯 建议动作: 研究跟进
本文提出 Janus，一个基于编译器的安全框架，旨在缓解 ARM64 平台上的瞬态执行攻击（如 Spectre）和控制流劫持。Janus 利用 ARM 的硬件原语——指针认证（PA）和分支目标识别（BTI），通过修改指针认证修饰符（PA modifiers）来整合推测执行和/或控制流依赖，从而防止控制流推测攻击。它通过现有的控制流完整性机制同时保护控制流和推测执行。为了优化性能，Janus 采用修饰符融合（modifier fusion）技术合并不同防御层的操作，以及载体重用（carrier reuse）技术重用受保护变量的寄存器，从而降低开销，同时保持强大的安全保证。在 SPEC CPU2017 基准测试上，平均性能开销仅为 3.85%；实际应用（如 nginx、redis）的开销在 2.97% 到 7.80% 之间。Janus 有效提供了推测执行安全性，且性能和代码大小开销较低，是 ARM 系统的稳健解决方案。本文适合编译器开发者、系统安全研究人员以及 ARM 平台的安全架构师阅读。
💡 推荐理由: 瞬态执行攻击（如 Spectre）至今仍是现代处理器的严重威胁。Janus 通过编译器自动利用 ARM 硬件原语，提供了一种低开销、强安全的缓解方案，对 ARM 生态的防御实践具有重要参考价值。
🎯 建议动作: 研究跟进
该论文提出 DOLMA，一种基于“瞬态不可观测性”原则的新型微架构安全方案，旨在彻底消除推测执行侧信道攻击（如 Spectre 与 Meltdown）的根源。作者首先分析了现有防御机制（如 lfence、MD 清空、延迟装载等）的局限——它们要么开销过高，要么覆盖不全。基于对瞬态执行中数据流与微架构状态的深度观察，论文定义了“瞬态不可观测性”标准：任何瞬态指令的执行结果不得被后续架构状态或微架构侧信道所观测，即所有瞬态状态的改变必须在提交前完全不可见。DOLMA 通过引入一种新的执行模式，确保只有架构上最终提交的指令才能影响缓存、TLB、分支预测器等共享资源。具体地，DOLMA 在处理器流水线中插入一个“不可观测区”，该区内所有存储操作的结果被暂时阻塞，而加载操作返回的值被标记为“可能不可信”；同时配合一种新型的“瞬态隔离缓冲区”来临时存放写入，直到指令完成提交。实验基于 gem5 模拟器在 x86-64 架构上实现，运行 SPEC CPU2017 与 PARSEC 基准测试。结果表明，与基线相比，DOLMA 的平均性能开销仅 6.7%，远低于现有软件加固方案（30%–100%），也优于大多数硬件方案。论文还从形式化角度论证了 DOLMA 满足瞬态不可观测性，并证明了其能够防御所有已知瞬态执行变种。主要贡献包括：提出瞬态不可观测性原则、设计 DOLMA 微架构、提供完整的形式化安全证明，以及通过模拟评估展示低开销的实用防御。该工作适用于处理器设计团队与微架构安全研究者，为后 Spectre 时代的硬件安全提供了新思路。
💡 推荐理由: 瞬态执行攻击至今没有轻量级硬件根治方案，DOLMA 提出的原则与框架有望成为下一代处理器设计的基础，显著降低软件补丁开销。
🎯 建议动作: 研究跟进，建议处理器架构团队评估该原则的硬件实现成本与兼容性。