capability hardware enhanced risc instructions : cheri instruction - set architecture ( version 7 ) .
Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine