Sequoia Vote Machine Can't Do Simple Arithmetic?
whoever57 writes "Ed Felten is showing a scan of the summary from a Sequoia voting machine used in New Jersey. According to the paper record, the vote tallies don't add up — the total number of Republican ballots does not match the number of votes cast in the Republican primary and the total number of Democratic ballots does not match the number of votes cast in the Democratic primary. Felten has a number of discussions about the problems facing evoting, up to and including a semi-threatening email from Sequoia itself."
Update: 03/20 23:30 GMT by J : Later today, Felten added an update in which he analyzes Sequoia's explanation. He has questions, comments, and a demand.
It's "Felten".
</pedant>
____
~ |rip/\/\aster /\/\onkey
Both tallies are out by 1 count. Could it be the one is counting from zero and the other from one?
:)
On the bright side at least the error will vanish as the number of votes approaches infinity
As Felten made clear in the article, it's not the size of the discrepancy that's the issue, but the fact that it's there at all. You'd expect this sort of minor error from humans, but the machine turning out this discrepancy is a dead giveaway that something is fundamentally wrong with its inner workings. If we could examine said inner workings, we could determine the cause of this bizzare behavior, but actually knowing what is going on inside their machines is something Sequoia is bound and determined to prevent. One can't help but wonder why, given what we've just seen...
____
~ |rip/\/\aster /\/\onkey
Well, bring on the lawsuit from Sequoia I guess. Hopefully the ACLU & EFF will help Dr. Felten with his legal fees.
There is a war going on for your mind.
I love the double-standard here. The government wants to invade the privacy of it's citizens (discussed several times over on these very forums) and one of the typical responses is "Well, if you don't have anything to hide...".
But when an independant third party wants to verify that an important piece of hardware used in our political process can actually do the very simple math that it's required to do, the corporation who produces is has laws that it can throw in one's face to prevent verification of data. Shouldn't someone be pressing Sequoia with the "if you don't have anything to hide..." mantra?
Does anyone else here see the obvious double-standard that we've created for ourselves?
oh dear, another "non compliant" analysis.
duck and cover, they are reaching for their lawyer.
sounds like this story is a might fine basis for some good ole' fashioned DMCA action. Pffffft, that was the sound of sequoia credibility dying a death...
The readout on a screen seems like a simple data display problem. Perhaps the programmer did something stupid like:
print array.lastIndex.indexNum
instead of
print array.count
The real concern here is not that it has a bug. All software has bugs. The concern is over what kind of QA was performed to guarantee our votes. If such a simple and obvious test case was not performed, how on earth are we to feel good about this machine?
At first, I was thinking,"Oh, maybe some people chose not to vote after calling up either Rep or Dem." But then I realized the math involved. The computer says 60 votes were cast for the Reps, but 61 votes are actually placed.
Sheesh, why does this have to be so difficult. We can conduct trillions of dollars of business electronically, but we still don't have an effective digital voting system? I think the conspiracy here is by someone who hates technology likes to kill trees for paper balloting, not that digital voting is being rigged.
Bearded Dragon
The little gnome in the machine made a slight error. So what?
Patents Drive Free Software as Hurricanes Drive Construction Industry
Mod down, way NSFW.
There is a war going on for your mind.
On the whole of it, I have a big problem with the "Winner takes all" system anyway, with the majority giving the power to a handful to beat up on us all. Not even getting into how the Republicans and the Democrats systemically shuts out all other parties.
But if we are going to have voting, at least make it fair. Give equal time to ALL parties, not just the D-R club, and use paper ballots under tight security. At least make "Democracy" less of a joke than it already is.
Ruby Neural Evolution of Augmenting Topologies
Considering that this article was listed as showing "11 of 3 Comments" I think this is quite a common problem.
Those who believe the Internet is private,
find their privates are on the Internet.
Ok, thats it! We need the source code for /. polls.
Great marketing strategy there guys!
I prefer Flambe as apposed flamebait.
can he show that it favors one side or another? If not, it just indicates a bug in the system and general incompetence. But if it shows a favor on one side or the other, well, that would indicate that we have an issue of voter fraud.
I prefer the "u" in honour as it seems to be missing these days.
Yea, that's the ticket, fuzzy logic!
The simple truth is that interstellar distances will not fit into the human imagination
- Douglas Adams
I honestly do not understand how companies screw up something as simple as a voting machine. A first year CS student could write it in Java in a weekend.
The only possible explanation is that the votes are intentionally being miscounted.
How is intentionally preventing auditing of the basic method of democracy anything less than treason? The Board of Directors should be jailed forever for condoning this activity by the Company's lawers.
I am really sorry, I don't mean to be off-topic. This voting machine problem is really big, but in my opinion it pales in comparison to another larger problem that no one seems to be addressing: people who vote that have no legal right to in this country.
I know in my area, this happens to be a huge problem that has no detection ability. I have personally seen illegal aliens standing in our lines to vote, because I could hear them speaking and laughing about it.
Case-in-point: My uncle (a very white southern-looking farmer-type) went to the local library to take his wife to vote. While he was there he was handed ballot with instructions for voting. He protested, "but I'm not a US citizen! I'm Canadian!"
"Oh!!! Well, give me that ballot back!!!"
THEY DIDN'T EVEN ASK IF HE WAS LEGAL TO VOTE FIRST.
How many illegal immigrants, convicted felons, and otherwise ineligible-to-vote people are participating in elections? Until you can filter out who is *supposed* to be voting in the first place, I don't see how a machine-count error makes any difference at all.
"They said I probly shouldn't fly with just one eye," "I am Bender. Please insert girder."
This is New Jersey why should bother with making sure the election machines can't be rigged. Hell, even our own NJ Supreme Court doesn't follow the NJ Constitution even when they rule something unconstitutional! Witness the 2002 Senate election when one candidate was replaced with another even though the Court ruled it was unconstitutional to do so. "Yeah, it's unconstitutional. Just don't do it again next time." As a Jersey resident, I'll be unsurprised if the election board allows the machines to be used anyway. Can't let some company's profit (and political payoffs) be sidelined by something as trivial as honest elections!
The machine do calculate correctly; only it gives the answer they want.
Mathematically speaking, proving a program correct from the source code is in generaly impossible (if you could do that you could, in particular, solve the halting problem). From the software engineering perspective it's true that examining the source code gives you greater confidence in the software than just black-box testing.
"math is hard!"
I have always thought that those machines should be open source so that everyone can see the source code. This would reduce any cries of fraud. just a thought
NSFW - a fairly average, and unskilled shock site. This idiot appears from a nerin.net (European) address every few months...
This story reminds me of yesterday's WTF...
Don't thank God, thank a doctor!
What we need is a company like Diebold or Sequoia to step up and guarantee the results of an election. I'm thinking the line could be: "If within the first 30 days, you're not 100% thrilled with the results of the election, we'll give you your old Republic back". That's right, the Republic-back guarantee, you heard it here first.
Everyone keeps saying that a solution to the problem of potential voter fraud would be to open-source the code. My question is -- how? Let's say they do and someone reads it and understands it; what guarantee does anyone have that the code they've published is the same as the code on the machines the day of the election? It would be absolutely trivial to cut out the naughty bits before publishing.
If Sequoia really were ready to commit mass voter fraud, I doubt they would have too many moral issues with violating the principles of open source while they're at it.
Or --more likely -- are they putting out the legal contract mumbo-jumbo to threaten NJ in order to avoid that exact scenario?
Where a truly intelligent voting machine company would do something smart like, say, having an independent commission produce a certification that the machine works properly, with the specification that the internals to the voting machine are only available in limited --but still auditable ways in case of dispute?
What think ye?
...Open Source isn't the only answer -- but it's almost always a better value than the alternatives...
If we have voting machines that cannot count, we might end up with another President that cannot pronounce nuclear.
We need to fix this, right away!
I went looking for a press release this morning only to find that they are down for maintenance. What incredibly good and completely coincidental timing for them! No available info at all...
Doesn't that error fall within the acceptable range for "Close enought for government work"?
Truly mathematically speaking, yes, it is generally impossible to write a computer program that can automatically verify whether a program works. You point out that if this were possible, it would be possible to solve the halting problem. But is there really a computer program that is correct but that humans cannot prove correct?
What a fool believes, he sees, no wise man has the power to reason away.
This is what it seems to boil down to. A citizen has doubts and concerns about the output of a voting machine and wants to test it to see if it's fatally flawed or there suspected discrepancy can be explained. I can understand the company not wanting specific details on the construction of the machine and the software it runs to be made public, but the problem here is the same one we saw when Microsoft attempted to enjoin anyone who purchased Windows Vista or Office, via the EULA & DMCA, from running and publishing benchmarks without Microsoft's express permission. It doesn't infringe on ANYONE'S purported IP to independently verify it functions the way it's advertised or see how it stacks-up against its competitors. And as far as benchmarks and testers go, the whole point is that it's a 3rd party and the public can evaluate their methods and decide whether the benchmark comparison is valid. By attempting to influence the independent testing process, Microsoft just made it look like they can't be trusted and they can't compete. That perception is more damaging, IMHO, than an unfavorable benchmark here or there.
It takes pretty big balls to demand trust in the manner Sequoia seems to be attempting to do, and bullying its customers (the American people!) with the threat of lawsuits if they don't trust it implicitly. They have sent the message loud and clear that they may have something to hide and neither they, nor their products, should be trusted. Hopefully the state of NJ will decertify their equipment for their troubles. But it is pretty sad if there's a reasonable explanation for the behavior, or some testing could lead to the discovery of a flaw that could be corrected transparently and restore voters' confidence.
Wordpress had a similar vulnerability allowing people to obfuscate URLs in that manner. They patched theirs, but apparently Yahoo's all cool with allowing such shenanigans.
In other words, don't click on the link, because it doesn't really take you to Yahoo.
by counting the number of people in the local cemeteries.
when I go to the polls I want to elect someone who cannot do arithmetic and that sort of machine sounds like the right tool for the job.
my town recently had a referendum and the votes dont add up. 2881 voted yes and 2467 voted no. This adds up to 5348 but the report shows a total of 5362. http://www.sussexcountyclerk.com/08ss.HTM/
That the officials couldn't fill out the date correctly? The tape says "On the Feb day of 5, 2008" Shouldn't it be the 5th day of Feb?
There exists individual computer programs such that humans cannot prove whether they terminates or not. For example, the program that enumerates all proofs in Peano arithmetic looking for a proof of a contradiction. This is an aspect of Gödel incompleteness.
Let me get this straight: you have the right to vote, but not for one of the smaller political parties?
To be, or not to be: isn't that quite logical, Slashdot Beta?
Maybe it's a feature... but, y'know, one the voting public wasn't supposed to know about.
Michael: "I must've put a decimal point in the wrong place or something. Shit, I always do that. I always mess up some mundane detail."
Peter: "Oh! Well, this is not a mundane detail, Michael!"
Michael: "Hey, quit getting pissed at me. Alright? This was all your idea, asshole!"
It is pitch black. You are likely to be eaten by a grue.
Typically bugs of this level are easily found during QA. They are only introduced when someone patches the code and bypass the QA process.
But what reason could people have to sneak in patches like that?
It disgusts me that slot machines are more secure than voting machines.
The machine counted the vote for Giuliani as being for the Democratic party.
.. paranoid crackpot leftover from the days of Amiga.
I was a poll worker in the 2006 election in Essex County, NJ. We were using the new Sequoia machines, for the first time in a general election, I believe. We experienced a discrepancy between the machine vote count and the count of paper tickets which are issued to the voters when they sign in to vote, and which are collected when the voter actually votes at the machine. We had 5 more votes than tickets, out of about 600 total votes in the precinct. The gap was present quite early in the day; a voting official who checked in at our precinct observed the gap at about 10 am. We had no clue how this came about, whether it was operator error on our part or whether the machines were just plain buggy or hacked. Apparently the problem was widespread, since a form letter was sent to poll workers that indicated discrepancies on a ward by ward basis. Never got resolved, as far as I know, nor did it get any meaningful coverage in the local or regional press. Without a full paper trail, I will never trust any electronic voting result.
Seriously guys, with basically a carte blance from both major parties at every level from local to state to federal, with a huge budget and the latest technological advances at your fingertips, you still can't plausibly rig an election? I tell you, the art sure has fallen from the glory days of LBJ. It really makes you wonder what has become of our once-great nation.
Today's Sesame Street was brought to you by the number e.
Four people signed off this paper-printed tally, apparently without even reading, much less checking the paper and catching the glaringly obvious error. FOUR people!
It also seems they did not read the text of the form above the signatures - where the form has a field for "day", they filled in "FEB" and where the month should have gone, they wrote in something that might be a "2".
Morale of the story: Not even the best paper trail or purely paper ballots will help you if they are controlled by people who don't know or don't care.
(Side note: I worked as a voting official in a local election over here in Austria two weeks ago. We still have only paper ballots, and during and after the count I constantly double-checked if our numbers added up. It should be an elemental check done by hand in every vote count.)
Axe me while I slumber
The only math a voting machine should be doing is adding 1 over and over again. Why does it have to be so complicated?
I used to do a bit of military surplus business, I wonder why the federal government hasn't set an open standard for voting equipment as they do with most general-purpose mil-spec equipment from socks to trucks. Every would-be manufacturer can submit a prototype, the government figures out which works best, sets the specifications and minimum requirements, and then releases the design to manufacturing. Anyone and everyone who can make the product to the government's standards gets a shot at filling the available contracts for the product, and I'd imagine whoever submitted the winning design gets some sort of bonus. That way, the spec becomes public, the designer benefits, and the process becomes transparent. That's how it works with military trucks (several companies make them, they may not be identical but the parts are interchangeable between manufacturers, and the plans are available to manufacturers who have been cleared and approved). Trust is not involved, everything basically functions the same, and there's no incentive for manufacturers to keep secrets. Most importantly, it would be transparent, just like punching holes in a piece of paper.