The Tribunal Superior Eleitoral (the brazilian Election Supreme Court), officially announced on April 4th, 2008, that the brazilian 2008 elections will use 430 thousand electronic voting machines migrated from VirtuOS and Windows CE to GNU / Linux and open source softwares for security and auditing defined by proper law.
All open source and in-house developed software will be digitally signed and all loaded software will may be verified at voting places by inspectors at any time to check against tampering.
Special measures will be taken to reduce risks of breaking in by crackers, like no direct network connection to internet.
Random voting machines will be audited by TSE, political parties and external auditors.
Political parties software experts will have access to voting machines software from April to September, looking for problems and or point of improvements.
The six month auditing period is defined by article 66, first paragraph, law 9.504/97 , redacted by law 10.740/03.