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." Proceedings of the 15th Brazilian Symposium on Information and Computational Systems Security, Florianópolis, 2015. SBC, 2015, pp.16-29.