Proposal of an Electronic Auditing System Applied to the Brazilian Electronic Voting Machine. - Marcelo Ferreira Guimarães; Carlos Antônio Sell; Renato Parenti Turcato; Carlos Henrique Assuiti; Ricardo Custódio; Ricardo Antônio Pralon Santos (CoRR, 2024)