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. A. C. Lopes and D. F. Aranha. Platform-agnostic low-intrusion optical data exfiltration. 3rd International Conference on Information Systems Security and Privacy (ICISSP), pages 474-480, 2017.