@inproceedings{CGO-2013-RodriguesCP,
	acmid         = "2495937",
	author        = "Raphael Ernani Rodrigues and Victor Hugo Sperle Campos and Fernando Magno Quintão Pereira",
	booktitle     = "{Proceedings of the 11th International Symposium on Code Generation and Optimization}",
	doi           = "10.1109/CGO.2013.6494996",
	isbn          = "978-1-4673-5524-7",
	pages         = "11",
	publisher     = "{IEEE Computer Society}",
	title         = "{A fast and low-overhead technique to secure programs against integer overflows}",
	year          = 2013,
}