A Unicamp, USP e Universidade Federal de Pernambuco concluíram a investigação sobre os códigos-fonte do novo modelo de urnas eletrônicas que vão ser usadas nas eleições deste ano.

A conclusão é que as urnas eletrônicas do modelo UE2020 são seguras e auditáveis.

Os especialistas do Instituto de Computação 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 de criptografia.

Nada de irregular foi encontrado durante as apurações.

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