Diego F. Aranha 🕷️

Tomorrow morning this account will be locked, as I'm moving to the butterfly site for good.

@FelippeRegazio Euclides descreveu o primeiro algoritmo da história para calcular o MDC em "Elementos", muitos séculos antes. Considero que Ada escreveu o primeiro "programa", ao implementar pela primeira vez um algoritmo em uma máquina programável.

Novamente: a Ada não foi mera programadora, ela foi a mãe do algoritmo, em termos cientificamente formalizados por ela mesma. E isso me lembra aquela frase do Clovis: A pessoa lá em trocentos anos atrás INVENTOU o que hj vc não consegue ENTENDER!!! mas isso é outra história rs

Discordarei com respeito de ambos, mas esse assunto é bacana e costuma dar pano pra manga: A Ada Realmente não foi a primeira programadora, pq não existia "programação" como entendemos hoje na época dela. Ela foi algo mais importante que isso, segue o fio aqui que tento contar +

@ViniGodoy @heitoriglesias @badgunt3r A maioria pouco se importa se há meios de auditar o voto. A preocupacao é exclusivamente que seu candidato ganhe.

@dfaranha @heitoriglesias @badgunt3r Elas querem um meio de auditar o voto, por consequencia, a urna. E isso está claro. Esse ponto de auditoria não existe. Não há meios de saber se a urna realmente marcou o mesmo candidato que você digitou, especialmente envolvendo fiscalização pelos partidos.

Um cara falando pra mim no bar que urnas eletrônicas não são seguras perguntei sobre curvas elípticas, RSA, AES, árvore de hash e não sabia nada, mas tinha certeza que a eleição seria fraudada e que as urnas não são seguras po, eu ri

@ViniGodoy @heitoriglesias @badgunt3r Nem a maioria das pessoas que apóiam voto impresso sabem explicar porque, vide o imbecil do ex-presidente. É só ruído, nenhum sinal, exatamente como essa plataforma morta aqui.

@heitoriglesias @dfaranha @badgunt3r Eu perguntei dezenas de vezes, em várias threads daqui por que as pessoas acham uma má ideia adicionar o voto impresso para ter uma etapa auditável no processo. Todo mundo deu perdido.

@heitoriglesias @badgunt3r @ViniGodoy Ah claro, "fulano foge do debate" é uma alegação repleta de boas intenções.

@dfaranha @badgunt3r @ViniGodoy Calma jovem, eu não falei no sentido mal, mas do porquê o assunto sumiu.

@heitoriglesias @badgunt3r @ViniGodoy Quem foge do debate é teu pai de tanga. Eu não falo mais tanto do assunto porque saí do país há anos, e não tenho nada de novo para contar.

@badgunt3r @ViniGodoy Quando aquele professor da Unicamp mostrou a vulnerabilidades e disse que os testes deveriam ter mais tempo, chegou a mudar algo no sistema? Tem um especialista que foge do debate sempre que perguntado. Eu esqueci o nome dele, e eu fico intrigado com isso.

@tiago_duderino @Hormosis @pandineyuri Camarada aí mente compulsivamente. Ele me bloqueou primeiro, mente sobre o software estar lacrado, entende nada da técnica. Que se dane, o trabalho está feito e publicado. Não preciso disso.

@Hormosis @dfaranha @pandineyuri Esse seu argumento vai contra a própria presunção de segurança, já que o modelo de ameaça não estaria sendo simulado perfeitamente na auditoria.

gente pq os países ainda não aderiram? me pergunto

@tiago_duderino @Hormosis @pandineyuri O relatório do TSE é imparcial, problema resolvido.

@Hormosis @dfaranha @pandineyuri - Encontrei um bug. - Ah, mas a gente já ia corrigir essa vulnerabilidade, então não conta.

@Hormosis @tiago_duderino @pandineyuri Nosso artigo passou por revisão por pares, que é o procedimento mais imparcial do método científico para verificar evidências e construir conhecimento.

@dfaranha @tiago_duderino @pandineyuri O do Wilson não é imparcial mas seguramente vc tb deve ser totalmente imparcial. Como disse, não menosprezo seu feito, sua conquista e seu excelente trabalho. Somente contextualizo e cito as palavras de outro profissional de respeito na área

@Hormosis @tiago_duderino @pandineyuri A urna estava operando em condições normais, rodando o software lacrado de acordo com o procedimento oficial usado na eleição. Se não tivéssemos encontrado o problema, capaz de ter ido para eleição assim. Mas você tem sei direito de ignorar fatos, está na moda inclusive.

@dfaranha @tiago_duderino @pandineyuri Aí vc se resolve com ele, o fato aí está, que era um protótipo e de código aberto e mesmo assim (não querendo sacar mérito, pq vcs fizeram um excelente trabalho) não conseguiram manipular ou adulterar as urnas Em contextos normais, a urna se fecharia por qq adulteração

@Hormosis @tiago_duderino @pandineyuri Caso queira ler os relatórios, estão disponíveis em urnaeletronica.info Nosso trabalho foi premiado com um dos prêmios mais prestigiados da comunidade nacional de segurança. Tem nem motivo para haver debate em torno disso.

@Hormosis @tiago_duderino @pandineyuri A propósito, Wilson não fez parte da nossa equipe e trabalhava na organização do evento do lado do TSE. Longe de ser parte imparcial no debate técnico em torno de tema.

@tiago_duderino @Hormosis @pandineyuri Violação do sigilo do voto foi em 2012. Violação de integridade do software foi em 2017/18.

@dfaranha @Hormosis @pandineyuri Vocês conseguiram "desembaralhar" os votos, ao verem que a semente do rng era o horário de início do sistema e que esse horário constava na impressão que a máquina faz, certo? Ou isso foi em um teste anterior?

@Amaro_Coronel @AecioNeves Nunca fui contratado por partido ou candidato nenhum.

@AecioNeves Eu lembro! Tu até falou que as urnas eletrônicas não eram confiáveis, não foi? Contratou o Diego Aranha, né? Mas tu não foi condenado a 27 anos de prisão por isso. Será que ainda dá tempo?

Em 2014, eu tive um embate duro com a Dilma. Tudo o que eu disse que ia acontecer, aconteceu. A crise foi tão grande e grave que levou o Brasil a 3 anos de recessão. Quem foi vítima de agressões naquela campanha fui eu, com fake news. A culpa da radicalização do Brasil, foi do PT.

@Hormosis @tiago_duderino @pandineyuri Incorreto. No TPS 2017 nós adulteramos o software de votação respeitando o procedimento oficial de carga e teste, simulando um técnico malicioso. A abordagem era via adulteração do flash de carga, que instala até 50 urnas. A falha já foi corrigida, não precisa mentir.

@tiago_duderino @pandineyuri Mesmo assim, no próprio relatório da equipe de Diego Aranha, eles não conseguiram nem de perto alterar o software que contabiliza os votos dos candidatos nem quem votou neles O teste funcionou em laboratório, mas nada disso teria condições de ocorrer no período eleitoral

@EdcarOliveira @fiscaldofim Então melhor não continuar mentindo.

@dfaranha @fiscaldofim Não irei repetir o que já falamos. Obrigado.

Vocês confiam?

@EdcarOliveira @fiscaldofim Eu não mudei de ideia.

Não tão distante tive debate de ideias com Diego Aranha, o cara que apontou falhas das urnas eletrônicas e depois mudou de ideia, segue o fio e vejam as conversas. Basta entender de tecnologia para saber que nenhum software é seguro 100%, no caso das urnas, além dos softwares, ainda tem a ética profissional do funcionário público, tire suas conclusões: Não sei se os relatórios ainda estão disponíveis no site do TSE. x.com/i/status/17810…

@nofxx @KarinaSantiago @bc1Crusader @JoaquinTeixeira Qual parte de "Danem-se os Bolsonaristas" você não entendeu?

@dfaranha @KarinaSantiago @bc1Crusader @JoaquinTeixeira perfeito, atualizando pra qql eleicao: onde eu baixo o codigo pra gerar a msm hash? tem alguma documentacao de urna escolhida aleatoriamente apos/antes foi aberta (um dump pra recalcular externamente)?

100% inviolável só as urnas eletrônicas

@matatraueco1945 @bc1Crusader @nofxx @KarinaSantiago @JoaquinTeixeira

@bc1Crusader @nofxx @KarinaSantiago @JoaquinTeixeira Diego Aranha já relatou diversas falhas nas urnas há papo de mais de uma década. Um monstro da computação.