Runtime Enforcement of Memory Safety for the C Programming Language. - Matthew Stephen Simpson (2011)