'Não há evidênciabetsson pokerfraude': Diego Aranha, professor defensor do voto impresso, rebate discurso bolsonarista:betsson poker

Depois, uma amostra estatisticamente relevante poderia ser conferida com o resultado eletrônico para auditar a votação.

Ele ressalta, porém, que esse procedimento melhoraria a auditagem da etapabetsson pokervotação na urna. A fasebetsson pokercontabilizaçãobetsson pokervotos, diz, já é perfeitamente auditável, o que desmonta, segundo ele, os argumentosbetsson pokerBolsonaro sobre suposta fraude na contabilização dos votos na eleição presidencialbetsson poker2014, quando Dilma Rousseff (PT) derrotou Aécio Neves (PSDB).

"Não faz sentido, primeiro, sugerir um mecanismo (de voto impresso) com discursobetsson pokerfraude, porque isso contamina a origem do debate. E,betsson pokersegundo lugar, sugerir o voto impresso como maneirabetsson pokercoibir fraudes na transmissão e na totalização, onde já existe um procedimentobetsson pokerauditoria que funciona. Então esses dois pontos comprometem o debate como ele vem sendo discutido hoje", critica.

Para o professor, a adoção do voto impresso é positiva como ferramenta para neutralizar rapidamente discursosbetsson poker"alegações vaziasbetsson pokerfraude" como obetsson pokerBolsonaro ou o adotado pelo ex-presidente americano Donald Trump, após perder a eleição para Joe Biden no ano passado.

Ele ressalta, porém, que jamais defendeu que todos os registros sejam contados um a um pelo Brasil, como propõem os bolsonaristas. Além disso, Aranha reforça que a implementação do voto impresso teria que ser gradual, começando com testesbetsson pokerpoucas urnas, sendo impossívelbetsson pokeradoção segura para a eleição presidencialbetsson poker2022.

Quando era professor da Universidadebetsson pokerBrasília (UnB) e da Universidade Estadualbetsson pokerCampinas (Unicamp), Aranha participoubetsson pokertestesbetsson pokersegurança das urnas eletrônicas promovidos pelo Tribunal Superior Eleitoral (TSE)betsson poker2012 e 2017. Na ocasião, equipes coordenadas por ele identificaram vulnerabilidades no sistema, posteriormente corrigidas pela Corte.

Foi essa experiência que o tornou defensor do voto impresso, recurso que é usadobetsson pokeroutros países com sistema eletrônico, como Índia e parte dos Estados Unidos. Já o TSE afirma que o sistema brasileiro tem inúmeras etapasbetsson pokersegurança e auditagem, que asseguram a integridade das eleições.

Alémbetsson pokercriticar os bolsonaristas, Aranha também faz ressalvas à atuação da Corte Eleitoral, como a posturabetsson pokernegar as evidências técnicasbetsson pokervulnerabilidade produzidas nos testes.

A proposta do voto impresso se tornou nas últimas semanas o epicentrobetsson pokeruma crise institucional, com Bolsonaro atacando ministros do TSE e do Supremo Tribunal Federal. Em reação, as duas Cortes abriram investigações contra ele, uma delas com potencialbetsson pokerbarrar o presidente da eleiçãobetsson poker2022.

Nesta terça-feira (10/08), uma propostabetsson pokeremenda à Constituição (PEC) deve ser votada na Câmara dos Deputados para tentar implementar o voto impresso no próximo pleito, mas a expectativa é que será rejeitada.

Confira a seguir os principais trechos da entrevista com Aranha.

betsson poker BBC News Brasil - betsson poker O senhor betsson poker é um antigo defensor do voto impresso, mas tem criticado a forma como a pauta é defendida por Bolsonaro e seus apoiadores. Gostaria que explicasse o que é o voto impresso que defende e por que considera que essa mudança seria positiva.

betsson poker Diego Aranha - Essa é uma questão que foi discutida por um bom tempo na comunidade técnico-científica, e aí eu incluo tanto a prática internacional do voto eletrônico, mas também pesquisadoresbetsson pokeroutros países que trabalham no tema, e nós adotamos uma definição chamada princípiobetsson pokerindependência do software.

Então, o sistemabetsson pokervotação é considerado transparente e seguro se os resultados produzidos por aquele sistema podem ser verificadosbetsson pokermaneira independente do software. A justificativa para se fazer isso é que se você utiliza registros eletrônicos que são produzidos por um software,betsson pokerrepente se esse software foi adulterado pra se comportarbetsson pokermaneira maliciosa, pode ser que os registros produzidos por ele não sejam mais íntegros. Então, não faria sentido utilizar esses registros para auditá-los.

Essa noção determina a práticabetsson pokervoto eletrônicobetsson pokertodos os países do mundo que utilizam máquinasbetsson pokervotar,betsson pokerparticular para eleições nacionais, e é o que tem sido proposto desde os anos 1990 para adoção no caso brasileiro. E o debate foi evoluindo na medidabetsson pokerque houve tentativas (preliminaresbetsson poker2002)betsson pokerimplementação desse registro pelo próprio TSE. Houve a aprovaçãobetsson pokerleis que determinavam a implantação desse registro ao longo do tempobetsson pokermúltiplas ocasiões (não foi adotado porque o STF declarou essas leis inconstitucionais), e ultimamente esse debate ganhou contornos,betsson pokercerta forma, político-partidários, que distorceram a versão original do debate.

Então, a versão que pesquisadores defendem é que sistemasbetsson pokervotação devem ter um registro físico para que uma vulnerabilidade não detectada na tecnologia que dá suporte a esse sistemabetsson pokervotação não possa produzir erros ou falhas indetectáveis nos resultados.

Na maioria dos países que também utilizem voto eletrônico e têm uma população grande e alguns desafios como o caso brasileiro, essa implantação também demorou muito tempo. Você observa o caso da Índia e o caso dos Estados Unidos, há processos da ordembetsson pokeruma década para se migrarbetsson pokersistemasbetsson pokervotação eletrônicos que não tinham registro físico do voto para sistemas com algum tipobetsson pokerregistro físico do voto.

E, nesse processo, evidentemente, (teve que) resolver questõesbetsson pokerusabilidade, determinar quais são os protocolosbetsson pokerauditoria para se utilizar essa evidência física para se confirmar resultados eletrônicosbetsson pokereleição e assim por diante. Isso é algo muito importante e não faz sentido se considerar uma experiênciabetsson pokeruma eleição para outra, (que) num período muito curto essa alteração fosse realizada.

A ideia é o eleitor, ao votar, poder observar a produçãobetsson pokerum registro físico com as suas escolhas que seja verificávelbetsson pokermaneira independente e que permaneça na seção eleitoral. Obviamente, o eleitor não leva esse registro físico consigo porque isso violaria o sigilo do voto. Esse registro permanece na seção eleitoral para uma eventual auditoria, uma conferência com o registro eletrônico, muitas vezes por amostragem, para que esse procedimentobetsson pokerauditoria seja eficiente.

betsson poker BBC News Brasil - Qual é abetsson pokerdivergência com o discurso bolsonaristabetsson pokerdefesa do voto impresso hoje?

betsson poker Aranha - O voto impresso, ou qualquer registro físico implementado num sistemabetsson pokervotação, é implementado para transparência, para que seja possível uma auditoria do resultado eletrônicobetsson pokermaneira acessível, por auditores, inclusive sem especialização.

O que é muito complicado nessa última proposta do voto impresso no Brasil é que foi introduzida e vem sendo discutida sob a justificativabetsson pokerque há fraude. E o país acompanhou na última semana (no dia 29betsson pokerjulho) uma apresentação (do presidente Bolsonaro) onde a ideia era apresentar evidênciasbetsson pokerfraude.

Há dois grandes problemas aí (na argumentaçãobetsson pokerBolsonaro): a questãobetsson pokerserem evidênciasbetsson pokerfraude ou não, e serem evidênciasbetsson pokerfraude num ponto do processobetsson pokervotaçãobetsson pokerque o voto impresso faria alguma diferença (como a fasebetsson pokercontabilização dos votos).

Esse procedimento (o voto impresso) faz sentido para auditoria do procedimentobetsson pokercoleta dos votos. A ideia é auditar o comportamento do softwarebetsson pokervotação quando o eleitor deposita seu voto numa máquinabetsson pokervotar, numa urna eletrônica no caso brasileiro. Então, desse pontobetsson pokerdiante, após a máquinabetsson pokervotar produzir um conjuntobetsson pokerresultados parciais para aquela seção eleitoral, que no caso do Brasil é chamado boletimbetsson pokerurna, o voto impresso já não faz mais sentido.

O procedimentobetsson pokertransmissão da versão eletrônica do boletimbetsson pokerurna ebetsson pokertotalização desses boletinsbetsson pokerurna do país inteiro, das parciais do país inteiro para produzir o resultado oficial, esse é um procedimento posterior que já é auditado no Brasil, exatamente usando essa mesma ideia da comparação do boletimbetsson pokerurna físico com o boletimbetsson pokerurna digital, um impresso pela urna no dia da eleição com outro recebido pelo TSE após a eleição.

Essa confrontação é um processobetsson pokerauditoria independente. Se a gente olha para o processo eleitoral, há duas fasesbetsson pokerque os resultados são produzidos: a fasebetsson pokervotação, onde o voto impresso funciona com um mecanismobetsson pokerauditoria, e a fasebetsson pokertransmissão e totalização que é posterior, onde a confrontação do boletimbetsson pokerurna impresso com o boletimbetsson pokerurna digital funciona com um mecanismobetsson pokerauditoria.

Não faz sentido, primeiro, sugerir um mecanismo com discursobetsson pokerfraude, porque isso contamina a origem do debate. E,betsson pokersegundo lugar, sugerir o voto impresso como maneirabetsson pokercoibir fraudes na transmissão e na totalização, onde já existe um procedimentobetsson pokerauditoria que funciona no mesmo princípio.

Então esses dois pontos comprometem o debate como ele vem sendo discutido hoje.

betsson poker BBC News Brasil - Como betsson poker o sr. betsson poker destacou, um dos argumentos do presidente Bolsonaro para defender o voto impresso é dizer que há indíciosbetsson pokerfraudes na contabilização dos votos. Ele cita, por exemplo, uma pretensa análise matemática que indicaria manipulação na contagem dos votos do segundo turnobetsson poker2014,betsson pokerque Dilma Rousseff foi reeleita. Como o boletimbetsson pokerurna já permite fazer uma auditoria da contagem, essa suposta fraude na contabilização que o presidente aponta é um argumento que não se sustenta?

betsson poker Aranha - Não, não há evidência (de fraude na contabilização) e esse procedimento, como eu argumentei, já é auditável e já foi auditado. No último pedidobetsson pokerauditoria, após as eleiçõesbetsson poker2014, o relatório dos auditores naquela ocasião é conclusivo, ele é bem claro nesse ponto do sistema,betsson pokerque a transmissão e a totalização permitem, por amostragem, coletar evidência verificávelbetsson pokerque os resultados foram transmitidos e totalizadosbetsson pokermaneira correta.

A experiênciabetsson pokerauditoria dessa eleição (de 2014, realizada pelo PSDB) encontrou problemas e dificuldades para auditoria do softwarebetsson pokervotação. E naquela ocasião os auditores também recomendaram a implantaçãobetsson pokerregistro físico, novamente seguindo o que é consenso científico atual e prática internacionalbetsson pokervoto eletrônico.

betsson poker BBC News Brasil - Embora parte da comunidade científica defenda o voto impresso para auditoria da partebetsson pokervotação do software, betsson poker o sr. betsson poker concorda que,betsson pokerfato, não há evidênciasbetsson pokerlarga escalabetsson pokerfraudes nas últimas eleições?

betsson poker Aranha - Concordo com essa afirmação. Evidentemente, a comunidade técnica sempre fez reclamações do pontobetsson pokervistabetsson pokertransparência, mas não há um conjuntobetsson pokerevidências, que possa ser analisado, que indique fraudebetsson pokereleições anteriores. E, novamente, o discurso técnico sempre foi na direçãobetsson pokeraumentar a transparência do sistema, para que, exatamente quando esse tipobetsson pokeralegação seja produzida, que seja rápido determinar se ela é verdadeira ou não com basebetsson pokerum conjuntobetsson pokerevidências que seja verificável e acessível até para um auditor sem especialização.

Então, um ponto que vem sendo discutido na comunidade técnica, especialmente após as eleições nos Estados Unidos, onde processo semelhante apareceu, onde candidatos antes da eleição alegaram fraudebetsson pokerresultados anteriores e resultados futuros, é que é importante ter um procedimentobetsson pokerauditoria que rapidamente invalide alegações vaziasbetsson pokerfraude, que não se arraste, não se delongue, porque tudo isso corrói a confiança do eleitorado no processo.

A possibilidadebetsson pokervocê contar uma amostra estatisticamente significativa dos votos, dependendo da vantagem do primeiro candidato para o segundo candidato, e rapidamente esvaziar essas alegações, é algo importante porque evita esse processobetsson pokercorrosãobetsson pokerfato aconteça.

betsson poker BBC News Brasil - Se não há indíciosbetsson pokerfraudes, por que mexer num sistema, digamos, que está ganhando? Os defensores da urna eletrônica dizem que fraudes que existiam no tempo do votobetsson pokercédula ficaram para trás, e o sistema se mostrou exitoso para a democracia, com alternânciabetsson pokerpoder no Brasil nos últimos anos.

betsson poker Aranha - Por uma questãobetsson pokertransparência. Realizar uma auditoria conclusiva no sistema atual brasileiro é um procedimento difícil. Há dificuldades claras. Para dar um exemplo, o softwarebetsson pokervotação que é instalado nas urnas é um componentebetsson pokersoftware bastante complexo. Nos testes públicosbetsson pokersegurança a gente observou que a quantidadebetsson pokercódigo que faz parte desse sistema tem é da ordembetsson pokerdezenasbetsson pokermilhõesbetsson pokerlinhas. É muito difícil para um auditor externo, até pra um auditor interno, da equipebetsson pokerdesenvolvimento, ter completo controle sobre toda essa base a pontobetsson pokervocê conseguir determinar que não há presençabetsson pokernenhum defeito malicioso ou não, proposital ou não, naquele conjuntobetsson pokercódigo-fonte.

Os procedimentosbetsson pokerauditoria oubetsson pokertransparência que existem hoje têm certa cobertura do que a gente chamabetsson pokersuperfíciebetsson pokerataque, das possibilidades que um fraudador teriabetsson pokerprovocar um comportamento malicioso no sistema, mas eles também têm as suas limitações.

Fala-se muito do testebetsson pokerintegridade, que é aquela eleição simulada que o TSE organiza para determinar que o sistema conta os votosbetsson pokermaneira correta. Mas tem algumas premissas embutidas aí: esse procedimento faz uma eleição simulada utilizando equipamento real, selecionadobetsson pokerseções eleitorais na véspera (da votação). Isso faz sentido se, primeiro, o númerobetsson pokerequipamentos analisados é significativo. Tem que ser uma amostra, novamente, que seja estatisticamente significativa, e esse é um número bastante grande para um Estado, por exemplo, como São Paulo, que tem um parquebetsson pokerurnas muito grande. Cobrir essa amostra é desafiador.

E, além disso, se o objetivo desse procedimento é determinar se o software se comportabetsson pokermaneira honesta, não pode haver nenhuma diferença nessa eleição simulada da eleição real, que permitiria a um software adulterado malicioso detectar que ele está funcionando numa eleição simulada.

Mas há várias características dessa eleição simulada que são bastante diferentesbetsson pokeruma eleição real. Um exemplo muito simples é que nessa eleição simulada os eleitores não têm biometria, até porque são auditores que estão simulando esses eleitores. Isso é uma questão hipotética, obviamente não estou argumentando que isso acontece ou vai acontecer, mas é simplesmente uma premissa que está embutida no procedimento, mas é difícilbetsson pokersatisfazer. Se o softwarebetsson pokervotação fosse adulterado para ser malicioso, se ele verifica que os eleitores não têm biometria cadastrada, muito provavelmente (ele identifica que) aquela urna está numa simulação. Fazendo essa distinção, o software poderia se comportarbetsson pokeruma maneira honesta numa eleição simulada, ebetsson pokermaneira desonesta numa eleição real. Então, é uma limitação que o testebetsson pokerintegridade, como ele está concebido, não consegue satisfazer.

Além disso, tem uma simples questãobetsson pokeracessibilidade, como eu argumentei anteriormente. A ideiabetsson pokerter um registro físico permite um auditor que não entendebetsson pokertecnologia,betsson pokerprogramação,betsson pokercomo o softwarebetsson pokervotação é organizado, poder observar com uma evidência tangível que o resultado está correto.

A principal propriedadebetsson pokersegurançabetsson pokerum sistemabetsson pokervotação nem é exatamente entregar o resultado. Mais importante que entregar o resultado correto é convencer o perdedor quebetsson pokerfato ele perdeu, que há um conjuntobetsson pokerevidências que possa ser analisadobetsson pokermaneira independente para que um perdedor simplesmente chegue à conclusãobetsson pokerque a eleição foi honesta, o resultado está correto e ele perdeu. E é isso que geralmente gera confiança no eleitorado.

betsson poker BBC News Brasil - Então, o voto impresso seria uma barreira para discursos como obetsson pokerBolsonaro, para dissuadir pessoas que levantem dúvidas sobre a integridade da eleição?

betsson poker Aranha - Exatamente. E pelo menos esse fenômeno foi observado nos Estados Unidos: alegações similares foram colocadas por lá e, nos Estados que adotavam algum procedimentobetsson pokerverificação do registro físico com registro eletrônico por amostragem, rapidamente terminaram seus procedimentos e confirmaram o resultado.

Aqueles Estados (sem voto impresso) onde se fez perícia na máquina, verificação no software, onde as regrasbetsson pokerauditoria foram mudando ao longo do tempo, com interações entre pedidosbetsson pokerevidências e respostas das autoridades responsáveis por coordenar o processo, aqueles se arrastaram por muito mais tempo. Exatamente porque as condiçõesbetsson pokerauditoria não ficam claras e o procedimento termina sendo contaminado. Então, na experiência americana, ter um procedimentobetsson pokerauditoria por amostragem sobre um registro físico permitiu invalidar essas alegaçõesbetsson pokerfraudebetsson pokermaneira mais rápida.

Uma experiência interessante do pontobetsson pokervistabetsson pokerauditoria também é na Índia, que adota um registro físico nas suas máquinasbetsson pokervotação. A Índia também foi um país pioneirobetsson pokerimplementar voto eletrônico. Após uma análisebetsson pokersegurançabetsson poker2009 encontrar uma sériebetsson pokerproblemas na concepção e na implementação desses equipamentos, uma trilha físicabetsson pokerpapel foi implementada como mecanismobetsson pokertransparência. Num processobetsson pokerdez anos, esse mecanismo atingiu todas as sessões eleitorais, e lá é feito uma verificação por amostragem por precaução.

Então, assim que o resultado é publicado, já se sorteia uma fração de, se não me engano, 1,5% das sessões eleitorais para se confrontar o registro físico e o registro eletrônico, se confirmar o resultado eletrônico e aí já esvaziar qualquer pedido desnecessáriobetsson pokerauditoria por ter um procedimento que, por precaução, invalida alguma alegação que seja feita para fins político-partidários.

betsson poker BBC News Brasil - O sr. aponta que o voto impresso seria mais um mecanismobetsson pokersegurança para termos mais certezabetsson pokerque o software dentro da urna está funcionando adequadamente. Outro acadêmico defensor do voto impresso, o professor Paulo Matias, do Departamentobetsson pokerComputação da Universidade Federalbetsson pokerSão Carlos, reconhece que não seria algo trivial fazer isso: invadir a urna e adulterar o software. O sr. concorda que, dados os mecanismosbetsson pokersegurança que o TSE adota hoje, como criptografia e assinatura digital, é difícil corromper a urna eletrônica e fazer uma fraudebetsson pokerlarga escala que afete os resultados das eleições?

betsson poker Aranha - Eu gostobetsson pokeranalisar a possibilidadebetsson pokerintervenção no sistema sob dois diferentes prismas. Existe o que a gente chamabetsson pokerum atacante externo, alguém que não tem acesso privilegiado e está fora da infraestrutura da Justiça Eleitoral e das próprias eleições. Você pode pensarbetsson pokeralguém alterando ou tentando alterar resultados remotamente ou,betsson pokerrepente, no dia da eleição tentar sabotar a urna eletrônica dabetsson pokerprópria seção eleitoral. Então, a gente observa que o sistema é projetado para resistir (a ataques desse tipo). Nos testesbetsson pokersegurança (que participeibetsson poker2012 e 2017), a gente pôde encontrar problemasbetsson pokersegurança que inicialmente permitiam esse tipobetsson pokerataque e foram sendo corrigidos ou aprimorados ao longo do tempo.

Então, atualmente esse tipobetsson pokerataque, eu diria que é bem difícilbetsson pokerser implementado com sucesso, especialmente sem permitir detecção. Entretanto, do pontobetsson pokervistabetsson pokerum atacante interno, alguém que tem acesso privilegiado ao sistema, ao softwarebetsson pokervotação, eu entendo que ainda há lacunasbetsson pokersegurança na concepção e implementação do sistema que poderiam fragilizar o processo.

E é importantebetsson pokereleições considerar esses dois atacantes porque a gente também observa quebetsson pokeroutros tiposbetsson pokersistemas,betsson pokersistemas bancários,betsson pokersistemasbetsson pokerórgãosbetsson pokerinteligênciabetsson pokeroutros países, os ataques com maior sucesso e que provocaram maior estrago tinham a colaboração e a participaçãobetsson pokerum atacante interno. Evidentemente, eu não estou alegando que funcionários da Justiça Eleitoral sejam mal-intencionados ou tenham esse objetivo. Eu estou pensando friamente do pontobetsson pokervistabetsson pokeranálisebetsson pokerrisco, que é a tarefa que a gente faz como pesquisador na áreabetsson pokersegurança.

E no casobetsson pokereleições, o risco,betsson pokercerta forma, é amplificado, porque acontecembetsson pokerum dia e precisam produzir o resultado correto dentro daquela janelabetsson pokertempo. Qualquer desvio — seja acidental, seja causado por uma tentativabetsson pokerfraude — do esperado para o processo eleitoral, isso gera desconfiança e termina minando aí talvez o principal recursobetsson pokerum sistemabetsson pokervotação que tenha sucesso. A gente observou esse fenômeno, por exemplo, acontecendo com simples atrasos na totalizaçãobetsson pokereleições anteriores, que geram teoriabetsson pokerconspiração, geram desinformação e geram, novamente, alegações vaziasbetsson pokerfraude.

Nesse ponto, eleições são muito mais críticas do que sistemas bancários ou até órgãosbetsson pokerinteligência, porque um banco pode terbetsson pokersegurança comprometida, mas no dia seguinte ele pode restaurar seus sistemas e voltar a operar. Então, ele pode perder clientes, talvez, ele possa até ir a falência, mas não há um dano social, ao tecido social, que seja talvez até permanente e permita inspirações pouco democráticas por quem concorre nas eleições.

betsson poker BBC News Brasil - Segundo o TSE, o que evita ataques internos é que apenas uma equipe pequena tem acesso ao sistema da urna eletrônica e tudo que elas fazem fica registrado no sistema. Isso não seria suficiente para afastar esses riscos?

betsson poker Aranha - Eu diria que não, observando também eventosbetsson pokeroutros tiposbetsson pokersistemabetsson pokeroutros contextos. A gente tem relatosbetsson pokerprecedentesbetsson pokeroutras organizações que também adotavam sistemabetsson pokercontrole e versão, processosbetsson pokerdesenvolvimento rigorosos e que também conseguiram ser atacados com sucesso. Há exemplos documentados.

Um procedimento, por exemplo, que é extremamente crítico e que poderia, se atacado, causar um estrago ou um impacto importante, é o procedimentobetsson pokercompilação (do software). Então, existe um procedimento na geração do softwarebetsson pokervotação onde todo código escrito pelos programadores do TSE é extraído para uma máquina e lá ele é transformado nos (códigos) binários que vão ser instalados na urna.

Esse procedimento ocorre após o desenvolvimento e ele não gera rastros que ficam visíveis no sistemabetsson pokercontrole e versão do software, por exemplo. Então, uma intervenção neste pontobetsson pokerparticular poderia,betsson pokertese, novamente estou fazendo análisebetsson pokerrisco e não alegando que isso aconteça, tenha acontecido ou vá acontecer, mas uma intervenção naquele ponto poderia contaminar o softwarebetsson pokervotação que sai do TSE na origem com algum tipobetsson pokerde código malicioso que permitiria violar sigilo ou a integridadebetsson pokerresultados.

Uma outra possibilidade também é um simples erro acidental ou proposital que venha da equipebetsson pokerdesenvolvimento. Escrever código seguro é difícil, é uma áreabetsson pokerpesquisa bem estabelecida, mas que ainda tem muito a evoluir. Nenhum software é 100% seguro, 100% perfeito. Então, uma intervenção maliciosa ou um errobetsson pokerprogramação acidental no sistema, no softwarebetsson pokervotação no TSE, poderiabetsson pokerrepente introduzir uma vulnerabilidade que é explorada pelo técnico que está na outra ponta, às vezes ébetsson pokeruma empresa contratada para receber o software que o TSE emite para os TREs (tribunais regionais eleitorais) e gravar esse softwarebetsson pokercartõesbetsson pokermemória que vão instalar o software nas urnas.

Nos testes públicosbetsson pokersegurançabetsson poker2017, a gente observou uma lacuna na verificaçãobetsson pokerintegridade do softwarebetsson pokervotação, naquele procedimentobetsson pokerque a urna verifica se os programas lá instalados estão íntegros, que permitiria a alguém que está gerando os cartõesbetsson pokermemória que instalam software na urna injetar código intruso nesses cartões antes do software ser instalado. E como esses cartões instalavam 50 urnas cada, existia um fatorbetsson pokerescala que funciona a favor do fraudador. Se ele consegue a possibilidadebetsson pokeradulterar o software armazenadobetsson pokerum destes cartões, esse cartão contaminaria 50 urnas posteriormente com software (malicioso).

A gente, nos testes, mostrou algumas formasbetsson pokerintroduzir comportamento malicioso, como alterar mensagens na tela pra deixar claro que o software não mais seguiriabetsson pokerprogramação original. A gente tinha código intruso, mas, que do pontobetsson pokervista do operador do sistema, o sistema se comportoubetsson pokermaneira indistinguível ao sistema real. Conseguimos instalar o software, executar as rotinasbetsson pokerautoteste, começar uma eleição, simular uma eleição, e o sistema funcionou como esperado do pontobetsson pokervista do operador. Então, por mais que esses problemas tenham sido corrigidos ou mitigados após os testes públicosbetsson pokersegurança, eu não consigo ignorar o risco dissobetsson pokerrepente acontecer.

Mas a minha justificativa principal para implantação do registro físico do voto é, novamente, para um mecanismobetsson pokertransparência, para que haja uma maneira acessível e eficientebetsson pokerse confirmar que os resultados da eleição estão corretos sem necessitarbetsson pokerespecialização técnica, que sejam auditores com treinamento na tecnologia eleitoral oubetsson pokersegurança da informação, que permitam rapidamente esvaziar alegaçõesbetsson pokerfraude.

betsson poker BBC News Brasil - Um dos principais argumentos contra o voto impresso que o presidente do TSE, Luiz Roberto Barroso, adota é o risco ao sigilo do voto. Ele já disse, por exemplo, que num país onde há áreas dominadas por milícias, pelo tráficobetsson pokerdrogas, isso seria perigoso. Por que, nabetsson pokervisão, isso não é uma vulnerabilidade?

betsson poker Aranha - A implantaçãobetsson pokerum registro físico eventualmente seria feita,betsson pokerprimeiro lugar, gradualmente. A implementação gradual permitiria iniciar essa implementação por regiões menos sensíveis, onde a população não é vulnerável e há democracia plena no sentidobetsson pokernão haver intervençãobetsson pokerum poder local paralelo, alheio às instituições democráticas.

Você pode começar o processo por seções eleitorais onde a população não é tão vulnerável, observar como a população interage com aquele mecanismo novo. Até porque a população teria que ser instruída a verificar o registro físico que é apresentado durante a eleição, os protocolos para se comparar esse registro físico com o resultado eletrônico precisariam ser aprimorados também. Eles não iriam funcionar 100% da primeira vez. É importante lembrar que a própria implantação da urna eletrônica do Brasil não foi uma etapa única. Foi divididabetsson pokertrês eleições consecutivas,betsson poker1996 ao ano 2000, exatamente porque é preciso haver uma salvaguarda caso alguma parte do sistema não funcione como esperado.

A implantação gradual permitiria,betsson pokerprimeiro lugar, projetar e validar um mecanismo quebetsson pokerrepente pudesse ser mais confiável e funcionar melhor,betsson pokermaneira mais robusta no dia da eleição. Essa é uma etapa importante do processo.

Além disso, é possível implementar um registro físico do voto que preserve o anonimato e o sigilo do voto como um requisito constitucional. Então, no que se propõe para ser implementado no Brasil, esse exame do registro físico do voto acontece dentro da cabine indevassávelbetsson pokervotação e seria apresentado ao lado da tela da urna eletrônica,betsson pokeruma impressora acoplada à urna eletrônica, dentro da cabine.

Eu vejo bastante esse argumento nas redes sociais: "Ah, mas seria possível fotografar, seria possível coletar algum tipobetsson pokerevidência". Mas estes mesmos argumentos se aplicam à tela da urna. Seria possível para um eleitor que foi coagido entrar na sessãobetsson pokervotação e filmarbetsson pokerinteração inteira com o equipamento. Esse comportamento (filmarbetsson pokervotação) é ilegal segundo o Código Eleitoral no Brasil, mas o riscobetsson pokerviolação do sigilo (do voto impresso) é o mesmo que se aplica à tela da urna. Esse é o primeiro ponto.

Com esses registros físicos coletados na sessão eleitoral e armazenados numa urna física convencional, precisa-se projetar um protocolo que preserve a integridade dessa evidência até o ponto da auditoria, e uma forma simples, antiga, para se desvincular a ordem que esses papéis foram impressos da ordembetsson pokervotação é você misturar essa urna física.

Um outro ponto importante na proposta do registro físico é que o TSE construiu um protótipo que satisfaz os requisitos desse mecanismo. Ele foi inclusive publicado num evento nacionalbetsson pokertecnologia eleitoral, um evento científico, foi revisado por pares, é um bom projeto inicial para se tentar um esforço, novamente, com implementação gradual, estudosbetsson pokerusabilidade, num esforçobetsson pokerlonga duração. E nesse protótipo do TSE, há uma característica muito interessante que a urna eletrônica autentica esses registros físicos. Então, ela produz uma assinatura digital provando que aquele registro foi produzido durante a eleição especificamente por aquela urna.

Evidentemente não seria possível uma pessoa imprimir um montebetsson pokervotos a maisbetsson pokercasa e introduzir estes votos a mais nas urnas físicas porque não teriam essa autenticação produzida pela urna eletrônica durante a eleição. Ao mesmo tempo, outros tiposbetsson pokerintervenção nestes registros físicos seriam detectados pela falta ou pela validade deste autenticador que a urna produz. Então, a trilha física aqui seria verificável pelo eleitor, porque é um pedaçobetsson pokerpapel observado dentro da cabine indevassável, mas também autenticado pela urna para que abetsson pokerintegridade possa ser verificada também.

Um último ponto, que também vem sendo discutido, seria a necessidadebetsson pokerse contar todos esses registros físicos do país inteiro. Essa não é a prática internacional e não é também o que se propõe na literatura científica. A ideia sempre é fazer uma auditoria, uma verificação por amostragem, exatamente para que não seja possível, com custo muito baixo (para o fraudador), se invalidar o resultadobetsson pokeruma sessão eleitoral.

Uma preocupação, por exemplo, seria se alguém com acesso a essa trilha física faz desaparecer um dos registros físicos para poder alegar que houve fraude. Se a contagem é por amostragem, a quantidadebetsson pokerregistros físicos que teriam que desaparecer ou terbetsson pokerintegridade comprometida para poder se anular o resultado da eleição seria muito grande o que tornaria inviável um esforço dessa magnitude para um fraudador até bem equipado.

betsson poker BBC News Brasil - A propostabetsson pokervoto impressobetsson pokerdiscussão na Câmara estábetsson pokeracordo com o que o sr. defende?

betsson poker Aranha - Eu sei que há várias versões (da propostabetsson pokervoto impresso sendo discutidas na Câmara). Eu observei a versão original da proposta (da deputada Bia Kicis) e havia questõesbetsson pokerredação. Por exemplo, ela falavabetsson pokercédulas físicas. Eu acho isso complicado porque já há uma confusão enorme sobre o que é voto impresso. Não é nem difícil encontrar, por exemplo, referências ao termo voto impressobetsson pokerveículosbetsson pokerimprensa que sãobetsson pokerqualidade no país utilizando como sinônimobetsson pokervotobetsson pokercédulas, quando são coisas diferentes.

Eu tenho inclusive utilizado o registro físico para tentar tornar mais específico o que se propõe. Utilizar a redaçãobetsson pokercédulas físicas eu acho que cria confusão e cria facilmente argumentos contra, porque as pessoas iam associar às antigas eleições baseadasbetsson pokercédulas.

Eu não sou um jurista, mas do pontobetsson pokervista técnico, o que faz sentido é fixar um conjuntobetsson pokerrequisitos, porque especificarbetsson pokermaneira demasiada este mecanismobetsson pokeruma emenda constitucional engessa a forma como ele pode ser evoluído ao longo do tempo. O que eu entendo que poderia ser proposto é uma cristalizaçãobetsson pokerrequisitosbetsson pokersegurança e transparência que devem ser satisfeitos pelo sistemabetsson pokervotação. O sigilo do voto é um destes requisitos que já existe na Constituição. A gente poderia pensarbetsson pokerum mecanismobetsson pokertransparência, por exemplo, que capturasse essa ideiabetsson pokerindependência do software como requisito, e a partir daí, sabendo quais são os requisitos (previstos na Constituição), trabalhar nesse espaçobetsson pokersoluções possíveis que satisfaçam esses requisitos da maneira mais eficiente possível.

betsson poker BBC News Brasil - Como o sr. já disse, mesmo que o voto impresso venha a ser aprovado agora, não dá pra aplicá-lo para o próximo ano. Seria uma adoção gradual?

betsson poker Aranha - Correto. Uma intenção sincerabetsson pokerse implementar o voto impresso para que ele cumpra o que se espera, que ele se torne um mecanismo transparente que aumenta a confiança da população nos resultados, ao invésbetsson pokersimplesmente um mecanismo que crie mais ruído, é a implementação gradual, cuidadosa com a submissão desse mecanismo novo a testesbetsson pokerusabilidade, a testesbetsson pokersegurança, como já acontece com o sistemabetsson pokervotação, para que ele possabetsson pokermaneira controlada e cuidadosa atingir todas as sessões eleitorais, exatamente como foi a implementação da urna eletrônica nos anos 1990.

Essa é a única forma possívelbetsson pokerse fazer uma mudança dessa natureza no sistemabetsson pokervotação, sem criar riscos maiores do que as vantagens que o mecanismo poderia trazer.

betsson poker BBC News Brasil - O sr. vê problemas no discurso bolsonarista sobre voto impresso, mas também vê problemas historicamente na postura que o TSE adotou nesse tema. Qualbetsson pokercrítica a forma como o tema foi conduzido no TSE?

betsson poker Aranha - Sim. Eu gostariabetsson pokerresponder issobetsson pokernome da comunidade técnica porque essa não é uma reclamação apenas minha. Especialmente entre 2009 e 2014, quando as primeiras edições dos testes aconteceram, havia uma reclamação muito grande com transparência nas posturas do Tribunal Superior Eleitoral.

É importante lembrar: o sistema foi implantado no Brasilbetsson poker1996 e a primeira vezbetsson pokerque ele pôde ser testado com exame do código-fonte do sistema por especialistas independentes foibetsson poker2012. E mesmobetsson poker2012, quando eu coordenei uma equipe que naquela ocasião encontrou uma vulnerabilidade no embaralhamento dos votos que permitiria fragilizar o sigilo do voto utilizando apenas informação pública, mesmo naquela ocasião vários pesquisadores da nossa equipebetsson pokerparticular reclamaram das condiçõesbetsson pokertrabalho dos testes. Você pega um procedimento extremamente adversarial, onde as condições dos pesquisadores nem sempre eram priorizadas, onde havia um controle muito forte da narrativa do que acontecia nos testes pelo próprio tribunal.

Depois dos testes acabarem, por um bom tempo a gente ainda precisoubetsson pokermaneira bem incisiva se manifestar na imprensa, nas oportunidades que apareceram pra isso, simplesmente para confirmar os nossos resultados, porque existe uma postura muito grande do tribunalbetsson pokernegar aqueles resultados técnicos.

Na própria forma como o TSE fala sobre a experiênciabetsson pokervoto eletrônicobetsson pokeroutros países, a gente também observa uma postura que não é exatamente transparente. O TSE sempre se manifesta listando o númerobetsson pokerpaíses que utilizam algum tipobetsson pokerdispositivo eletrônicobetsson pokersuas eleições, mas muitas vezes omite que vários destes países utilizam também o registro físicobetsson pokerconcomitância ao registro eletrônico como mecanismobetsson pokertransparência. Há,betsson pokercerta forma, uma versão do tribunal que é muito difícilbetsson pokerse colocarbetsson pokerdiscussão pela posturabetsson pokerque essa versão é apresentada.

Então, poderia haver aprimoramentos tanto na comunicação do tribunal com a sociedade, que privilegiasse a transparência, o reconhecimento da áreabetsson pokerpesquisa e da prática internacional do voto eletrônico, como também na relação com a comunidade técnica na medidabetsson pokerque esses sistemas são disponibilizados para exame independente.

Um ponto, por exemplo, que está sendo discutido e foi inclusive promessa do tribunalbetsson poker2018 e ainda não satisfeita é a abertura do código-fonte. Eu não consigo entender porque um sistema crítico que é utilizado no país para um dos seus procedimentos mais importantes, um dos alicerces da democracia, que estábetsson pokerprodução há 25 anos e que o tribunal defende como talvez o melhor sistemabetsson pokerapuração eleitoral do mundo, porque ele não pode ser examinadobetsson pokermaneira conveniente fora das dependências do Tribunal Superior Eleitoral por pesquisadores independentes.

Se o sistema tem esse nívelbetsson pokermaturidade que é alegado pelo tribunal e tem essa históriabetsson poker25 anosbetsson pokersucesso como um sistema crítico, ele já deveria estar pronto há muito tempo para o examebetsson pokerpesquisadores externos.

Então, tá aí uma sugestãobetsson pokerum mecanismo simples, que dá tempobetsson pokerser satisfeito até as próximas eleições, e que eu entendo aumentariambetsson pokermaneira substancial a transparência no sistema: a publicação do código-fonte para que ele possa ser examinado por especialistas que não representam partidos ou não participambetsson pokertestes públicosbetsson pokersegurança com a janelabetsson pokeranálise inclusive muito mais longa, com a possibilidadebetsson pokerinteração maior.

betsson poker Já assistiu aos nossos novos vídeos no YouTube betsson poker ? Inscreva-se no nosso canal!