[论文解读] Frontal Attack: Leaking Control-Flow in SGX via the CPU Frontend

Ivan Puddu, Moritz Schneider+2 more|arXiv (Cornell University)|May 23, 2020

Security and Verification in Computing参考文献 46被引用 4

一句话总结

该论文提出了一种名为 Frontal 的新型时序侧信道攻击，利用 Intel SGX 支持的处理器中 CPU 前端指令获取与预解码行为，以字节级别泄露控制流信息。通过观察与模 16 指令对齐及虚拟地址相关的时序波动，该攻击绕过了传统防御机制，并在所有测试的第 10 代及更早的 Intel CPU 上以超过 99% 的成功率从加密库中的平衡分支中提取秘密。

ABSTRACT

We introduce a new timing side-channel attack on Intel CPU processors. Our Frontal attack exploits timing differences that arise from how the CPU frontend fetches and processes instructions while being interrupted. In particular, we observe that in modern Intel CPUs, some instructions' execution times will depend on which operations precede and succeed them, and on their virtual addresses. Unlike previous attacks that could only profile branches if they contained different code or had known branch targets, the Frontal attack allows the adversary to distinguish between instruction-wise identical branches. As the attack requires OS capabilities to set the interrupts, we use it to exploit SGX enclaves. Our attack further demonstrates that secret-dependent branches should not be used even alongside defenses to current controlled-channel attacks. We show that the adversary can use the Frontal attack to extract a secret from an SGX enclave if that secret was used as a branching condition for two instruction-wise identical branches. We successfully tested the attack on all the available Intel CPUs with SGX (until 10th gen) and used it to leak information from two commonly used cryptographic libraries.

研究动机与目标

• 识别并利用 Intel CPU 中一种新型时序侧信道，通过 CPU 前端泄露控制流信息。
• 证明即使在指令层面完全相同且经过平衡设计的分支，也可通过此新信道加以区分。
• 表明针对缓存和分支预测单元（BPU）攻击的现有防御措施对本攻击无效。
• 通过从 mbedTLS 和 Intel IPP 等真实世界加密库中提取秘密，验证该攻击的实际可行性。
• 倡导在 SGX 信封中彻底消除依赖秘密的分支，作为根本性防御措施。

提出的方法

• 该攻击通过观察由 CPU 前端获取与预解码逻辑引起的指令执行时间变化，特别关注指令对齐模 16 及虚拟地址的影响。
• 利用操作系统的中断控制机制，精确测量信封执行期间的时序差异，从而实现对控制流的高分辨率分析。
• 该方法针对在指令层面完全相同但因秘密值导致控制流结果不同的分支，利用时序差异推断实际执行路径。
• 通过控制操作系统的调度器和中断处理机制，在 SGX 信封中利用 CPU 前端的时序侧信道实施攻击。
• 结合受控中断与内存写入操作，放大并检测指令处理中细微的时序差异。
• 通过概念验证实现，在所有支持 SGX 的 Intel CPU（至第 10 代）上验证了该攻击。

实验结果

研究问题

• RQ1 能否利用 CPU 前端指令获取与预解码逻辑中的时序差异，在 SGX 信封中泄露控制流信息？
• RQ2 当分支在指令层面完全相同且经过平衡设计时，其依赖秘密的分支在多大程度上可被区分？
• RQ3 针对缓存和基于 BPU 的侧信道攻击的现有防御措施，能否有效防范此新型前端时序信道攻击？
• RQ4 该攻击在 SGX 环境中对真实加密库的实际可行性与成功率如何？
• RQ5 该攻击在不同 Intel CPU 微架构上的有效性有何差异？

主要发现

• Frontal 攻击在 SGX 信封中以超过 99% 的成功率实现了字节级别控制流信息的泄露。
• 该攻击在所有支持 SGX 的 Intel CPU（至第 10 代）上均有效，证实了其广泛存在的漏洞。
• 即使经过精心设计以抵抗时序攻击的完全平衡分支，仍可因模 16 指令对齐导致的 CPU 前端时序波动而被区分。
• 该攻击利用了与虚拟地址及指令预解码相关的时序差异，这一机制此前未在侧信道攻击中被利用。
• 该攻击成功从两种广泛使用的加密库中提取了秘密：mbedTLS 和 Intel IPP 加密库。
• 诸如 BPU 清除或指令随机化等防御措施对 Frontal 攻击无效，因其作用于 CPU 前端层级，与缓存或分支预测机制无关。