Martimiano, Taciane, 		Martina, Jean, AND 		Olembo, M..
" Análise de cerimônias no sistema de votação Helios" <em>Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg)</em> [Online], (3 November 2014)