"MemSafe: Ensuring the Spatial and Temporal Memory Safety of C at Runtime."

Matthew S. Simpson, Rajeev Barua (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics