R. Araujo, A. Neto, and J. Traoré. " CIVIS - A Coercion-Resistant Election System", in Anais do XVIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, Natal, 2018, pp. 29-42, doi: https://doi.org/10.5753/sbseg.2018.4241.