Martimiano, T., 		Martina, J., & 		Olembo, M.
(2014).
 Análise de cerimônias no sistema de votação Helios.
In <em>Proceedings of the 14th Brazilian Symposium on Information and Computational Systems Security</em>, (pp. 293-300). Porto Alegre: SBC.
doi:10.5753/sbseg.2014.20138