@inbook{AranhaKMS14, author = "D. F. Aranha and M. M. Karam and A. Miranda and F. Scarel", title = "Software vulnerabilities in the Brazilian voting machine", year = 2014, booktitle = "Design, Development, and Use of Secure Electronic Voting Systems", publisher = "IGI Global", url = "http://www.igi-global.com/book/design-development-use-secure-electronic/94868" }