Person:

DeMillo, Richard A.

Permanent Link

https://hdl.handle.net/1853/71203

Associated Organization(s)

Organizational Unit

School of Computer Science

School established in 2007

Full item page

Publication Search Results

Now showing 1 - 10 of 12

Roots of Distrust: Modern Technology and the Impact of a 19th Century Voter Suppression Plan

(Georgia Institute of Technology, 2025-01-16) DeMillo, Richard

Much effort is devoted these days to understanding the root cause of distrust in election systems. Little effort is devoted to understanding the relationship between election technology and the historically significant distrust in populations whose rights have been denied. In this talk, I will first draw connections between the modern language used to justify the computerization of elections and the language of the Post-Reconstruction revision of the constitution of the state of Mississippi. I will use this analogy to bolster the argument that in modern times building "trust" in elections is counter-productive and that energy is better spent on developing confidence-building evidence-based methods for reaching agreement on election outcomes.
Usability, Privacy, Cybersecurity And The Right To Vote: Why Elections Are Not As Simple As They Seem

(Georgia Institute of Technology, 2019-09-05) DeMillo, Richard A.

All modern public elections in the United States use computers called voting machines to automate at least part of the voting process. Like all computers, voting machines can be misprogrammed, misconfigured, misused and hacked. Poorly secured data, open networks, and aging computing equipment with known vulnerabilities to malware are all subject to attack. There is substantial evidence that foreign adversaries have infiltrated American election systems and there is growing evidence that election results were affected. Federal agencies, the Intelligence Community, and congressional committees all agree that action is required. This talk will focus on the unique aspects of elections from a computing standpoint: (1) Why are there not national standards? (2) What cybersecurity tools would make elections more secure? (3) How does the right to a secret ballot affect election technology? (4) What is the future of electronic voting in the state of Georgia? In this talk I will pay special attention to usability and privacy problems and point out areas in which improved understanding of cognitive limitations of voters can influence public policy. This work is based in part on a recent paper entitled “Ballot Marking Devices (BMDs) cannot assure the will of the voters,” by Philip Stark, Andrew Appel, and me. This paper can be downloaded here:https://dx.doi.org/10.2139/ssrn.3375755
Experimental and theoretical research on program mutation

(Georgia Institute of Technology, 1985) DeMillo, Richard A.
Software test and evaluation study phase I and II : survey and analysis

(Georgia Institute of Technology, 1985) DeMillo, Richard A.
Software test and evaluation project, phases III and IV

(Georgia Institute of Technology, 1983) DeMillo, Richard A.
Models of computation and algorithms

(Georgia Institute of Technology, 1982) DeMillo, Richard A.
Model theory of algorithmic logics

(Georgia Institute of Technology, 1981) DeMillo, Richard A.
Foundations of determinixtic (i.e. deterministic) scheduling of programs for parallel execution

(Georgia Institute of Technology, 1980) DeMillo, Richard A.
Metainduction and program mutation: realistic software validation

(Georgia Institute of Technology, 1979) DeMillo, Richard A.
Foundations of secure computation

(Georgia Institute of Technology, 1978) DeMillo, Richard A.