>Running voting machines on OSS software seems obvious its the only way
>to do it correctly, since its true noone trusts each other.

It is not sufficient; there really is no other way
than a paper trail.

Currently, many voting systems operate by storing the
vote in memory of some kind and it is really hard
to verify that this is done correctly; more importantly,
it is *not* possible to verify the voting was done
correctly after the fact.

It's not just a simple matter of verifying the software;
you do need to verify:

System's BIOS
Keyboard
Display hardware
OS
Window system
Voting software.

The vote tabulation process
(communication, more computer systems)

That's just too much to verify correct. Seems the
readers here are thinking of just voting software.

But there is a solution which does not require any
verified software at all: a paper trail verified by the
voter self.

After each vote, the voting machine prints a receipt;
the voter verifies the receipt and then deposits it in
a ballot box.

When there's a dispute; the paper trail which was verified
by each individual voter can then be counted.

Note that the paper ballots can be machine readable for
quite counting but they should not contain barcodes; the
human readable bits must be the "legal" bits.

Open source, closed source; it's all really moot.
Voter verification is what counts.

They don't do it correctly in my country; but they apparently
did it correctly in Venezuela where voter confidence is always
very low.

Casper

[ reply ]