Taciane Martimiano, Jean Martina, and M. Olembo. 2014. 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, novembro 03, 2014, Belo Horizonte, Brasil. SBC, Porto Alegre, Brasil, 293-300. DOI: https://doi.org/10.5753/sbseg.2014.20138.