[논문 리뷰] Memory Tagging: A Memory Efficient Design

Aditi Partap, Dan Boneh|arXiv (Cornell University)|2022. 09. 01.

Security and Verification in Computing인용 수 4

한 줄 요약

이 논문은 ARM의 메모리 태깅 확장(MTE)을 보다 메모리 효율적으로 개선하는 메모리 태깅 기법을 제안한다. 이 기법은 연속된 할당을 압축하기 위해 런레인지 인코딩(RLE)을 사용하여 태그 저장소를 압축함으로써, 메모리 오버헤드를 증가시키지 않고도 16비트 태그를 사용할 수 있도록 한다. 이는 태그 추측 가능성 확률을 1/16에서 1/65536으로 낮춰 MTE의 보안성을 향상시키며, 동적 태그 관리 기법을 통해 성능을 유지한다.

ABSTRACT

ARM recently introduced a security feature called Memory Tagging Extension or MTE, which is designed to defend against common memory safety vulnerabilities, such as buffer overflow and use after free. In this paper, we examine three aspects of MTE. First, we survey how modern software systems, such as Glibc, Android, Chrome, Linux, and LLVM, use MTE. We identify some common weaknesses and propose improvements. Second, we develop and experiment with an architectural improvement to MTE that improves its memory efficiency. Our design enables longer memory tags, which improves the accuracy of MTE. Finally, we discuss a number of enhancements to MTE to improve its security against certain memory safety attacks.

연구 동기 및 목표

• Glibc, Android, Chrome, LLVM와 같은 실제 소프트웨어 시스템에서 MTE의 보안성과 효율성을 분석하고 개선한다.
• 현재 4비트 태그를 사용하여 1/16의 태그 추측 가능성이 있는 MTE의 메모리 오버헤드 문제를 해결한다.
• 변동 크기의 할당을 지원하는 런레인지 인코딩된 태그 저장을 위한 효율적인 동적 데이터 구조를 설계한다.
• QEMU 기반의 에뮬레이터에 수정된 MTE를 구현하고 평가하여, 최소한의 자원 비용으로 보다 높은 보안성과 성능을 확보한다.

제안 방법

• 연속된 할당에 대해 시작 주소, 길이, 태그 값만 저장하는 런레인지 인코딩(RLE) 기반 태그 압축 기법을 제안한다.
• malloc 및 free 동작 중에 RLE 압축 태그의 빠른 검색과 업데이트를 지원하는 동적 데이터 구조를 설계한다.
• ARMv8.5 기반의 QEMU 기반 에뮬레이터에 RLE 기반 태그 시스템을 통합하여 성능과 정확성을 평가한다.
• 모든 그레인에 동일한 16비트 태그 공간을 사용하여, 태그 추측 성공 확률을 1/65536으로 낮춰 기존 4비트 태그 대비 보안성을 크게 향상시킨다.
• 기존 할당기(Glibc, Scudo, Slub 등)를 수정하여 새로운 태깅 전략을 도입함으로써 메모리 안전 공격에 대한 내성을 강화한다.
• 기본 MTE 및 HWASan, KASAN과 같은 기존 도구와 비교하여 향상된 MTE 설계의 성능과 메모리 효율성을 평가한다.

실험 결과

연구 질문

• RQ1 기존 소프트웨어 시스템(Glibc, Android, Chrome 등)은 MTE 태깅을 어떻게 구현하고 있으며, 현재 전략에서 보안적 약점은 무엇인가?
• RQ2 보안을 향상시키기 위해 태그 크기를 늘리면서도 MTE의 메모리 오버헤드를 줄일 수 있는가?
• RQ3 동적 메모리 할당 환경에서 성능을 저하시키지 않고 런레인지 인코딩을 사용해 MTE 태그를 압축하는 것이 가능한가?
• RQ4 MTE에서 4비트 태그 대신 16비트 태그를 사용할 경우 성능 및 메모리 효율성 향상은 어느 정도 기대할 수 있는가?
• RQ5 실제 메모리 할당 및 해제 워크로드에서 제안된 RLE 기반 태그 관리 기법은 얼마나 잘 스케일링되는가?

주요 결과

• 제안된 RLE 기반 태그 압축은 개별 16비트 태그를 저장하는 것에 비해 태그 저장에 필요한 메모리를 16배 줄여, 동일한 64GB 시스템 프로파일을 유지한다.
• 새로운 설계는 16비트 태그를 지원하여 태그 추측 성공 확률을 1/16에서 1/65536으로 낮춰 보안성이 크게 향상된다.
• 동적 RLE 데이터 구조는 태그 검색 및 업데이트에 O(log n) 시간 복잡도를 제공하여 실시간 메모리 할당에 실용적이다.
• QEMU에서의 구현 결과, 향상된 MTE 설계는 낮은 성능 오버헤드를 유지하며 malloc/free 성능에 측정 가능한 저하가 없음을 입증했다.
• 개선된 태깅 전략은 Glibc, Android Scudo 등 할당기에서 버퍼 오버플로우 및 유효기간 지난 메모리 접근 공격에 대한 보호력을 강화한다.
• 이 방법은 기존 소프트웨어 스택과 호환되며 소스 코드 수정 없이 점진적으로 도입 가능하다.