T. Martimiano, J. Martina, and M. Olembo.
" 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>, Belo Horizonte, 2014, pp. 293-300, doi: <a href="https://doi.org/10.5753/sbseg.2014.20138">https://doi.org/10.5753/sbseg.2014.20138</a>.