Segunda-feira, 18 de setembro de 2023
8:30 a 8:35 – Abertura
8:35 a 9:05 – Uma proposta de Verificabilidade Fim a Fim (End-to-End – E2E) para Eleições Brasileiras – Fundamentos básicos
Apresentador: Eduardo L. Cominetti (Escola Politénica – Universidade de São Paulo)
9:05 a 10:05 – Painel Internacional (Online) – The Future of Electronic Elections – Challenges, Solutions, and Research Opportunities
Panelistas: Josh Benaloh (Microsoft), Peter Y A Ryan (University of Luxembourg), Rebecca Mercuri (Notable Software, Inc.), Richard Stallman (Free Software Foundation – FSF), Vanessa Teague (Australian National University).
Moderador: Paulo Matias (Universidade Federal de São Carlos)
10:30 – 12:00 – Uma proposta de Verificabilidade Fim a Fim (End-to-End – E2E) para Eleições Brasileiras – Exemplos de implementação & Simulador de Votação
Apresentador: Eduardo L. Cominetti, Nelson Yamamoto (Escola Politénica – Universidade de São Paulo)
13:30 – 15:00 – Apresentação de artigos curtos e demos
– “Uma proposta de utilização de impressoras falsas nas urnas eletrônicas para aumento da segurança do sistema eleitoral brasileiro”.
Apresentador: Tarcizio Vieira Neto (SERPRO) – 20 min
– “Sala secreta? Facilitando o monitoramento das eleições com Logs Transparentes”. Apresentador: Leonardo Toshinobu Kimura (Escola Politénica – Universidade de São Paulo) – 20 min
– “Is Benaloh Challenge suitable for Polling Station Voting?”.
Apresentador: Roberto Samarone dos Santos Araujo (Universidade Federal do Pará) – 20 min
– “Demo: Simulador de Votação com suporte a Verificabilidade Fim a Fim”. Apresentador: Nelson Yamamoto (Escola Politénica – Universidade de São Paulo) – 30 min (atividade interativa com os participantes do evento)
15:30 – 17:00 – Colaboração entre Tribunal Superior Eleitoral (TSE) e a academia: resultados, desafios e perspectivas.
Apresentador: Marcos A. Simplicio Jr (Escola Politénica – Universidade de São Paulo)