Silva, Bruno. "Detecção Estática e Consistente de Potenciais Estouros de Arranjos." Anais do XIV Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, Belo Horizonte, 2014. SBC, 2014, pp.314-317.