ARM Memory Tagging: how it improves C/C++ memory safety (2018) [pdf]