Watchdog: Hardware for safe and secure manual memory management and full memory safety (2012)

by S Nagarakatte, M Martin, S Zdancewic
Venue:In Proceedings of ISCA