A fast and low-overhead technique to secure programs against integer overflows.

Raphael Ernani Rodrigues, Victor Hugo Sperle Campos, Fernando Magno Quinto Pereira

Browse the full CGO paper archive.