Um protocolo de votação com privacidade incondicional

• Autor(a) principal: Gabriel Gomes Gaspar
• Data de Publicação: 2021
• Tipo de documento: Dissertação
• Idioma: por
• Título da fonte: Repositório Institucional da UFMG
• Texto Completo: http://hdl.handle.net/1843/57705
• topic: Criptografia; Sistemas eleitorais eletrônicos; Votação; Computação – Teses; Criptografia – Teses; Votação – Medidas de segurança – Teses; Voto eletrônico – Teses

O desenvolvimento de protocolos eleitorais criptográficos ganhou especial tração nas primeiras décadas do século XXI, impulsionado principalmente pelos diversos avanços tecnológicos e científicos junto às novas demandas democráticas frente o contexto contemporâneo de crescente informatização. Central a tais protocolos encontra-se o conceito de independência de software, o qual especifica que um sistema eleitoral eletrônico deve produzir uma trilha de evidências que seja capaz de atestar a correção dos resultados eleitorais e que possa ser verificada de forma independente de maquinário eletrônico específico, sem contudo violar o sigilo individual dos eleitores. Em tais sistemas criptográficos, no entanto, faz-se necessário um compromisso com a integridade incondicional dos resultados ou o sigilo incondicional do voto dos eleitores, sendo comum nos protocolos mais proeminentes prezar pela incondicionalidade da integridade. Nesse sentido, o presente trabalho descreve uma proposta de protocolo eleitoral que também respeita o princípio da independência de software, mas que, em contraste, preza pela incondicionalidade do sigilo individual dos votos, sob o credo de que este deve apresentar capacidades de manutenção eterna. Ademais, o protocolo proposto viabiliza verificação de ponta-a-ponta (E2E-V) dos votos por meio de um recibo impresso fornecido ao eleitor, além de prover uma metodologia de auditoria universal por meio de uma equação matemática simples que deve ser verificada como verdadeira para toda eleição íntegra, de tal forma permitindo a qualquer observador do processo, ante premissas criptográficas bem estabelecidas, atestar a integridade dos resultados eleitorais produzidos. O trabalho apresenta ainda uma instanciação do protocolo na forma de uma implementação, viabilizando ilustração e análise de alguns de seus aspectos mais centrais.