B. Silva, D. Aranha, and F. Pereira. "Uma Técnica de Análise Estática para Detecção de Canais Laterais Baseados em Tempo", in Anais do XV Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, Florianópolis, 2015, pp. 16-29, doi: https://doi.org/10.5753/sbseg.2015.20082.