A. Damasceno, T. Rocha, and E. Souto.
"TaintJSec: Um Método de Análise Estática de Marcação em Código JavaScript para Detecção de Vazamento de Dados Sensíveis", in <em>Anais do XVIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais</em>, Natal, 2018, pp. 196 - 209.