New Directions for the Electronic Voting Machine Ecosystem
Abstract
The embedded systems of Brazilian Electronic Voting machines (UE) and the infrastructure for pooling systems (UE Ecosystem) evolves for the inclusion of new tecnological and security advancements. In this paper we show the topics to be incorporated to the UE Ecosystem in next years.
References
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.
Published
2025-09-01
How to Cite
MONTEIRO, José; GUIMARÃES, Lucas; LIMA, Saulo; AMORIM, Marcus; COIMBRA, Rodrigo.
New Directions for the Electronic Voting Machine Ecosystem. In: ELECTORAL TECHNOLOGY WORKSHOP - BRAZILIAN SYMPOSIUM ON CYBERSECURITY (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.
