Publication

Reference

@inproceedings{Lopes2017b,
  author = "A. C. Lopes and D. F. Aranha",
  title = "Benchmarking tools for verification of constant-time execution",
  year = 2017,
  booktitle = "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"
}