Martimiano, T., 		Martina, J., & 		Olembo, M.
(2014).
 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>, (pp. 293-300). Porto Alegre: SBC.
doi:10.5753/sbseg.2014.20138