[論文レビュー] Memory Tagging: A Memory Efficient Design

Aditi Partap, Dan Boneh|arXiv (Cornell University)|Sep 1, 2022

Security and Verification in Computing被引用数 4

ひとこと要約

本論文は、ARMのメモリタギング拡張（MTE）のメモリ効率を向上させるためのアーキテクチャ的拡張、すなわちメモリタギングを提案する。この手法は、連続するメモリ領域のタグをランレングスエンコーディングで圧縮することで、メモリオーバーヘッドを増大させずに16ビットのタグを可能にする。この技術により、攻撃者がタグを当てる確率を1/16から1/65536に低下させ、効率的な動的タグ管理によりパフォーマンスを維持する。

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のセキュリティと効率を分析・改善すること。
• MTEの現在の4ビットタグによるメモリオーバーヘッドを解消し、攻撃者がタグを当てる確率（1/16）を低減すること。
• 可変サイズのメモリ割り当てをサポートする、効率的なランレングスエンコーディングによるタグストレージを実現する動的データ構造の設計。
• 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分の1に削減でき、64GBのシステムフットプリントはそのままである。
• 新しい設計により16ビットタグが可能になり、タグの正しく当てる確率が1/16から1/65536に低下し、セキュリティが顕著に向上した。
• 動的RLEデータ構造は、タグの検索および更新にO(log n)の時間計算量を達成しており、リアルタイムのメモリ割り当てに実用的である。
• QEMUにおける実装結果から、強化されたMTE設計は低いパフォーマンスオーバーヘッドを維持しており、malloc/freeのパフォーマンスに顕著な劣化は認められなかった。
• Glibc、AndroidのScudo、およびその他のアロケータにおいて、バッファオーバーフローおよび使用後フリー攻撃に対する保護が強化された。
• このアプローチは、既存のソフトウェアスタックと互換性があり、ソースコードの変更なしに段階的に導入可能である。