[논문 리뷰] SafeSpec: Banishing the Spectre of a Meltdown with Leakage-Free Speculation

Khaled N. Khasawneh, Esmaeil Mohammadian Koruyeh외 4명|arXiv (Cornell University)|2018. 06. 13.

Security and Verification in Computing인용 수 41

한 줄 요약

SafeSpec은 그림자 구조에 추측 상태를 보관하고 커밋 시에만 커밋 상태로 옮김으로써 leakage-free speculative execution을 구현하여 Spectre/Meltdown 누출을 방지하면서 성능을 유지합니다. 두 가지 커밋 변형(WFC와 WFB)을 분석하고, 일시적 추측 공격을 식별하며, 성능 영향이 미미한 하드웨어 프로토타입을 시연합니다.

ABSTRACT

Speculative execution which is used pervasively in modern CPUs can leave side effects in the processor caches and other structures even when the speculated instructions do not commit and their direct effect is not visible. The recent Meltdown and Spectre attacks have shown that this behavior can be exploited to expose privileged information to an unprivileged attacker. In particular, the attack forces the speculative execution of a code gadget that will carry out the illegal read, which eventually gets squashed, but which leaves a side-channel trail that can be used by the attacker to infer the value. Several attack variations are possible, allowing arbitrary exposure of the full kernel memory to an unprivileged attacker. In this paper, we introduce a new model (SafeSpec) for supporting speculation in a way that is immune to side-channel leakage necessary for attacks such as Meltdown and Spectre. In particular, SafeSpec stores side effects of speculation in a way that is not visible to the attacker while the instructions are speculative. The speculative state is then either committed to the main CPU structures if the branch commits, or squashed if it does not, making all direct side effects of speculative code invisible. The solution must also address the possibility of a covert channel from speculative instructions to committed instructions before these instructions are committed. We show that SafeSpec prevents all three variants of Spectre and Meltdown, as well as new variants that we introduce. We also develop a cycle accurate model of modified design of an x86-64 processor and show that the performance impact is negligible. We build prototypes of the hardware support in a hardware description language to show that the additional overhead is small. We believe that SafeSpec completely closes this class of attacks, and that it is practical to implement.

연구 동기 및 목표

• 현대 CPU 전반에 걸친 추측 실행(Spectre/Meltdown)으로 인한 보안 취약점을 동기부여하고 해결책을 제시한다.
• 일시적 구조에 추측을 격리하여 추측 상태의 누출이 없도록 만드는 원칙적 설계(SafeSpec)를 제안한다.
• 알려진 및 새로운 추측 변형에 대한 SafeSpec의 보안을 평가하고 성능/복잡성의 트레이드오프를 평가한다.
• 캐시와 TLB에 대한 구체적인 SafeSpec 구현을 시연하고 하드웨어 자원 및 잠재적 은닉 채널에 대한 영향을 분석한다.

제안 방법

• 추측 효과를 커밋 상태와 분리하여 보유하는 그림자(임시) 상태의 SafeSpec 원칙을 도입한다.
• 대기-커밋(WFC)와 대기-브랜치(WFB)의 두 커밋 모델을 설명하고 이들의 보안 함의(Meltdown 및 Spectre)와 트레이드오프를 분석한다.
• 메모리 계층(데이터 캐시, I-캐시, TLB)에 그림자 구조를 추가하여 추측 데이터를 보관하고 커밋 상태로의 이동 또는 제거(squashing) 정책을 정의한다.
• 일시적 추측 공격(TSA)을 그림자 상태의 크기 조정 및 분할로 다루어 추측 창 동안 은닉 채널을 방지한다.
• 캐시와 TLB에 대한 그림자 캐시, 그림자 iTLB/dTLB, ROB 및 로드/스토어 큐와의 통합을 포함한 SafeSpec 설계를 프로토타이핑한다.
• 성능과 복잡성을 평가하기 위한 사이클 정확한 모델을 제공하고 실제 하드웨어 오버헤드를 논의한다.

실험 결과

연구 질문

• RQ1 추측 실행을 성능을 희생하지 않고도 누출 없이 만들 수 있는가?
• RQ2 추측 상태를 어떻게 조직하고 Meltdown/Spectre 및 TSA를 방지하기 위해 언제 커밋 상태로 이동해야 하는가?
• RQ3 SafeSpec가 캐시, TLB 및 I-캐시 누출, 성능 및 하드웨어 오버헤드에 미치는 영향은 무엇인가?
• RQ4 WFC와 WFB 변형이 알려진 및 새로 도입된 추측 공격을 효과적으로 막는가?
• RQ5 SafeSpec를 광범위하게 적용하기 위한 실용적 한계와 앞으로 필요한 연구 과제(다중 코어, 프리패처, 일관성 포함)는 무엇인가?

주요 결과

• SafeSpec는 그림자 상태를 사용하여 추측 데이터를 보관하고 커밋 시점에만 커밋 상태로 옮김으로써 알려진 Meltdown 및 Spectre 변형을 방지합니다(커밋 시점에서만 이동하는 WFC 또는 브랜치가 커밋된 후 이동하는 WFB).
• 그림자 구조의 크기 지정을 캐시와 TLB에 대해 가능하게 하며 성능 영향은 미미하고 때로는 유효 캐시 크기 증가로 인해 경미한 향상을 가져올 수 있습니다.
• TSAs(Transient Speculation Attacks)는 추측 창과 그림자 상태 설계를 경계하여 은닉 채널 간의 연결을 차단함으로써 식별 및 완화됩니다.
• SafeSpec를 적용한 메모리 계층 확장은 면적 및 전력 오버헤드를 합리적으로 유지하면서 추측의 이점을 유지하고 캐시 오염을 줄입니다.
• 사이클 정확한 모델과 하드웨어 프로토타입은 이 방법이 실용적이며 과도한 성능 페널티를 초래하지 않는다는 것을 시연합니다.