Silva, Bruno, Fernando M. Q. Pereira, and Leonardo B. Oliveira.
"Uma Representação Intermediária para a Detecção de Vazamentos Implícitos de Informação." <em>Anais do XIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais,
Manaus, 2013</em>. SBC, 2013,  
pp.212-225.