Unicamp, USP e UFPE chancelam a segurança das urnas eletrônicas

Ricardo Dahab, professor do Instituto de Computação e diretor-geral de Tecnologia da Informação e Comunicação da Unicamp: análises concentradas em quatro pontos

Depois de três meses de investigação, especialistas da Unicamp, USP e Universidade Federal de Pernambuco (UFPE) entregaram nesta quinta-feira (24) ao TSE (Tribunal Superior Eleitoral) as conclusões sobre os códigos-fonte do sistema eletrônico de votação e o modelo UE2020 da urna eletrônica, que será usada pela primeira vez nas eleições deste ano. 

As instituições atestaram a segurança e a auditabilidade dos sistemas e dos equipamentos que irão registrar os votos dos brasileiros em outubro.

Os especialistas do Instituto de Computação (IC) da Unicamp trabalharam sobre os códigos-fonte do sistema eletrônico de votação e concentraram as  investigações em quatro pontos: a votação paralela, que é realizada em uma parcela das urnas; o algoritmo empregado para armazenar votos no Registro Digital de Votos; o app Vota, de controle da urna, e se houve o emprego recomendável das rotinas criptográficas.

Esses quatro itens dizem respeito ao processo de votação propriamente dito. "Dentre os tópicos examinados, que consideramos sensíveis, nada foi encontrado que possa colocar em dúvida a integridade e confiabilidade do código-fonte da urna eletrônica brasileira nos aspectos que compõem o objeto do presente trabalho", diz o relatório final da Unicamp, assinado pelo professor Ricardo Dahab, diretor-geral de Tecnologia da Informação e Comunicação da Unicamp.

De acordo com o relatório, no que toca à votação paralela, nenhum trecho de código foi encontrado que pudesse ser usado para detectar um contexto de votação fora do rito oficial. Quanto ao algoritmo para armazenamento de votos no Registro Digital de Votos, concluiu-se "que não há correlação entre a ordem em que eleitores depositam seus votos e a ordem dos votos no RDV".

O documento diz ainda que, "sobre possíveis maus-usos de rotinas criptográficas, nada foi encontrado no código que indicasse o real emprego de forma incorreta ou de métodos criptográficos obsoletos". 

Por fim, afirma que, no app Vota, de controle da urna, nada suspeito ou fora de padrões usuais de codificação foi encontrado.  "Nesses quatro itens, não encontramos nenhuma evidência de código suspeito", afirmou o professor.

Para Dahab, a disposição do TSE em tornar o processo mais transparente também é um fator de confiança. "Examinamos  os trechos de códigos que escolhemos, da forma como quisemos. Isso é mais uma demonstração de que o TSE quer uma eleição transparente e um processo de votação confiável".

Parceria

A UFPE e a Unicamp são parceiras do Tribunal na iniciativa-piloto de disponibilizar os códigos-fonte para serem guardados e inspecionados fora das dependências do TSE. 

Para o chefe da Seção de Voto Informatizado do TSE, Rodrigo Coimbra, a contribuição dos especialistas das instituições parceiras proporciona um ponto de vista externo ao trabalho desenvolvido pelos analistas de Tecnologia da Informação da Corte, além de garantir segurança e transparência ainda maiores ao processo de desenvolvimento dos softwares da urna eletrônica e do sistema eletrônico de votação. 

“Essa parceria permite, em primeiro lugar, que os códigos-fonte sejam armazenados em instituições idôneas fora do TSE, como uma salvaguarda do que será utilizado nas eleições. E também permite que testes e aprimoramentos sejam realizados num período de tempo mais longo”, analisa.