Martimiano, T., 		Martina, J., & 		Olembo, M.
2014 Nov  3.  Análise de cerimônias no sistema de votação Helios. Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg). [Online] :