Martimiano, Taciane, Jean Everson Martina, and M. Maina Olembo.
" Análise de cerimônias no sistema de votação Helios." <em>Proceedings of the 14th Brazilian Symposium on Information and Computational Systems Security,
Belo Horizonte, 2014</em>. SBC, 2014,  
pp.293-300.