Watchdog: Hardware for safe and secure manual memory management and full memory safety. - Nagarakatte, Santosh; Martin, Milo M. K.; Zdancewic, Steve (2012)