FRAMER/Miu: Tagged Pointer-based Capability and Fundamental Cost of Memory Safety & Coherence (Position Paper)

Autor:	Nam, Myoung Jin
Rok vydání:	2024
Předmět:	Computer Science - Cryptography and Security
Druh dokumentu:	Working Paper
Popis:	Ensuring system correctness, such as memory safety, can eliminate security vulnerabilities that attackers could exploit in the first place. However, high and unpredictable performance degradation remains a primary challenge. Recognizing that it is extremely difficult to achieve complete system correctness for production deployment, researchers make trade-offs between performance, detection coverage, interoperability, precision, and detection timing. This research strikes a balance between comprehensive system protection and the costs required to obtain it, identifies the desirable roles of software and hardware, and presents a tagged pointer-based capability system as a stand-alone software solution and a prototype for future hardware design. This paper presents follow-up plans for the FRAMER/Miu generic framework to achieve these goals. Comment: 8 pages, 4 figures
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2408.15219 Zobrazit plný text záznamu View this record from Arxiv