Paper Info
Title
Hardware and software support for fine-grained memory access control and encapsulation in C++
Abstract
Object-oriented programming (OOP) encapsulates object implementations with access specifiers like public and private. Compilers can verify that code adheres to specifiers, but verification can be broken in languages like C++ by unchecked pointers. Thus, C++ programmers are taught that "private is not secure." The lack of isolation between objects frustrates memory protection in OOP code. We propose hardware and software support to confine memory accesses in fine-grained memory regions that isolate within and between objects so that C++ programs can enforce encapsulation and prevent pointer-based exploits. Such support makes private secure. Although we target C++, our approach handles generic techniques like inheritance, polymorphism, dynamic dispatch, dynamic binding, and encapsulation.
Year
DOI
Venue
2013
10.1145/2508075.2508091
SPLASH (Companion Volume)
Keywords
Field
DocType
fine-grained memory region,generic technique,software support,dynamic dispatch,access specifiers,objects frustrates memory protection,object-oriented programming,oop code,memory access,fine-grained memory access control,code adheres,encapsulation
Memory protection,Pointer (computer programming),Programming language,Object-oriented programming,Computer science,Dynamic dispatch,Compiler,Software,Allocator,Computer hardware,Smart pointer,Operating system
Conference
Citations 
PageRank 
References 
0
0.34
2
Authors
3
Name
Order
Citations
PageRank
Eugen Leontie1143.57
Gedare Bloom26813.95
Rahul Simha300.68