Damasceno, Alexandre, Thiago Rocha, and Eduardo 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." Anais do XVIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, Natal, 2018. SBC, 2018, pp.196-209.