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