Software used to count Australian Senate votes is a “trade secret”

Re:Software used to count Australian Senate votes is a “trad... by zmmmmm on Wednesday July 16, 2014 @12:23AM (#8040560)

Thanks - this is exactly my point.

[ Parent | on HN ]

Re:Software used to count Australian Senate votes is a “trad... by efaref on Wednesday July 16, 2014 @05:19AM (#8041217)

But do you even trust the compiler they use?

Computers you don't totally control are inherently untrustworthy: http://cm.bell-labs.com/who/ken/trust.html

For most things it doesn't matter enough, but for deciding who gets to run the country, I think we need a higher standard.

[ Parent | on HN ]

Re:Software used to count Australian Senate votes is a “trad... by bmm6o on Wednesday July 16, 2014 @11:57AM (#8042712)

I know everyone likes to cite that paper whenever they can, but it's not really relevant here. In this hypothetical, they give you the source but they compile it to binary. They do not provide you with the compiler or its source. The compiler can be malicious, but there's no need to hide its maliciousness - they don't even prove that the software running is in any way derived from the source they've given you! It would be a giant leap forward to have to design against KT-level shenanigans. The whole process can currently be subverted with CS 101-level jiggery pokery.

[ Parent | on HN ]

Re:Software used to count Australian Senate votes is a “trad... by SixSigma on Wednesday July 16, 2014 @05:53AM (#8041313)

So why not also demand the object code. Then you can mistrust the hardware instead.

[ Parent | on HN ]