[논문 리뷰] MIRAGE: Mitigating Conflict-Based Cache Attacks with a Practical Fully-Associative Design

Gururaj Saileshwar, Moinuddin K. Qureshi|arXiv (Cornell University)|2020. 09. 18.

Security and Verification in Computing인용 수 15

한 줄 요약

MIRAGE는 포인터 기반 간접 참조와 추가로 비유효 태그를 가진 기울어진-연결된 태그 스토어를 사용하여 배치와 교체를 분리함으로써 전역적 인 식별자 기반 교체를 가능하게 하는 실용적인 완전 연결 캐시 설계를 제안한다. 이는 충돌 기반 사이드 채널 공격을 제거한다. 전체 연결성 보안을 달성하면서도 성능 오버헤드는 2%에 불과하고 면적 비용은 17–20% 수준이며, 캐시 세트 충돌은 10^4에서 10^17년 이내에 한 번도 발생하지 않을 정도로 통계적으로 불가능하게 보장한다.

ABSTRACT

Shared processor caches are vulnerable to conflict-based side-channel attacks, where an attacker can monitor access patterns of a victim by evicting victim cache lines using cache-set conflicts. Recent mitigations propose randomized mapping of addresses to cache lines to obfuscate the locations of set-conflicts. However, these are vulnerable to new attacks that discover conflicting sets of addresses despite such mitigations, because these designs select eviction-candidates from a small set of conflicting lines. This paper presents Mirage, a practical design for a fully associative cache, wherein eviction candidates are selected randomly from all lines resident in the cache, to be immune to set-conflicts. A key challenge for enabling such designs in large shared caches (containing tens of thousands of cache lines) is the complexity of cache-lookup, as a naive design can require searching through all the resident lines. Mirage achieves full-associativity while retaining practical set-associative lookups by decoupling placement and replacement, using pointer-based indirection from tag-store to data-store to allow a newly installed address to globally evict the data of any random resident line. To eliminate set-conflicts, Mirage provisions extra invalid tags in a skewed-associative tag-store design where lines can be installed without set-conflict, along with a load-aware skew-selection policy that guarantees the availability of sets with invalid tags. Our analysis shows Mirage provides the global eviction property of a fully-associative cache throughout system lifetime (violations of full-associativity, i.e. set-conflicts, occur less than once in 10^4 to 10^17 years), thus offering a principled defense against any eviction-set discovery and any potential conflict based attacks. Mirage incurs limited slowdown (2%) and 17-20% extra storage compared to a non-secure cache.

연구 동기 및 목표

• 세트-연결된 매핑 방식을 악용하는 충돌 기반 사이드 채널 공격에 취약한 공유 최종 캐시(LLCs)의 취약점을 해결하기 위해.
• 세트 충돌을 완전히 제거하여 고도화된 알고리즘을 사용하더라도 악성 사용자가 교체 세트를 발견할 수 없도록 하기 위해.
• 완전 연결 캐시의 보안 특성(전역적 교체)을 확보하면서도 세트-연결된 검색의 성능을 유지하기 위해.
• 운영체제 개입이나 캐시 분할을 필요로 하지 않는 실용적이고 확장 가능하며 저오버헤드 솔루션을 제공하기 위해.
• 시스템 수명 주기 동안 세트 충돌이 통계적으로 불가능하도록 보장함으로써 장기적 보안을 확보하기 위해.

제안 방법

• 태그 스토어와 데이터 스토어 사이에 포인터 기반 간접 참조를 사용하여 태그 배치와 데이터 교체를 분리함으로써 전역적 피victim 선택을 가능하게 한다.
• 캐시 삽입 중 세트 충돌을 제거하기 위해 추가로 비유효 태그를 가진 기울어진-연결된 태그 스토어를 활용한다.
• 로드 인식 기반의 기울어진 선택 정책을 사용하여 로드를 동적으로 균형 잡고 비유효 태그가 포함된 세트의 가용성을 보장한다.
• 해시 테이블의 체이닝 구조와 같은 변동 시간 지연을 유발하는 구조를 피하기 위해 일정한 히트 지연 시간을 유지한다.
• 로드 밸런싱에서 2의 거듭제곱 선택 기법을 활용하여 모든 캐시 라인에서 충돌 없는 삽입 가능성을 고확률로 보장한다.
• 나이브한 완전 연결 설계와 달리, 캐시 접근당 24–28개의 위치만 접근함으로써 효율적인 검색을 유지한다.

실험 결과

연구 질문

• RQ1 실용적이고 안전한 캐시 설계가 공유 최종 캐시에서 모든 세트 충돌을 제거할 수 있는가?
• RQ2 세트-연결된 설계의 성능을 유지하면서도 완전 연결 캐시의 보안을 달성할 수 있는가?
• RQ3 높은 면적 또는 지연 오버헤드 없이 전역적 교체를 효율적으로 구현할 수 있는가?
• RQ4 제한된 교체 후보 세트를 악용하는 고도화된 교체 세트 탐지 알고리즘에 대해 설계가 여전히 보안을 유지할 수 있는가?
• RQ5 현대 프로세서 수명 주기 동안 충돌 없는 운영을 보장하기 위해 어느 정도의 저장 비용이 필요한가?

주요 결과

• MIRAGE는 세트 충돌을 완전히 제거하였으며, 전체 연결성 위반(즉, 세트 충돌)은 10^4에서 10^17년 이내에 한 번도 발생하지 않는다.
• 비보안 세트-연결 캐시 LLC 대비 성능 저하가 단 2%에 그친다.
• 표준 세트-연결 캐시보다 저장소가 17–20% 더 필요하며, 주로 태그 스토어의 추가 비유효 태그 때문이지만 이는 전체 설계의 핵심 요소이다.
• 각 검색 시 24–28개의 위치만 접근함으로써 일정한 히트 지연 시간을 유지하며, 변동 지연 시간을 유발하는 구조를 피한다.
• 로드 인식 기반의 기울어진 선택 정책은 비유효 태그가 포함된 세트가 항상 가용하도록 보장하여 충돌 없는 삽입을 가능하게 한다.
• MIRAGE는 랜덤 매핑 방식을 악용하는 공격을 포함한 모든 알려진 교체 세트 탐지 공격에 강건하다.