SCHERI: Provably Secure Speculation Under the Constant-Time Policy for CHERI (Extended Version)
基于能力（capability）的架构如 CHERI 为软件组件的架构级隔离提供了强支持：能力指针同时携带边界与权限，使硬件能够阻止越权访问。然而攻击者还可利用微架构侧信道窃取机密，因此敏感代码通常需以常量时间（constant-time）
#speculative-execution
共收录 12 条相关情报。
← 返回所有主题iLeakage: Browser-based Timerless Speculative Execution Attacks on Apple Devices.
该论文关注高性能 CPU 市场从 x86 向 Arm 架构转型的背景，特别是 Apple M 系列芯片在苹果生态系统中完全取代 Intel CPU 的趋势。作者指出，尽管 x86 CPU 已被安全社区广泛分析，但苹果生态系统的安全性仍然缺乏
Spectre Declassified: Reading from the Right Place at the Wrong Time.
该论文研究推测执行（speculative execution）与信息流语言中“去分类”（declassify）机制之间的相互作用。在实用的信息流编程语言中，程序员可通过 declassify 构造声明有意泄露的数据，例如从私钥计算出的签名
High-Assurance Cryptography in the Spectre Era.
本文针对高保证密码学（High-Assurance Cryptography）在现代处理器投机执行（Speculative Execution）时代下的安全保证问题展开研究。传统上，高保证密码学通过程序验证与密码工程方法，为密码软件提供内存
Automatic Detection of Speculative Execution Combinations.
该论文针对现代处理器中推测执行机制的安全分析问题展开研究。现代处理器为提升性能，采用了多种推测执行机制，例如分支预测、内存依赖推测、数据值推测等，这些机制会推测性地执行不同类型的指令。攻击者可能同时利用多种推测机制，在单个瞬态执行窗口内触发
Declassiflow: A Static Analysis for Modeling Non-Speculative Knowledge to Relax Speculative Execution Security Measures.
该论文研究推测执行攻击对常数时间编程（constant-time programming）安全性的破坏。常数时间编程是密码学等安全敏感软件中防止微架构侧信道攻击的标准技术，但推测执行攻击（如 Spectre）会使其失效。因此，常数时间代码还
dfence: Fine-Grained Speculation Barriers for Efficient and Effective Hardware-Software Protection in the Spectre Era (Extended Version)
本文提出了一种名为 dfence 的新型 CPU 指令，旨在以硬件-软件协同的方式高效缓解推测执行攻击（如 Spectre-PHT 和 Spectre-STL）。现有的软件缓解方案（如 Speculative Load Hardening,
SysBumps: Exploiting Speculative Execution in System Calls for Breaking KASLR in macOS for Apple Silicon.
本文研究了苹果自研 ARM 架构处理器（Apple Silicon）上 macOS 系统的内核地址空间布局随机化（KASLR）安全性。KASLR 是一种基于随机化的内核加固技术，但历史上容易受到微架构侧信道攻击。现代 macOS 系统通过内
DOLMA: Securing Speculation with the Principle of Transient Non-Observability.
该论文提出 DOLMA，一种基于“瞬态不可观测性”原则的新型微架构安全方案，旨在彻底消除推测执行侧信道攻击（如 Spectre 与 Meltdown）的根源。作者首先分析了现有防御机制（如 lfence、MD 清空、延迟装载等）的局限——它
Tiktag: Breaking ARM's Memory Tagging Extension with Speculative Execution.
本论文提出了一种名为Tiktag的新型攻击方法，旨在通过推测执行绕过ARM架构中的内存标记扩展（MTE）安全机制。MTE是ARM v8.5引入的硬件安全特性，通过为每个内存分配随机标签并检查访问时的标签匹配来防御缓冲区溢出、释放后使用等内存
GadgetMeter: Quantitatively and Accurately Gauging the Exploitability of Speculative Gadgets.
该论文提出一种名为 GadgetMeter 的框架，用于定量且准确地评估推测执行元素（speculative gadgets）的可利用性。推测执行漏洞（如 Spectre）利用现代处理器中的推测执行机制，通过微架构侧信道泄露敏感信息。现有工
μCFI: Formal Verification of Microarchitectural Control-flow Integrity.
该论文提出了一种名为μCFI（微架构控制流完整性）的形式化验证方法，旨在解决现有控制流完整性（CFI）机制在微架构层面的安全漏洞。传统的CFI仅在软件或ISA（指令集架构）层面保证控制流安全，但无法抵御利用微架构侧信道或瞬态执行攻击（如Sp