WatchdogLite: Hardware-accelerated compiler-based pointer checking. (2014)

by Santosh Nagarakatte, Milo M K Martin, Steve Zdancewic
Venue:In CGO,