Martimiano, Taciane, Jean Everson Martina, and M. Maina Olembo.
"Análise de cerimônias no sistema de votação Helios." <em>Anais do XIV Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais,
Belo Horizonte, 2014</em>. SBC, 2014,  
pp.293-300.