Architectural Support for a Memory-Safe C Abstract Machine (2015) [pdf] | Heykuki News