[논문 리뷰] Preventing Your Faults From Telling Your Secrets: Defenses Against Pigeonhole Attacks

Shweta Shinde, Zheng Leong Chua외 2명|arXiv (Cornell University)|2015. 06. 16.

Security and Verification in Computing참고 문헌 43인용 수 12

한 줄 요약

이 논문은 Intel SGX와 같은 임베디드 실행 환경에서 페이지 터널 사이드 채널 공격(구멍 뚜껑 공격)을 방지하기 위한 소프트웨어 전용 방어 기법인 결정론적 멀티플렉싱을 제안한다. 기밀 입력에 관계없이 일관된 페이지 터널 패턴을 보장함으로써 페이지 터널 무관성(page-fault obliviousness)을 달성하며, 컴파일러 최적화를 통해 오버헤드를 4000×에서 29.22%로 줄이고, 경량 하드웨어 지원을 통해 6.77%로 추가로 감소시킨다.

ABSTRACT

New hardware primitives such as Intel SGX secure a user-level process in presence of an untrusted or compromised OS. Such "enclaved execution" systems are vulnerable to several side-channels, one of which is the page fault channel. In this paper, we show that the page fault side-channel has sufficient channel capacity to extract bits of encryption keys from commodity implementations of cryptographic routines in OpenSSL and Libgcrypt --- leaking 27% on average and up to 100% of the secret bits in many case-studies. To mitigate this, we propose a software-only defense that masks page fault patterns by determinising the program's memory access behavior. We show that such a technique can be built into a compiler, and implement it for a subset of C which is sufficient to handle the cryptographic routines we study. This defense when implemented generically can have significant overhead of up to 4000X, but with help of developer-assisted compiler optimizations, the overhead reduces to at most 29.22% in our case studies. Finally, we discuss scope for hardware-assisted defenses, and show one solution that can reduce overheads to 6.77% with support from hardware changes.

연구 동기 및 목표

• 기타 운영 체제가 관찰한 페이지 터널을 통해 기밀 정보를 유추할 수 있는 임베디드 실행 시스템(예: Intel SGX)에서 페이지 터널 사이드 채널 공격의 위협을 해결한다.
• 기존 암호화 라이브러리(OpenSSL, Libgcrypt)가 페이지 터널 채널을 통해 정보 유출을 입증하며, 일부 사례에서는 최대 100%의 키 복구가 가능하다.
• 기밀 입력에 따라 다른 페이지 터널 패턴이 발생하지 않도록 보장하는 새로운 보안 성질인 페이지 터널 무관성(page-fault obliviousness)을 제안한다.
• 입력에 의존하는 메모리 액세스 패턴을 가림으로써 유출을 방지하기 위한 컴파일러 기반 소프트웨어 방어 기법(결정론적 멀티플렉싱)을 설계하고 구현한다.
• 성능 트레이드오프를 평가하고, 런타임 오버헤드를 크게 줄이면서도 보안을 유지하는 하드웨어 지원 최적화 기법을 제시한다.

제안 방법

• 결정론적 멀티플렉싱 도입: 입력 의존적 데이터 및 코드 페이지를 입력과 무관한 고정된 순서로 사전에 액세스하여 페이지 터널 패턴의 변동성을 제거한다.
• LLVM 컴파일러 확장 기반으로 방어 기법을 구현하며, OpenSSL 및 Libgcrypt의 암호화 루틴에 적합한 C의 부분 집합을 대상으로 한다.
• 정적 분석과 프로그램 구조 인식 기반 최적화를 적용하여 결정론적 멀티플렉싱 오버헤드를 사례 연구에서 4000×에서 29.22%로 감소시킨다.
• 전용 메모리 관리 지원을 활용해 오버헤드를 추가로 감소시키는 하드웨어 지원 버전을 제안하며, 평균적으로 6.77%로 감소시킨다.
• 컴파일러 기반 접근을 통해 기밀 입력에 따라 영향을 받지 않는 장애 행동을 보장하는 메모리 액세스 패턴을 삽입함으로써 PF-무관성(PF-obliviousness)을 달성한다.
• 통제된 페이지 할당 조건 하에서 실제 암호화 원리(예: AES, EdDSA, RSA)를 대상으로 방어 기법을 평가하여 악성 운영 체제의 행동을 시뮬레이션한다.

실험 결과

연구 질문

• RQ1 OpenSSL 및 Libgcrypt의 암호화 루틴에서 페이지 터널 사이드 채널이 얼마나 심각하게 기밀 키를 추출할 수 있는가?
• RQ2 하드웨어 지원이나 신뢰할 수 있는 운영 체제 구성 요소에 의존하지 않고도 순수 소프트웨어 기반 방어가 페이지 터널 무관성을 달성할 수 있는가?
• RQ3 결정론적 멀티플렉싱는 어떤 성능 오버헤드를 유발하며, 컴파일러 최적화를 통해 실용적인 수준으로 낮출 수 있는가?
• RQ4 하드웨어 지원 버전은 보안 보장을 유지하면서도 런타임 오버헤드를 얼마나 효과적으로 줄일 수 있는가?
• RQ5 이 방어 기법은 기능 정합성에 영향을 주거나 새로운 공격 벡터를 유도하지 않고도 암호화 루틴에 일반적으로 적용 가능한가?

주요 결과

• 페이지 터널 사이드 채널는 취약한 암호화 루틴에서 최대 100%의 기밀 키 비트를 추출할 수 있을 정도로 충분한 채널 용량을 지님. 평균 유출 비율은 27%.
• 결정론적 멀티플렉싱의 난이도 높은 구현은 최대 4000×의 성능 오버헤드를 유발하여 실용적 사용에 부적합함.
• 개발자 참여형 컴파일러 최적화를 통해 모든 평가 대상 암호화 사례에서 오버헤드가 최대 29.22%로 감소함.
• 하드웨어 지원 버전은 최악의 경우 오버헤드를 6.77%로 감소시켜 성능이 중요한 응용 분야에 적용 가능하게 함.
• 방어 기법은 운영 체제가 기밀 입력에 따른 실행 패턴을 구분하지 못하도록 하여 페이지 터널 무관성의 목표를 성공적으로 달성함.
• 기존 캐시 및 타이밍 사이드 채널 방어 기법은 구멍 뚜껑 공격에 효과가 없으며, 전용 솔루션의 필요성을 강조함.