2 papers
cs.CR2024
FRAMER/Miu: Tagged Pointer-based Capability and Fundamental Cost of Memory Safety & Coherence (Position Paper)
Myoung Jin Nam
Ensuring system correctness, such as memory safety, can eliminate security vulnerabilities that attackers could exploit in the first place. However, high and unpredictable performa…
cs.CR2018
FRAMER: A Software-based Capability Model
Myoung Jin Nam, Periklis Akritidis, David J Greaves
Fine-grained memory protection for C and C++ programs must track individual objects (or pointers), and store bounds information per object (pointer). Its cost is dominated by metad…