Raphael Ernani Rodrigues

Full papers - Conferences

	Year	Conference	Title	Download Link
	2013	CGO	A fast and low-overhead technique to secure programs against integer overflows	Download
	2013	SBLP	Prevenção de Ataques de Nao-Terminação baseados em Estouros de Precisão	Download
	2012	SBLP	Speed and Precision in Range Analysis	Download

Short papers - Conferences

	Year	Conference	Title	Download Link
	2013	WTDSoft	Non-Termination Attacks Based on Integer Overflows	Download