B. R. Silva, F. M. Q. Pereira, and D. F. Aranha. Uma Técnica de Análise Estática para Detecção de Canais Laterais Baseados em Tempo. XV Simpósio Brasileiro de Segurança da Informação e Sistemas Computacionais (SBSeg 2015), pages 16-29, 2015.