Silva, Bruno, Diego Aranha, and Fernando M. Q. Pereira. "Uma Técnica de Análise Estática para Detecção de Canais Laterais Baseados em Tempo." Anais do XV Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, Florianópolis, 2015. SBC, 2015, pp.16-29.