"Using Program Transformation to Secure C Programs Against Buffer Overflows."

Christopher Dahn, Spiros Mancoridis (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics