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.
@article{arxiv.2209.00307,
title = {Memory Tagging: A Memory Efficient Design},
author = {Aditi Partap and Dan Boneh},
journal= {arXiv preprint arXiv:2209.00307},
year = {2022}
}
Comments
16 Pages, 7 Figures. This version of the paper extends a shorter version submitted to IEEE Euro S&P'23