B. R. Silva, F. M. Q. Pereira, and D. F. Aranha. Sparse Representation of Implicit Flows with Applications to Side-Channel Detection. 25th International Conference on Compiler Construction (CC 2016), pages 110-120, 2016. 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.