Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine
Hardbound: architectural support for spatial safety of the C programming language