A. C. Lopes and D. F. Aranha. Benchmarking tools for verification of constant-time execution. XI Workshop de Trabalhos de Iniciação Científica e de Graduação (WTICG), 2017, Brasília. XVII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSEG), pages 716-726, 2017.