HA2lloc: Hardware-Assisted Secure Allocator
WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking