CETS : Compiler-Enforced Temporal Safety for C Santosh Nagarakatte Jianzhou
Hardbound: architectural support for spatial safety of the C programming language