Novos Rumos para o Ecossistema da Urna Eletrônica
Resumo
Os sistemas embarcados da Urna Eletrônica e a infraestrutura de segurança (Ecossistema da Urna) evoluem para incluir avanços tecnológicos e de segurança. Neste trabalho mostramos os tópicos a serem incorporados ao Ecossistema da Urna nos próximos anos.
Referências
EAC (2022). End to End (E2E) Protocol Evaluation Process. Technical report, USA Government. [link].
Gallo, R., Kawakami, H., Dahab, R., Azevedo, R., Lima, S., and Araujo, G. (2010). T-DRE: A hardware trusted computing base for direct recording electronic vote machines. In ACSAC ’10: Proceedings of the 26th Annual Computer Security Applications Conference, pages 191–198, New York, NY, USA. ACM.
Monteiro, J., Alessandre, S., Rodrigues, R., Alvarez, P., Meneses, M., Mendonça, F., and Coimbra, R. (2019). Protegendo o sistema operacional e chaves criptográficas numa urna eletrônica do tipo T-DRE. In Anais do XIX Simpósio Brasilieiro de Segurança da Informação e Sistemas Computacionais, São Paulo, SP. [link].
NIST (2024a). Module-lattice-based digital signature standard. Federal Information Processing Standards Publication FIPS 204, U.S. Department of Commerce, Washington, D.C. DOI: 10.6028/NIST.FIPS.204.
NIST (2024b). Module-lattice-based key-encapsulation mechanism standard. Federal Information Processing Standards Publication FIPS 203, U.S. Department of Commerce. DOI: 10.6028/NIST.FIPS.203.
Pacheco, R., Braga, D., Passos, I., Araújo, T., Lagrota, V., and Coutinho, M. (2022). libharpia: a New Cryptographic Library for Brazilian Elections. In Anais do XXII Simpósio Brasilieiro de Segurança da Informação e Sistemas Computacionais, pages 250–263, Santa Maria, RS.
Shor, P. (1994). Algorithms for quantum computation: discrete logarithms and factoring. In Proceedings 35th Annual Symposium on Foundations of Computer Science, pages 124–134.
Gallo, R., Kawakami, H., Dahab, R., Azevedo, R., Lima, S., and Araujo, G. (2010). T-DRE: A hardware trusted computing base for direct recording electronic vote machines. In ACSAC ’10: Proceedings of the 26th Annual Computer Security Applications Conference, pages 191–198, New York, NY, USA. ACM.
Monteiro, J., Alessandre, S., Rodrigues, R., Alvarez, P., Meneses, M., Mendonça, F., and Coimbra, R. (2019). Protegendo o sistema operacional e chaves criptográficas numa urna eletrônica do tipo T-DRE. In Anais do XIX Simpósio Brasilieiro de Segurança da Informação e Sistemas Computacionais, São Paulo, SP. [link].
NIST (2024a). Module-lattice-based digital signature standard. Federal Information Processing Standards Publication FIPS 204, U.S. Department of Commerce, Washington, D.C. DOI: 10.6028/NIST.FIPS.204.
NIST (2024b). Module-lattice-based key-encapsulation mechanism standard. Federal Information Processing Standards Publication FIPS 203, U.S. Department of Commerce. DOI: 10.6028/NIST.FIPS.203.
Pacheco, R., Braga, D., Passos, I., Araújo, T., Lagrota, V., and Coutinho, M. (2022). libharpia: a New Cryptographic Library for Brazilian Elections. In Anais do XXII Simpósio Brasilieiro de Segurança da Informação e Sistemas Computacionais, pages 250–263, Santa Maria, RS.
Shor, P. (1994). Algorithms for quantum computation: discrete logarithms and factoring. In Proceedings 35th Annual Symposium on Foundations of Computer Science, pages 124–134.
Publicado
01/09/2025
Como Citar
MONTEIRO, José; GUIMARÃES, Lucas; LIMA, Saulo; AMORIM, Marcus; COIMBRA, Rodrigo.
Novos Rumos para o Ecossistema da Urna Eletrônica. In: WORKSHOP DE TECNOLOGIA ELEITORAL - SIMPÓSIO BRASILEIRO DE CIBERSEGURANÇA (SBSEG), 25. , 2025, Foz do Iguaçu/PR.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2025
.
p. 343-346.
DOI: https://doi.org/10.5753/sbseg_estendido.2025.14089.
