T. Martimiano, J. Martina, and M. Olembo.
" Análise de cerimônias no sistema de votação Helios", in Anais do XIV Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, Belo Horizonte, 2014, pp. 293-300, doi: https://doi.org/10.5753/sbseg.2014.20138.