I often say that election security is by far the hardest technical problem I've ever encountered. Why? Four reasons:

1) Contradictory critical requirements, particularly vote secrecy vs. transparency.

2) No truly neutral trusted third parties.

3) Election do-overs are generally impossible, so the ability to merely detect problems is insufficient. You have to reliably prevent them.

4) Much of the technology than can manage the complexity of elections is inherently untrustworthy.

There are a few other problems out there that have *some* of these difficult properties, but elections seem to be almost unique in having all of them.

Add to that the high stakes and sophisticated state actors that are part of the threat model, and it can get really exciting.

I know you’ve thought about this for all of the 15 minutes required to qualify as an Official Internet Expert and all, but seriously, real-world election security isn’t simple, easy, or obvious.
@mattblaze Are you speaking of Defense or Attack?

@mattblaze I'm fond of the Canadian approach of not allowing computers anywhere near the process and doing everything on paper and counting by hand.

I'm sure that there are still 8 million ways to screw it up, but at least none of them are quite as embarrassing as the computer ones

@Canageek @mattblaze
In Ontario, municipal elections have for some years used hand-marked optical scan ballots, so computers in fact do the (initial) counting. Provincial elections too, I think only recently. Last federal election was pure hand-count still. So it's moving but in a sensible direction.
@oclsc @mattblaze I thought Elections Canada said they plan to stay entirely with hand-counted for the near future?
@Canageek @mattblaze I haven't been keeping track; seems fair enough. I was surprised the province changed. Municipal elections here have three concurrent races so it makes a little sense.
@Canageek @mattblaze Now the problem is you have to trust hundreds or thousands of humans — which are way easier to corrupt and, even then, have their own political bias — to accurately compute the votes without consciously (or unconsciously) altering the results, or messing up with the count.
@JoaoBapt @mattblaze I'm remembering back a lot of years here, but I believe each person running is allowed to appoint someone to verify all of the votes, they'll have to agree before the vote moves on. Systems being working for a long time and gets accurate results pretty quickly because you've distributed the accounting center so widely
@Canageek @mattblaze But honestly, counting equal items on a list of 5 million-ish items sounds like the perfect task for a computer 😁
@Canageek @mattblaze @JoaoBapt Sure. Just as long as it can be audited afterwards.
@mattblaze At least not if you want the votes to be kept private. Which makes it much more complicated.
@mattblaze ...but Many People Told Me :tm: that all that's needed is photo ID checks and hand counting of tens of millions of ballots, all to be completed by 7pm ET! /s

@mattblaze Ive been of the opinion for at least 20 years that tech should only be used to print a human and scantron readable ballot. Whatever you put in the box is your vote. If something goes wrong you can still fill one out or count by hand.

The physical security of pieces of paper has been studied for thousands of years.

@jkaniarz @mattblaze

Having been a election volunteer here in Germany, yes it can be easy. Having seen ballots from USA with a huge amount of options: it blows up in complexity.

And if you take what all can go wrong with "easy elections" in Germany, ask Berlin.
https://en.wikipedia.org/wiki/2021_Berlin_state_election#Irregularities_and_annulment

Here in Bremen we have a slightly more complex voting system for state elections in place than most states, and it already explodes to nearly a week to count. Federal Elections are counted in few hours <4

2021 Berlin state election - Wikipedia

@mattblaze I was going to say, the 5th problem is that there are so many people who think they know what the problem is but don't actually understand the threat model or the technology available. (And often they're in government.)

@mattblaze I get it. The one thing I want to see made standard is for every electronic voting machine to have a paper receipt that the voter can verify that is kept for a manual recount.

I know this doesn't, in and of itself, fix election security, but it's a hole in the system I think needs attention.

@sarahmaywalt Receipts of your vote would allow you to prove to a third party who you voted for, which opens the door to coercion and vote-buying.

The requirement for a secret ballot complicates things, but there are important reasons for it.

@mattblaze The receipt would be handed to the poll workers and kept by them, but it would be simple enough for the voter to be able to check it for accuracy before it was turned in.

It would not have to have any identifying information on it. The voter would be required to stuff it into a ballot box before exiting the booth.

@sarahmaywalt I see. What you're describing is called a VVPAT ("voter verified paper audit trail") or a "ballot marking device", depending on the particular configuration. Unfortunately, studies have suggested that in practice, voters don't appear actually check them at a sufficient rate to reliably correct for machine errors or malicious programming.
@mattblaze Perhaps, but it would help prevent any malicious actions that affect the account after the vote occurs from affecting the count. Also, there have been reports of voters using an electronic machine and the machine appearing to misattribute the vote. If the malicious code was buggy enough to tip its hand so that the voter would question what happened, such a receipt could confirm that there is a problem and lead to an investigation.
@sarahmaywalt I know this sounds impossible, but believe it or not, people have actually studied this stuff carefully.
@mattblaze I get that. Not questioning it. I'm not suggesting that it is a panacea. However, recounts that only rely on the electronic count are pointless. There is no way at all for me, as a voter, to verify, in any way, that my vote was entered correctly. All I want, as part of all the other necessary precautions, is a mandatory paper trail, and I know some jurisdictions don't have them. I think that is a problem. Not THE problem. Just a problem.
@mattblaze @sarahmaywalt I know this sounds impossible, but believe it or not, people have learned ways of imparting information without sarcasm or insult!
@sarahmaywalt @vy Perhaps I should smile more.
@mattblaze @sarahmaywalt @vy
I gotta warn ya, if you do that, people will encourage you to smile more. Just say no.

@vy @sarahmaywalt for the record, yes, I’m not always very “nice”. Your demands that I be nicer are noted, but will be ignored.

I do, however, try to be helpful and share useful, accurate background information on this important subject, about which I have some actual expertise.

@mattblaze @vy Matt, you're a professor of computer science and law at Georgetown University, so I kind of feel I shouldn't have to tell you this, but if you don't want comments on your thoughts, don't post them on a site to be commented upon.

I hope you treat your students better than this.

@sarahmaywalt @mattblaze @vy

Maybe his students like his "no bullshit" kind of answers? I find them refreshing. Matt is basing his statements on studies conducted. If you link to studies that support your view, then I'm sure he would love to read them. Until then it is just your opinion, which you are entitled to, but Matt doesn't have to give them any weight.

@Tazor @mattblaze @vy If he gave them no weight, he wouldn't feel the need to respond.
@sarahmaywalt @mattblaze @vy maybe his students read the subject matter before asking questions or making assertions 🤔
@davep @sarahmaywalt @mattblaze As as former university professor, I find that difficult to believe.
@sarahmaywalt @vy i shouldn’t have to tell you this, but you are free to go fuck yourself.
@mattblaze, you earn the honour of being my first Fediverse block for reasons of unnecessary assholery! Well done. It was nice while it lasted. 🤷
@sarahmaywalt @mattblaze @vy Well, students should ask questions of their teachers rather than assert answers. If you state something false as if it is true, an expert not beholden to being “nice” when correcting you, especially in a public forum where your statement might be mistaken by others for being informative. The expert is being kind enough to give you and everyone else the correct answer for free already.
@deriamis @sarahmaywalt @mattblaze She didn't assert anything that wasn't true. One of the big advantages of systems like the one we have here in Travis county is you can check your paper printout before it gets scanned. It's not foolproof and many people don't check, but it is a good engineering solution to part of the problem. And she just asked about it. You'd think someone was yelling at the Pope by the way you all have reacted.. AND most important, she is not his student.
@vy @sarahmaywalt @mattblaze Please don’t paint with a broad brush like this. We’re not all fans defending our team captain here. You also seem to have missed the fact that Matt said (and has always said) that no voting system is foolproof, so reiterating the not-foolproof thing done in your locality (as the replier above also did) as a good idea others should follow misses the point entirely.
@deriamis
I just felt he was bullying and that pisses me off. Anyways, his pitch is wrong: voting is far from the hardest CS problem. In fact it's not a tech problem at all - it is a political problem caused mostly by Republican voter suppression. France votes on hand counted paper ballots. It works.

@vy Just so you know, Matt would agree with you about paper ballots. He’s stated so himself. Also, you apparently didn’t understand what was meant by “hardest CS” problem if you think that saying it’s a political problem is disagreement. A problem can be both CS and political.

Matt wasn’t bullying you. He was telling you outright that you didn’t understand what he said and also that your assumption that his statements were made from a position of ignorance was incorrect.

@deriamis He wasn't bullying me at all. I was not involved in the discussion. and really I'm not worried about what Matt might say about me. But I thought he was bullying someone else and that did bother me.
@mattblaze @sarahmaywalt For the record, I didn't demand anything.
@vy Sorry you got sucked into my dumb conversation and it turned out like this. I've got to remember, just because Mastodon is better social media, it doesn't make social media good.
@sarahmaywalt No problem. I know how hard it is for some of us to limit snark - I think it's why I've kept my twitter account. Also, I am 100% sure Matt runs into many programmer types who try to explain to him that it's an easy problem because - because they don't understand it. But I thought your point was good.
@mattblaze @sarahmaywalt The system we use in Travis County Texas is like the one Sarah described https://countyclerk.traviscountytx.gov/departments/elections/meet-your-new-voting-system/
Your Voting System - Travis County Clerk

Elections 2022 "I Voted" Sticker Contest Winners! Current Election Your Voting System Election Results Required Notices Election Calendar Voter ID Ballot by Mail Voters with Disabilities Election Workers Elected Officials Campaign Finance Resources FAQ Cast Vote Record Our new Travis County voting system combines touch screen technology with a paper ballot backup. It's modern, secure […]

Travis County Clerk
@mattblaze @sarahmaywalt @vy and wear some prettier outfits 😜

@mattblaze @sarahmaywalt @vy

Ever consider not boosting reply toots?

@vy @mattblaze @sarahmaywalt
Also, it's possible to share feelings without micro-aggressive responses, which you seem to be good at, @vy.
@ExadataDBA @mattblaze @sarahmaywalt What was micro about it? I'm not impressed with bullying.
@ExadataDBA @mattblaze @sarahmaywalt In any case, Professor Blaze is completely incorrect. Election tech is complex because of social legal reasons. France has paper ballots - they work. Hand counting and machine checking vote by mail ballots is secure. The problem is self-inflicted.
@mattblaze @sarahmaywalt Nonsense. It's impossible to study anything carefully. How can that be done when there's always another expert on the Internet or on TV?

@mattblaze @sarahmaywalt my county finally moved off receiptless machines to one's with human readable ones. Which let's people audit the count.

I do agree people rarely read their printed ballots (which were very readable) and they complained about having to walk it over and put it into a scanner to actually tabulate the vote and store the ballot.

Still better than "just trust the black box"

@EmilyGB20 @sarahmaywalt Yes, it seems like an improvement. However, it may not be a sufficient one. That's why actually analyzing these systems, rather than just making assumptions about them, is important.
@EmilyGB20 @sarahmaywalt But, what, as the Internet is quick to point out, do I know?

@mattblaze @sarahmaywalt it's the usual security questions of tradeoffs between security, ease of use, budget.... And a million more things.

Like you said originally this is a tough problem because we need security, transparency, and auditability that works for the entire electorate.

Each method has its own flaws and exploits, back down to old fashioned paper.

I worry most about gaming the count, because I had to vote on black boxes for too long. Front and center exploit you know?

@mattblaze @sarahmaywalt

Adding a "paper trail" solution on top of an electronic election system always sounded to me like polishing a turd (sorry for the crude term).

Handmarked paper ballots already have a paper trail and none of the other issues with electronic voting systems.

@mattblaze

I'm curious to know how many of those VVPATs were designed with human factors in mind to encourage verification?

For example, were they just a version of the ballot with all the candidates listed and a checkbox marked for the selected candidates, or did they print only the names of the selected candidates and party affiliation in large, eye-catching print with adequate whitespace?

My district's were of former type and I've wondered if any others did a better job.

@Spicewalla there has been precious little research on the human factors here, other than that current designs don’t seem to work.

@mattblaze @SwiftOnSecurity My rule of thumb metric here is "order of magnitude of the number of people trying to game the system".

Ten people? I can probably personally cope. A hundred thousand people? Find an expert. Ten million people? I need a longish 'splainer just to have proper context for understanding what the actual experts worry about.