Votação via internet com transparência total e sigilo de voto eterno


Em nossa sociedade democrática atual tomamos muitas decisões através de votações. E com o advento das novas tecnologias, em particular a internet, uma questão natural é: Como conduzir votações pela internet? Não é muito difícil programar uma aplicação que simplesmente conta votos e publica resultados, mas nestas aplicações os votantes não tem nenhuma garantia quanto à correção do resultado final ou ao sigilo do seu voto. Nelas os administradores do sistema são todo-poderosos e podem mudar o resultado da totalização ou violar a privacidade dos eleitores sem que isso seja detectado. Nas últimas décadas foram deenvolvidos sistemas de votação muito mais sofisticados.Neses sistemas, os administradores não são capazes de fraudar uma eleição sem ser detectados. Um exemplo de um sistema com estas propriedades é o Helios, uma aplicação web no qual os votos são publicados na internet de forma cifrada. Esse sistema possibilita ao eleitor companhar uma eleição e verificar o resultado. No entanto, a proposta atual do Helios ainda tem um defeito: ao longo prazo o algoritmo de ciframento será quebrado e assim será possível, retroativamente, violar o sigilo de voto. Em um artigo recente, meus coautores e eu mostramos teoricamente como modificar o protocolo criptográfico subjacente de forma que o sigilo de voto seja eterno. Tendo em base esse artigo, o presente projeto propõem-se  a modificar o código de fonte do Helios para possibilitar o sigilo eterno para o voto. Após essa modificação, o projeto objetiva oferecer o Helios como serviço para UFMG e a comunidade acadêmica brasileira.



Início: 2013
Término: 2014
Coordenador: Jeroen van de Graaf
Agência: PRPQ/UFMG
Programa: Edital PRPq-01/2013
Situação: Encerrado