Martimiano, Taciane, 		Martina, Jean, E 		Olembo, M..
" Análise de cerimônias no sistema de votação Helios" <em>Anais do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg)</em> [Online], (3 novembro 2014)