Election evidence for trust: * paper trail * quality of paper trail * audits of elections * tabulation procedures * certification of devices and processes * the outcome ... the source code isn't enough, even for a software engineer. Other people need other types of evidence.
-
-
Prikaži ovu nit
-
Everyone who votes should be able to trust the outcome of an election is my goal in a perfect world [ why only the voters? that seems like an odd limitation ]
Prikaži ovu nit -
Achieving this goal is an open question, but there are lots of people who are working together to chip away at this problem.
Prikaži ovu nit -
Elections is a particularly challenging area both technically and politically (but going to set aside political part aside for this talk -- just know it's there and harder)
Prikaži ovu nit -
Challenge: ballot secrecy. Not only can no one else know how you voted, you can't prove how you voted [ this is for anti-bribery and intimidation ] This is an easy problem without that constraint: you could just post the votes and let people check them
Prikaži ovu nit -
We separate records from votes at polling stations: separate signature page (who's allowed to vote) from the ballots (what people voted) We don't know how to do this electronically -- they can't provide evidence that they did this. So *must* have paper verifiable record.
Prikaži ovu nit -
Risk limiting audits: play the game. Audience is election official, speaker is Bad Guy. [ claims he is not in real life. judge for yourself. muhahaha. ]
Prikaži ovu nit -
The Bad Guy reports who won and by how much. Election official wants to catch it if the Bad Guy cheated. [ there's a game here where we randomly open up boxes and check what's inside and can make statistical bounds on the level of confidence that the election was run correctly ]
Prikaži ovu nit -
If don't have confidence in the election from statistical sample, do a full recount using that paper backup trail. Most of the time we don't think that's going to happen. [ ... so we don't need to run all the recounts all the time ]
Prikaži ovu nit -
Because the calculated level of confidence goes up/down according to margin of victory and number of samples, not number of votes, so need a limited number of samples to get assurance.
Prikaži ovu nit -
Critical part of an audit is to make it transparent how you selected the ballots. Common way to do this: throw dice, feed output into PRNG, can reproduce the list.
Prikaži ovu nit -
We can't let people prove who they voted for, even if we open their ballot for the audit. So we use crypto! So we use homomorphic encryption to blind stuff and hide it [ this looks like partially homomorphic encryption is all that's required also I am totally not typing math ]
Prikaži ovu nit -
So everyone can reproduce the results [ there's math and zero-knowledge proofs and the speaker is not going to go there in this talk ] ... ok, so now how the heck do people who aren't cryptographers trust this result???
Prikaži ovu nit -
Get people to vouch for the math? Would this work? Send opinions to the speaker. Why don't we have these technologies today? Risk limiting audits are going well -- pilots are close to happening and you can tack them on to the end of an election so it's easier to deploy
Prikaži ovu nit -
But we're not seeing this development in end-to-end verifiable elections or secure voting machines? Why? Because the funding came after the 2000 election kerfuffle. And there isn't enough.
Prikaži ovu nit -
Certification: we certify elections to show trust. But it's expensive and slow to get the certification so it's making elections less secure which *erodes* trust.
Prikaži ovu nit -
What can we do? Security people doing all the security work is really important. Check out election guard -- write verifiers. Reach out if you have an idea to improve certification.
Prikaži ovu nit -
Q
@flamsmark: why is the goal to convince voters in particular? [ YES! Why only voters? ] A: Well, I'm a voter and want to be convinced. Do you have a suggestion for a better target? [ continued]Prikaži ovu nit -
[ continued ] Q: People who can't vote but live in the affected area. People who live outside of the area entirely but who are very affected by an election. A: great insight.
Prikaži ovu nit -
Q: I've heard from election officials that they're worried about the level of transparency that you advocate. Have you encountered this type of resistance? A: We've all run into security through obscurity. But the best security comes through open source.
Prikaži ovu nit -
Q
@n2vi : are there other aspects of the voting system where you think tech could help? A: Voter registration databases. This is part of why doing security work in general is so important and this is stuff we know how to do.Prikaži ovu nit -
Q nlidz: did you consider using a safer language rather than reproducing the mistakes of the past? A: I spend a lot of time ensuring that C is memory-safe. But the reality is that we need to use things that people can use, and C felt like a way to maximize that.
Prikaži ovu nit
Kraj razgovora
Novi razgovor -
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.