Joe Devietti Colin Blundell Milo M. K. Martin Steve Zdancewic Hardbound: architectural support for spatial safety of the C programming language. 103-114 2008 ASPLOS http://doi.acm.org/10.1145/1346281.1346295 conf/asplos/2008 db/conf/asplos/asplos2008.html#DeviettiBMZ08