MARTIMIANO, Taciane; MARTINA, Jean Everson; OLEMBO, M. Maina. Análise de cerimônias no sistema de votação Helios. In: SIMPÓSIO BRASILEIRO DE SEGURANÇA DA INFORMAÇÃO E DE SISTEMAS COMPUTACIONAIS (SBSEG), 14. , 2014, Belo Horizonte. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2014 . p. 293-300. DOI: https://doi.org/10.5753/sbseg.2014.20138.