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.