'Não há evidência7games baixar app android gratisfraude': Diego Aranha, professor defensor do voto impresso, rebate discurso bolsonarista:7games baixar app android gratis

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 etapa7games baixar app android gratisvotação na urna. A fase7games baixar app android gratiscontabilização7games baixar app android gratisvotos, diz, já é perfeitamente auditável, o que desmonta, segundo ele, os argumentos7games baixar app android gratisBolsonaro sobre suposta fraude na contabilização dos votos na eleição presidencial7games baixar app android gratis2014, quando Dilma Rousseff (PT) derrotou Aécio Neves (PSDB).

"Não faz sentido, primeiro, sugerir um mecanismo (de voto impresso) com discurso7games baixar app android gratisfraude, porque isso contamina a origem do debate. E,7games baixar app android gratissegundo lugar, sugerir o voto impresso como maneira7games baixar app android gratiscoibir fraudes na transmissão e na totalização, onde já existe um procedimento7games baixar app android gratisauditoria 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 discursos7games baixar app android gratis"alegações vazias7games baixar app android gratisfraude" como o7games baixar app android gratisBolsonaro 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 testes7games baixar app android gratispoucas urnas, sendo impossível7games baixar app android gratisadoção segura para a eleição presidencial7games baixar app android gratis2022.

Quando era professor da Universidade7games baixar app android gratisBrasília (UnB) e da Universidade Estadual7games baixar app android gratisCampinas (Unicamp), Aranha participou7games baixar app android gratistestes7games baixar app android gratissegurança das urnas eletrônicas promovidos pelo Tribunal Superior Eleitoral (TSE)7games baixar app android gratis2012 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 é usado7games baixar app android gratisoutros países com sistema eletrônico, como Índia e parte dos Estados Unidos. Já o TSE afirma que o sistema brasileiro tem inúmeras etapas7games baixar app android gratissegurança e auditagem, que asseguram a integridade das eleições.

Além7games baixar app android gratiscriticar os bolsonaristas, Aranha também faz ressalvas à atuação da Corte Eleitoral, como a postura7games baixar app android gratisnegar as evidências técnicas7games baixar app android gratisvulnerabilidade produzidas nos testes.

A proposta do voto impresso se tornou nas últimas semanas o epicentro7games baixar app android gratisuma 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 potencial7games baixar app android gratisbarrar o presidente da eleição7games baixar app android gratis2022.

Nesta terça-feira (10/08), uma proposta7games baixar app android gratisemenda à 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.

7games baixar app android gratis BBC News Brasil - 7games baixar app android gratis O senhor 7games baixar app android gratis é 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.

7games baixar app android gratis 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 pesquisadores7games baixar app android gratisoutros países que trabalham no tema, e nós adotamos uma definição chamada princípio7games baixar app android gratisindependência do software.

Então, o sistema7games baixar app android gratisvotação é considerado transparente e seguro se os resultados produzidos por aquele sistema podem ser verificados7games baixar app android gratismaneira independente do software. A justificativa para se fazer isso é que se você utiliza registros eletrônicos que são produzidos por um software,7games baixar app android gratisrepente se esse software foi adulterado pra se comportar7games baixar app android gratismaneira 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ática7games baixar app android gratisvoto eletrônico7games baixar app android gratistodos os países do mundo que utilizam máquinas7games baixar app android gratisvotar,7games baixar app android gratisparticular 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 medida7games baixar app android gratisque houve tentativas (preliminares7games baixar app android gratis2002)7games baixar app android gratisimplementação desse registro pelo próprio TSE. Houve a aprovação7games baixar app android gratisleis que determinavam a implantação desse registro ao longo do tempo7games baixar app android gratismúltiplas ocasiões (não foi adotado porque o STF declarou essas leis inconstitucionais), e ultimamente esse debate ganhou contornos,7games baixar app android gratiscerta forma, político-partidários, que distorceram a versão original do debate.

Então, a versão que pesquisadores defendem é que sistemas7games baixar app android gratisvotação devem ter um registro físico para que uma vulnerabilidade não detectada na tecnologia que dá suporte a esse sistema7games baixar app android gratisvotaçã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 ordem7games baixar app android gratisuma década para se migrar7games baixar app android gratissistemas7games baixar app android gratisvotação eletrônicos que não tinham registro físico do voto para sistemas com algum tipo7games baixar app android gratisregistro físico do voto.

E, nesse processo, evidentemente, (teve que) resolver questões7games baixar app android gratisusabilidade, determinar quais são os protocolos7games baixar app android gratisauditoria para se utilizar essa evidência física para se confirmar resultados eletrônicos7games baixar app android gratiseleição e assim por diante. Isso é algo muito importante e não faz sentido se considerar uma experiência7games baixar app android gratisuma 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ção7games baixar app android gratisum registro físico com as suas escolhas que seja verificável7games baixar app android gratismaneira 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 procedimento7games baixar app android gratisauditoria seja eficiente.

7games baixar app android gratis BBC News Brasil - Qual é a7games baixar app android gratisdivergência com o discurso bolsonarista7games baixar app android gratisdefesa do voto impresso hoje?

7games baixar app android gratis Aranha - O voto impresso, ou qualquer registro físico implementado num sistema7games baixar app android gratisvotação, é implementado para transparência, para que seja possível uma auditoria do resultado eletrônico7games baixar app android gratismaneira 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 justificativa7games baixar app android gratisque há fraude. E o país acompanhou na última semana (no dia 297games baixar app android gratisjulho) uma apresentação (do presidente Bolsonaro) onde a ideia era apresentar evidências7games baixar app android gratisfraude.

Há dois grandes problemas aí (na argumentação7games baixar app android gratisBolsonaro): a questão7games baixar app android gratisserem evidências7games baixar app android gratisfraude ou não, e serem evidências7games baixar app android gratisfraude num ponto do processo7games baixar app android gratisvotação7games baixar app android gratisque o voto impresso faria alguma diferença (como a fase7games baixar app android gratiscontabilização dos votos).

Esse procedimento (o voto impresso) faz sentido para auditoria do procedimento7games baixar app android gratiscoleta dos votos. A ideia é auditar o comportamento do software7games baixar app android gratisvotação quando o eleitor deposita seu voto numa máquina7games baixar app android gratisvotar, numa urna eletrônica no caso brasileiro. Então, desse ponto7games baixar app android gratisdiante, após a máquina7games baixar app android gratisvotar produzir um conjunto7games baixar app android gratisresultados parciais para aquela seção eleitoral, que no caso do Brasil é chamado boletim7games baixar app android gratisurna, o voto impresso já não faz mais sentido.

O procedimento7games baixar app android gratistransmissão da versão eletrônica do boletim7games baixar app android gratisurna e7games baixar app android gratistotalização desses boletins7games baixar app android gratisurna 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 boletim7games baixar app android gratisurna físico com o boletim7games baixar app android gratisurna digital, um impresso pela urna no dia da eleição com outro recebido pelo TSE após a eleição.

Essa confrontação é um processo7games baixar app android gratisauditoria independente. Se a gente olha para o processo eleitoral, há duas fases7games baixar app android gratisque os resultados são produzidos: a fase7games baixar app android gratisvotação, onde o voto impresso funciona com um mecanismo7games baixar app android gratisauditoria, e a fase7games baixar app android gratistransmissão e totalização que é posterior, onde a confrontação do boletim7games baixar app android gratisurna impresso com o boletim7games baixar app android gratisurna digital funciona com um mecanismo7games baixar app android gratisauditoria.

Não faz sentido, primeiro, sugerir um mecanismo com discurso7games baixar app android gratisfraude, porque isso contamina a origem do debate. E,7games baixar app android gratissegundo lugar, sugerir o voto impresso como maneira7games baixar app android gratiscoibir fraudes na transmissão e na totalização, onde já existe um procedimento7games baixar app android gratisauditoria que funciona no mesmo princípio.

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

7games baixar app android gratis BBC News Brasil - Como 7games baixar app android gratis o sr. 7games baixar app android gratis destacou, um dos argumentos do presidente Bolsonaro para defender o voto impresso é dizer que há indícios7games baixar app android gratisfraudes 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 turno7games baixar app android gratis2014,7games baixar app android gratisque Dilma Rousseff foi reeleita. Como o boletim7games baixar app android gratisurna já permite fazer uma auditoria da contagem, essa suposta fraude na contabilização que o presidente aponta é um argumento que não se sustenta?

7games baixar app android gratis 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 pedido7games baixar app android gratisauditoria, após as eleições7games baixar app android gratis2014, o relatório dos auditores naquela ocasião é conclusivo, ele é bem claro nesse ponto do sistema,7games baixar app android gratisque a transmissão e a totalização permitem, por amostragem, coletar evidência verificável7games baixar app android gratisque os resultados foram transmitidos e totalizados7games baixar app android gratismaneira correta.

A experiência7games baixar app android gratisauditoria dessa eleição (de 2014, realizada pelo PSDB) encontrou problemas e dificuldades para auditoria do software7games baixar app android gratisvotação. E naquela ocasião os auditores também recomendaram a implantação7games baixar app android gratisregistro físico, novamente seguindo o que é consenso científico atual e prática internacional7games baixar app android gratisvoto eletrônico.

7games baixar app android gratis BBC News Brasil - Embora parte da comunidade científica defenda o voto impresso para auditoria da parte7games baixar app android gratisvotação do software, 7games baixar app android gratis o sr. 7games baixar app android gratis concorda que,7games baixar app android gratisfato, não há evidências7games baixar app android gratislarga escala7games baixar app android gratisfraudes nas últimas eleições?

7games baixar app android gratis Aranha - Concordo com essa afirmação. Evidentemente, a comunidade técnica sempre fez reclamações do ponto7games baixar app android gratisvista7games baixar app android gratistransparência, mas não há um conjunto7games baixar app android gratisevidências, que possa ser analisado, que indique fraude7games baixar app android gratiseleições anteriores. E, novamente, o discurso técnico sempre foi na direção7games baixar app android gratisaumentar a transparência do sistema, para que, exatamente quando esse tipo7games baixar app android gratisalegação seja produzida, que seja rápido determinar se ela é verdadeira ou não com base7games baixar app android gratisum conjunto7games baixar app android gratisevidê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 fraude7games baixar app android gratisresultados anteriores e resultados futuros, é que é importante ter um procedimento7games baixar app android gratisauditoria que rapidamente invalide alegações vazias7games baixar app android gratisfraude, que não se arraste, não se delongue, porque tudo isso corrói a confiança do eleitorado no processo.

A possibilidade7games baixar app android gratisvocê 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 processo7games baixar app android gratiscorrosão7games baixar app android gratisfato aconteça.

7games baixar app android gratis BBC News Brasil - Se não há indícios7games baixar app android gratisfraudes, por que mexer num sistema, digamos, que está ganhando? Os defensores da urna eletrônica dizem que fraudes que existiam no tempo do voto7games baixar app android gratiscédula ficaram para trás, e o sistema se mostrou exitoso para a democracia, com alternância7games baixar app android gratispoder no Brasil nos últimos anos.

7games baixar app android gratis Aranha - Por uma questão7games baixar app android gratistransparência. Realizar uma auditoria conclusiva no sistema atual brasileiro é um procedimento difícil. Há dificuldades claras. Para dar um exemplo, o software7games baixar app android gratisvotação que é instalado nas urnas é um componente7games baixar app android gratissoftware bastante complexo. Nos testes públicos7games baixar app android gratissegurança a gente observou que a quantidade7games baixar app android gratiscódigo que faz parte desse sistema tem é da ordem7games baixar app android gratisdezenas7games baixar app android gratismilhões7games baixar app android gratislinhas. É muito difícil para um auditor externo, até pra um auditor interno, da equipe7games baixar app android gratisdesenvolvimento, ter completo controle sobre toda essa base a ponto7games baixar app android gratisvocê conseguir determinar que não há presença7games baixar app android gratisnenhum defeito malicioso ou não, proposital ou não, naquele conjunto7games baixar app android gratiscódigo-fonte.

Os procedimentos7games baixar app android gratisauditoria ou7games baixar app android gratistransparência que existem hoje têm certa cobertura do que a gente chama7games baixar app android gratissuperfície7games baixar app android gratisataque, das possibilidades que um fraudador teria7games baixar app android gratisprovocar um comportamento malicioso no sistema, mas eles também têm as suas limitações.

Fala-se muito do teste7games baixar app android gratisintegridade, que é aquela eleição simulada que o TSE organiza para determinar que o sistema conta os votos7games baixar app android gratismaneira correta. Mas tem algumas premissas embutidas aí: esse procedimento faz uma eleição simulada utilizando equipamento real, selecionado7games baixar app android gratisseções eleitorais na véspera (da votação). Isso faz sentido se, primeiro, o número7games baixar app android gratisequipamentos 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 parque7games baixar app android gratisurnas muito grande. Cobrir essa amostra é desafiador.

E, além disso, se o objetivo desse procedimento é determinar se o software se comporta7games baixar app android gratismaneira 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 diferentes7games baixar app android gratisuma 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ícil7games baixar app android gratissatisfazer. Se o software7games baixar app android gratisvotaçã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 comportar7games baixar app android gratisuma maneira honesta numa eleição simulada, e7games baixar app android gratismaneira desonesta numa eleição real. Então, é uma limitação que o teste7games baixar app android gratisintegridade, como ele está concebido, não consegue satisfazer.

Além disso, tem uma simples questão7games baixar app android gratisacessibilidade, como eu argumentei anteriormente. A ideia7games baixar app android gratister um registro físico permite um auditor que não entende7games baixar app android gratistecnologia,7games baixar app android gratisprogramação,7games baixar app android gratiscomo o software7games baixar app android gratisvotação é organizado, poder observar com uma evidência tangível que o resultado está correto.

A principal propriedade7games baixar app android gratissegurança7games baixar app android gratisum sistema7games baixar app android gratisvotação nem é exatamente entregar o resultado. Mais importante que entregar o resultado correto é convencer o perdedor que7games baixar app android gratisfato ele perdeu, que há um conjunto7games baixar app android gratisevidências que possa ser analisado7games baixar app android gratismaneira independente para que um perdedor simplesmente chegue à conclusão7games baixar app android gratisque a eleição foi honesta, o resultado está correto e ele perdeu. E é isso que geralmente gera confiança no eleitorado.

7games baixar app android gratis BBC News Brasil - Então, o voto impresso seria uma barreira para discursos como o7games baixar app android gratisBolsonaro, para dissuadir pessoas que levantem dúvidas sobre a integridade da eleição?

7games baixar app android gratis 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 procedimento7games baixar app android gratisverificaçã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 regras7games baixar app android gratisauditoria foram mudando ao longo do tempo, com interações entre pedidos7games baixar app android gratisevidências e respostas das autoridades responsáveis por coordenar o processo, aqueles se arrastaram por muito mais tempo. Exatamente porque as condições7games baixar app android gratisauditoria não ficam claras e o procedimento termina sendo contaminado. Então, na experiência americana, ter um procedimento7games baixar app android gratisauditoria por amostragem sobre um registro físico permitiu invalidar essas alegações7games baixar app android gratisfraude7games baixar app android gratismaneira mais rápida.

Uma experiência interessante do ponto7games baixar app android gratisvista7games baixar app android gratisauditoria também é na Índia, que adota um registro físico nas suas máquinas7games baixar app android gratisvotação. A Índia também foi um país pioneiro7games baixar app android gratisimplementar voto eletrônico. Após uma análise7games baixar app android gratissegurança7games baixar app android gratis2009 encontrar uma série7games baixar app android gratisproblemas na concepção e na implementação desses equipamentos, uma trilha física7games baixar app android gratispapel foi implementada como mecanismo7games baixar app android gratistransparência. Num processo7games baixar app android gratisdez 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ário7games baixar app android gratisauditoria por ter um procedimento que, por precaução, invalida alguma alegação que seja feita para fins político-partidários.

7games baixar app android gratis BBC News Brasil - O sr. aponta que o voto impresso seria mais um mecanismo7games baixar app android gratissegurança para termos mais certeza7games baixar app android gratisque o software dentro da urna está funcionando adequadamente. Outro acadêmico defensor do voto impresso, o professor Paulo Matias, do Departamento7games baixar app android gratisComputação da Universidade Federal7games baixar app android gratisSão Carlos, reconhece que não seria algo trivial fazer isso: invadir a urna e adulterar o software. O sr. concorda que, dados os mecanismos7games baixar app android gratissegurança que o TSE adota hoje, como criptografia e assinatura digital, é difícil corromper a urna eletrônica e fazer uma fraude7games baixar app android gratislarga escala que afete os resultados das eleições?

7games baixar app android gratis Aranha - Eu gosto7games baixar app android gratisanalisar a possibilidade7games baixar app android gratisintervenção no sistema sob dois diferentes prismas. Existe o que a gente chama7games baixar app android gratisum 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 pensar7games baixar app android gratisalguém alterando ou tentando alterar resultados remotamente ou,7games baixar app android gratisrepente, no dia da eleição tentar sabotar a urna eletrônica da7games baixar app android gratisprópria seção eleitoral. Então, a gente observa que o sistema é projetado para resistir (a ataques desse tipo). Nos testes7games baixar app android gratissegurança (que participei7games baixar app android gratis2012 e 2017), a gente pôde encontrar problemas7games baixar app android gratissegurança que inicialmente permitiam esse tipo7games baixar app android gratisataque e foram sendo corrigidos ou aprimorados ao longo do tempo.

Então, atualmente esse tipo7games baixar app android gratisataque, eu diria que é bem difícil7games baixar app android gratisser implementado com sucesso, especialmente sem permitir detecção. Entretanto, do ponto7games baixar app android gratisvista7games baixar app android gratisum atacante interno, alguém que tem acesso privilegiado ao sistema, ao software7games baixar app android gratisvotação, eu entendo que ainda há lacunas7games baixar app android gratissegurança na concepção e implementação do sistema que poderiam fragilizar o processo.

E é importante7games baixar app android gratiseleições considerar esses dois atacantes porque a gente também observa que7games baixar app android gratisoutros tipos7games baixar app android gratissistemas,7games baixar app android gratissistemas bancários,7games baixar app android gratissistemas7games baixar app android gratisórgãos7games baixar app android gratisinteligência7games baixar app android gratisoutros países, os ataques com maior sucesso e que provocaram maior estrago tinham a colaboração e a participação7games baixar app android gratisum 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 ponto7games baixar app android gratisvista7games baixar app android gratisanálise7games baixar app android gratisrisco, que é a tarefa que a gente faz como pesquisador na área7games baixar app android gratissegurança.

E no caso7games baixar app android gratiseleições, o risco,7games baixar app android gratiscerta forma, é amplificado, porque acontecem7games baixar app android gratisum dia e precisam produzir o resultado correto dentro daquela janela7games baixar app android gratistempo. Qualquer desvio — seja acidental, seja causado por uma tentativa7games baixar app android gratisfraude — do esperado para o processo eleitoral, isso gera desconfiança e termina minando aí talvez o principal recurso7games baixar app android gratisum sistema7games baixar app android gratisvotação que tenha sucesso. A gente observou esse fenômeno, por exemplo, acontecendo com simples atrasos na totalização7games baixar app android gratiseleições anteriores, que geram teoria7games baixar app android gratisconspiração, geram desinformação e geram, novamente, alegações vazias7games baixar app android gratisfraude.

Nesse ponto, eleições são muito mais críticas do que sistemas bancários ou até órgãos7games baixar app android gratisinteligência, porque um banco pode ter7games baixar app android gratisseguranç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.

7games baixar app android gratis 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?

7games baixar app android gratis Aranha - Eu diria que não, observando também eventos7games baixar app android gratisoutros tipos7games baixar app android gratissistema7games baixar app android gratisoutros contextos. A gente tem relatos7games baixar app android gratisprecedentes7games baixar app android gratisoutras organizações que também adotavam sistema7games baixar app android gratiscontrole e versão, processos7games baixar app android gratisdesenvolvimento 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 procedimento7games baixar app android gratiscompilação (do software). Então, existe um procedimento na geração do software7games baixar app android gratisvotaçã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 sistema7games baixar app android gratiscontrole e versão do software, por exemplo. Então, uma intervenção neste ponto7games baixar app android gratisparticular poderia,7games baixar app android gratistese, novamente estou fazendo análise7games baixar app android gratisrisco e não alegando que isso aconteça, tenha acontecido ou vá acontecer, mas uma intervenção naquele ponto poderia contaminar o software7games baixar app android gratisvotação que sai do TSE na origem com algum tipo7games baixar app android gratisde código malicioso que permitiria violar sigilo ou a integridade7games baixar app android gratisresultados.

Uma outra possibilidade também é um simples erro acidental ou proposital que venha da equipe7games baixar app android gratisdesenvolvimento. Escrever código seguro é difícil, é uma área7games baixar app android gratispesquisa bem estabelecida, mas que ainda tem muito a evoluir. Nenhum software é 100% seguro, 100% perfeito. Então, uma intervenção maliciosa ou um erro7games baixar app android gratisprogramação acidental no sistema, no software7games baixar app android gratisvotação no TSE, poderia7games baixar app android gratisrepente introduzir uma vulnerabilidade que é explorada pelo técnico que está na outra ponta, às vezes é7games baixar app android gratisuma empresa contratada para receber o software que o TSE emite para os TREs (tribunais regionais eleitorais) e gravar esse software7games baixar app android gratiscartões7games baixar app android gratismemória que vão instalar o software nas urnas.

Nos testes públicos7games baixar app android gratissegurança7games baixar app android gratis2017, a gente observou uma lacuna na verificação7games baixar app android gratisintegridade do software7games baixar app android gratisvotação, naquele procedimento7games baixar app android gratisque a urna verifica se os programas lá instalados estão íntegros, que permitiria a alguém que está gerando os cartões7games baixar app android gratismemó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 fator7games baixar app android gratisescala que funciona a favor do fraudador. Se ele consegue a possibilidade7games baixar app android gratisadulterar o software armazenado7games baixar app android gratisum destes cartões, esse cartão contaminaria 50 urnas posteriormente com software (malicioso).

A gente, nos testes, mostrou algumas formas7games baixar app android gratisintroduzir comportamento malicioso, como alterar mensagens na tela pra deixar claro que o software não mais seguiria7games baixar app android gratisprogramação original. A gente tinha código intruso, mas, que do ponto7games baixar app android gratisvista do operador do sistema, o sistema se comportou7games baixar app android gratismaneira indistinguível ao sistema real. Conseguimos instalar o software, executar as rotinas7games baixar app android gratisautoteste, começar uma eleição, simular uma eleição, e o sistema funcionou como esperado do ponto7games baixar app android gratisvista do operador. Então, por mais que esses problemas tenham sido corrigidos ou mitigados após os testes públicos7games baixar app android gratissegurança, eu não consigo ignorar o risco disso7games baixar app android gratisrepente acontecer.

Mas a minha justificativa principal para implantação do registro físico do voto é, novamente, para um mecanismo7games baixar app android gratistransparência, para que haja uma maneira acessível e eficiente7games baixar app android gratisse confirmar que os resultados da eleição estão corretos sem necessitar7games baixar app android gratisespecialização técnica, que sejam auditores com treinamento na tecnologia eleitoral ou7games baixar app android gratissegurança da informação, que permitam rapidamente esvaziar alegações7games baixar app android gratisfraude.

7games baixar app android gratis 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áfico7games baixar app android gratisdrogas, isso seria perigoso. Por que, na7games baixar app android gratisvisão, isso não é uma vulnerabilidade?

7games baixar app android gratis Aranha - A implantação7games baixar app android gratisum registro físico eventualmente seria feita,7games baixar app android gratisprimeiro 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 sentido7games baixar app android gratisnão haver intervenção7games baixar app android gratisum 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 dividida7games baixar app android gratistrês eleições consecutivas,7games baixar app android gratis1996 ao ano 2000, exatamente porque é preciso haver uma salvaguarda caso alguma parte do sistema não funcione como esperado.

A implantação gradual permitiria,7games baixar app android gratisprimeiro lugar, projetar e validar um mecanismo que7games baixar app android gratisrepente pudesse ser mais confiável e funcionar melhor,7games baixar app android gratismaneira 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ável7games baixar app android gratisvotação e seria apresentado ao lado da tela da urna eletrônica,7games baixar app android gratisuma 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 tipo7games baixar app android gratisevidência". Mas estes mesmos argumentos se aplicam à tela da urna. Seria possível para um eleitor que foi coagido entrar na sessão7games baixar app android gratisvotação e filmar7games baixar app android gratisinteração inteira com o equipamento. Esse comportamento (filmar7games baixar app android gratisvotação) é ilegal segundo o Código Eleitoral no Brasil, mas o risco7games baixar app android gratisviolaçã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 ordem7games baixar app android gratisvotaçã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 nacional7games baixar app android gratistecnologia eleitoral, um evento científico, foi revisado por pares, é um bom projeto inicial para se tentar um esforço, novamente, com implementação gradual, estudos7games baixar app android gratisusabilidade, num esforço7games baixar app android gratislonga 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 monte7games baixar app android gratisvotos a mais7games baixar app android gratiscasa 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 tipos7games baixar app android gratisintervençã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ço7games baixar app android gratispapel observado dentro da cabine indevassável, mas também autenticado pela urna para que a7games baixar app android gratisintegridade possa ser verificada também.

Um último ponto, que também vem sendo discutido, seria a necessidade7games baixar app android gratisse 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 resultado7games baixar app android gratisuma 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 quantidade7games baixar app android gratisregistros físicos que teriam que desaparecer ou ter7games baixar app android gratisintegridade 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.

7games baixar app android gratis BBC News Brasil - A proposta7games baixar app android gratisvoto impresso7games baixar app android gratisdiscussão na Câmara está7games baixar app android gratisacordo com o que o sr. defende?

7games baixar app android gratis Aranha - Eu sei que há várias versões (da proposta7games baixar app android gratisvoto impresso sendo discutidas na Câmara). Eu observei a versão original da proposta (da deputada Bia Kicis) e havia questões7games baixar app android gratisredação. Por exemplo, ela falava7games baixar app android gratiscé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 impresso7games baixar app android gratisveículos7games baixar app android gratisimprensa que são7games baixar app android gratisqualidade no país utilizando como sinônimo7games baixar app android gratisvoto7games baixar app android gratiscé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ção7games baixar app android gratiscédulas físicas eu acho que cria confusão e cria facilmente argumentos contra, porque as pessoas iam associar às antigas eleições baseadas7games baixar app android gratiscédulas.

Eu não sou um jurista, mas do ponto7games baixar app android gratisvista técnico, o que faz sentido é fixar um conjunto7games baixar app android gratisrequisitos, porque especificar7games baixar app android gratismaneira demasiada este mecanismo7games baixar app android gratisuma 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ção7games baixar app android gratisrequisitos7games baixar app android gratissegurança e transparência que devem ser satisfeitos pelo sistema7games baixar app android gratisvotação. O sigilo do voto é um destes requisitos que já existe na Constituição. A gente poderia pensar7games baixar app android gratisum mecanismo7games baixar app android gratistransparência, por exemplo, que capturasse essa ideia7games baixar app android gratisindependência do software como requisito, e a partir daí, sabendo quais são os requisitos (previstos na Constituição), trabalhar nesse espaço7games baixar app android gratissoluções possíveis que satisfaçam esses requisitos da maneira mais eficiente possível.

7games baixar app android gratis 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?

7games baixar app android gratis Aranha - Correto. Uma intenção sincera7games baixar app android gratisse 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és7games baixar app android gratissimplesmente um mecanismo que crie mais ruído, é a implementação gradual, cuidadosa com a submissão desse mecanismo novo a testes7games baixar app android gratisusabilidade, a testes7games baixar app android gratissegurança, como já acontece com o sistema7games baixar app android gratisvotação, para que ele possa7games baixar app android gratismaneira 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ível7games baixar app android gratisse fazer uma mudança dessa natureza no sistema7games baixar app android gratisvotação, sem criar riscos maiores do que as vantagens que o mecanismo poderia trazer.

7games baixar app android gratis 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. Qual7games baixar app android gratiscrítica a forma como o tema foi conduzido no TSE?

7games baixar app android gratis Aranha - Sim. Eu gostaria7games baixar app android gratisresponder isso7games baixar app android gratisnome 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 Brasil7games baixar app android gratis1996 e a primeira vez7games baixar app android gratisque ele pôde ser testado com exame do código-fonte do sistema por especialistas independentes foi7games baixar app android gratis2012. E mesmo7games baixar app android gratis2012, 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 equipe7games baixar app android gratisparticular reclamaram das condições7games baixar app android gratistrabalho 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 precisou7games baixar app android gratismaneira 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 tribunal7games baixar app android gratisnegar aqueles resultados técnicos.

Na própria forma como o TSE fala sobre a experiência7games baixar app android gratisvoto eletrônico7games baixar app android gratisoutros países, a gente também observa uma postura que não é exatamente transparente. O TSE sempre se manifesta listando o número7games baixar app android gratispaíses que utilizam algum tipo7games baixar app android gratisdispositivo eletrônico7games baixar app android gratissuas eleições, mas muitas vezes omite que vários destes países utilizam também o registro físico7games baixar app android gratisconcomitância ao registro eletrônico como mecanismo7games baixar app android gratistransparência. Há,7games baixar app android gratiscerta forma, uma versão do tribunal que é muito difícil7games baixar app android gratisse colocar7games baixar app android gratisdiscussão pela postura7games baixar app android gratisque 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 área7games baixar app android gratispesquisa e da prática internacional do voto eletrônico, como também na relação com a comunidade técnica na medida7games baixar app android gratisque esses sistemas são disponibilizados para exame independente.

Um ponto, por exemplo, que está sendo discutido e foi inclusive promessa do tribunal7games baixar app android gratis2018 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á7games baixar app android gratisprodução há 25 anos e que o tribunal defende como talvez o melhor sistema7games baixar app android gratisapuração eleitoral do mundo, porque ele não pode ser examinado7games baixar app android gratismaneira conveniente fora das dependências do Tribunal Superior Eleitoral por pesquisadores independentes.

Se o sistema tem esse nível7games baixar app android gratismaturidade que é alegado pelo tribunal e tem essa história7games baixar app android gratis25 anos7games baixar app android gratissucesso como um sistema crítico, ele já deveria estar pronto há muito tempo para o exame7games baixar app android gratispesquisadores externos.

Então, tá aí uma sugestão7games baixar app android gratisum mecanismo simples, que dá tempo7games baixar app android gratisser satisfeito até as próximas eleições, e que eu entendo aumentariam7games baixar app android gratismaneira 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 participam7games baixar app android gratistestes públicos7games baixar app android gratissegurança com a janela7games baixar app android gratisanálise inclusive muito mais longa, com a possibilidade7games baixar app android gratisinteração maior.

7games baixar app android gratis Já assistiu aos nossos novos vídeos no YouTube 7games baixar app android gratis ? Inscreva-se no nosso canal!