Technical paper in English: https://sites.google.com/site/dfaranha/pubs/aranha-karam-miranda-scarel-12-book https://sites.google.com/site/dfaranha/pubs/aranha-k

Technical paper in English: https://sites.google.com/site/dfaranha/pubs/aranha-karam-miranda-scarel-12-book https://sites.google.com/site/dfaranha/pubs/aranha-karam-mir... "This work presents a security analysis of the Brazilian voting machine software based on the the experience of the authors while participating of the 2nd Public Security Tests of the Electronic Voting System organized by the Superior Electoral Court (SEC), the national electoral authority. During the event, vulnerabilities in the software were detected and explored to allow recovery of the ballots in the order they were cast. We present scenarios where these vulnerabilities allow electoral fraud and suggestions to restore the security of the affected mechanisms. Additionally, other flaws in the software and its development process are discussed in detail."