[논문 리뷰] ConTExT: Leakage-Free Transient Execution

Michael Schwarz, Robert Schilling외 4명|arXiv (Cornell University)|2019. 05. 22.

Security and Verification in Computing참고 문헌 64인용 수 19

한 줄 요약

ConTExT는 감성 레지스터와 메모리를 비순환성으로 표시하여 순환 실행 중 비밀 데이터 泄露를 방지하는 소프트웨어-하드웨어 공동 설계 기법이다. 이로 인해 마이크로아키텍처적 사이드 챌린널을 통한 비밀 정보 유출이 불가능해지며, 실제 워크로드에서 거의 영향을 주지 않는 성능 오버헤드를 달성하면서 동시에 Spectre 및 마이크로아키텍처적 데이터 샘플링 공격을 완전히 방지한다.

ABSTRACT

Out-of-order execution and speculative execution are among the biggest contributors to performance and efficiency of modern processors. However, they are inconsiderate, leaking secret data during the transient execution of instructions. Many solutions have been proposed against transient execution attacks. However, they do not eliminate the leakage entirely or introduce unacceptable performance penalties. In this paper, we propose ConTExT, a Considerate Transient Execution Technique. The basic idea of ConTExT is that secrets can enter registers, but not transiently leave them. ConTExT transforms Spectre from a problem that cannot be solved purely in software [53], to a problem that is not easy to solve, but solvable in software. For this, ConTExT requires minimal modifications of applications, compilers, operating systems, and the hardware. ConTExT offers full protection for secrets in memory and secrets in registers. We evaluate the security and performance of ConTExT. With its principled approach it inherently mitigates the recently found microarchitectural data sampling attacks on small processor buffers. Even when over-approximating, we observe no performance overhead for unprotected code and data, and an overhead of 71.14% for security-critical applications, which is below the overhead of currently recommended state-of-the-art mitigation strategies. The actual overhead of ConTExT is below 1% for real-world workloads.

연구 동기 및 목표

• 현대의 순서가 어긋난 및 사전 실행 프로세서에서 순환 실행 중 비밀 데이터 유출이라는 근본적인 문제를 해결한다.
• 모든 유출을 방지하지 못하거나 높은 성능 비용을 유발하는 기존 소프트웨어 중심의 완화 기법의 한계를 극복한다.
• 모든 알려진 순환 실행 공격에 대해 안전하고, 실용적인 구현에 충분히 효율적인 솔루션을 제공한다.
• 사전 실행을 중단하지 않고도 안전한 실행을 가능하게 하여, 비민감한 코드 경로의 성능을 유지한다.
• 순환 실행을 아키텍처적 수정을 통해 안전하게 만들 수 있으며, 이 수정이 최소한이면서 기존 시스템과 호환됨을 입증한다.

제안 방법

• 사용되지 않는 페이지 테이블 비트(예: 현재 사용되지 않는 PTE 비트)를 재사용하여 메모리 페이지와 레지스터를 '비순환성'으로 표시함으로써 순환 실행 도메인에서의 사용을 방지한다.
• 응용 프로그램, 컴파일러, 운영 체제를 수정하여 비순환성 플래그가 레지스터 이동 및 메모리 접근을 통해 전파되도록 한다.
• 어떤 비밀 데이터도 레지스터에 로드될 경우 비순환성으로 표시되도록 하여, 사전 실행 중 마이크로아키텍처 채널을 통한 유출가능성을 차단한다.
• 기존의 캐시되지 않는 메모리 의미 체계를 활용하여 제안된 메커니즘의 실현 가능성을 실용적으로 검증한다.
• 프로세서 시뮬레이터 및 일반 소비자용 시스템에서 프로토타입을 구현하여 보안성과 성능을 평가한다.
• 과잉 근사 기법(예: ConTExT-light)을 적용하여 성능 오버헤드의 상한선을 추정하면서도 강력한 보안 보장을 유지한다.

실험 결과

연구 질문

• RQ1 사전 실행을 중단하거나 허용할 수 없는 높은 성능 비용을 초래하지 않고도 순환 실행 공격을 완전히 완화할 수 있는가?
• RQ2 최소한의 하드웨어 및 소프트웨어 변경만으로도 마이크로아키텍처적 사이드 채널을 통한 비밀 데이터 유출을 방지할 수 있는가?
• RQ3 다양한 워크로드에서 ConTExT의 성능 오버헤드는 기존 최첨단 완화 전략과 비교해 어떻게 되는가?
• RQ4 비순환성 마킹 메커니즘이 메모리와 레지스터 전반에 균일하게 적용되어 모든 알려진 은폐 채널을 방지할 수 있는가?
• RQ5 주요 아키텍처 재설계 없이도 ConTExT는 기존 시스템에 얼마나 널리 배포될 수 있는가?

주요 결과

• ConTExT는 감성 데이터가 어떤 마이크로아키텍처적 채널을 통해도 접근하거나 유출될 수 없도록 보장함으로써 순환 실행 중 비밀 데이터 유출을 완전히 제거한다.
• 보호되지 않은 코드와 데이터에 대한 성능 오버헤드는 극히 미미하며, 대부분의 실제 워크로드에서 실제로 1% 이하의 오버헤드를 보인다.
• 과잉 근사 조건에서도 ConTExT-light는 보안 중심 응용 프로그램에 대해 오직 71.14%의 오버헤드만을 유발하며, 이는 현재 최첨단 완화 전략들의 병합된 오버헤드보다 낮다.
• ConTExT는 모든 알려진 Spectre 변종과 최근의 마이크로아키텍처적 데이터 샘플링 공격, 특히 소형 프로세서 버퍼를 대상으로 하는 공격까지도 원천적으로 방어할 수 있다.
• 가상화와 호환되며, EPT를 통해 페이지를 동일하게 비순환성으로 표시할 수 있고, 이 메커니즘은 가상화 계층과 독립적이다.
• 기존의 캐시되지 않는 메모리 의미 체계를 통해 이 접근법의 실현 가능성이 검증되었으며, 이는 현대 프로세서에서 이러한 메커니즘이 실제로 작동 가능하다는 것을 이미 입증하고 있다.