D. F. Aranha, M. M. Karam, A. Miranda, and F. Scarel. Software vulnerabilities in the Brazilian voting machine. Design, Development, and Use of Secure Electronic Voting Systems, IGI Global, 2014.