FRAMER/Miu: Tagged Pointer-based Capability and Fundamental Cost of Memory Safety & Coherence (Position Paper)
<|reference_start|>FRAMER/Miu: Tagged Pointer-based Capability and Fundamental Cost of Memory Safety & Coherence (Position Paper): 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.<|reference_end|>
@article{nam2024framer/miu:,
    title={FRAMER/Miu: Tagged Pointer-based Capability and Fundamental Cost of
  Memory Safety & Coherence (Position Paper)},
    author={Myoung Jin Nam},
    journal={arXiv preprint arXiv:2408.15219},
    year={2024},
    archivePrefix={arXiv},
    eprint={2408.15219},
    primaryClass={cs.CR}
}