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 Anais do XVIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, Natal, 2018, pp. 196-209, doi: https://doi.org/10.5753/sbseg.2018.4253.