Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine
Secure virtual architecture: a safe execution environment for commodity operating systems