[eduardordm]

"when the TSE granted access to more than 10 million lines of code for five hours."

The software itself is very small. They are counting the OS, etc.

The software could be safer. But this whole story about those machines involves ego and fights for notoriety between government-run universities, departments and the opposition in place, which changes from time to time. Not exactly FUD, but an exaggeration of the facts.

[rfonseca]

The problem is much bigger than the specific process used or the findings in the verification. If you look at what they found in the code in the short inspection, you would shiver. For example, vote secrecy was protected by storing votes in a shuffled order, where the shuffle was determined with the random seed srand(time(null)).

But still, the problem is the principle: the system is the only source of truth, and if there is fraud, or a bug, that changes votes, it is undetectable and impossible to prove. TO have the fate of 200M people depend on such premise is absurd.

The electronic system must change, but this will only happen if there is awareness and sound technical discussion by the population.

[ricardobeat]

I'd say republishing these findings from 2012 - which have never been accepted as true - right on elections day is the exact definition of "spreading fear, uncertainty and doubt" :)