B. Silva. "Detecção Estática e Consistente de Potenciais Estouros de Arranjos", in Anais do XIV Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, Belo Horizonte, 2014, pp. 314-317, doi: https://doi.org/10.5753/sbseg.2014.20142.