ARAUJO, Roberto; NETO, André; TRAORÉ, Jacques. CIVIS - A Coercion-Resistant Election System. In: SIMPÓSIO BRASILEIRO DE SEGURANÇA DA INFORMAÇÃO E DE SISTEMAS COMPUTACIONAIS (SBSEG), 18. , 2018, Natal. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2018 . p. 29 - 42.