"Security-oriented program transformations to cure integer overflow ..."

Zack Franklin Coker (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics