301 Week 3 Coda in the Key of F2654hD4 and Douglas Jones on Today's Voting Machines

0.0(0)
Studied by 0 people
call kaiCall Kai
Locked
learnLearn
examPractice Test
spaced repetitionSpaced Repetition
heart puzzleMatch
flashcardsFlashcards
GameKnowt Play
Card Sorting

1/12

encourage image

There's no tags or description

Looks like no tags are added yet.

Last updated 7:24 PM on 9/25/26
Name
Mastery
Learn
Test
Matching
Spaced
Call with Kai
Chat

No analytics yet

Send a link to your students to track their progress

13 Terms

1
New cards

In the story behind the Diebold AccuVote voting machines scandal, what was "F2654hD4?"

An encryption key hard-coded into the voting machine source code.

2
New cards

When was the digital encryption standard (DES) deprecated by the National Institute of Standards and Technology?

When it was replaced by the Advanced Encryption Standard in 2001

3
New cards

List three vulnerabilities of the AccuVote source code that were identified by computer scientist Aviel Rubin.

Election officials' all had a default "1111" pin, The system used to anonymize the voting order didn't work properly, Cryptography was not properly utilized where it was required

4
New cards

List two deficiencies in the DieBold Accuvote system identiied by Harri Hursti.

Removable memory, Easy-to-circumvent hardware security

5
New cards

How do Independent Testing Authorities (ITAs) validate voting machines?

ITAs compare voting machine results with past outcomes or canned datasets.

6
New cards

Why are the ITAs as they're currently configured inadequate to validate election equipment?

ITAs don't inpect "under the hood" of voting machines for vulnerabilities.

7
New cards

Are computing professionals allowed to inspect the source code of voting equipment?

Yes

8
New cards

What is the standard procedure for determining weaknesses/vulnerabilities in source code?

Running source code through a commercial-quality source code analyzer

9
New cards

List three vulnerabilities of the DieBold AccuVote source code identified by the UC Berkeley computer scientists.

Buffer overruns, Buffer underruns, Pointer errors

10
New cards

What models do computer scientists use to validate mission-critical systems like those used in aircraft, by NASA, etc.

High-confidence software development paradigms

11
New cards

What do voter verifiable paper audit trails (VVPAT) verify?

The most recent behavior of the particular voting machine.

12
New cards

What is the weakness of the current implementations of VVPAT?

It cannot verify for voters that their vote was counted.

13
New cards

What is the part of today's digital voting systems that is the most vulnerable?

DRE voting machines