Person:
DeMillo,
Richard A.
DeMillo,
Richard A.
Permanent Link
Associated Organization(s)
Organizational Unit
ORCID
ArchiveSpace Name Record
11 results
Publication Search Results
Now showing
1 - 10 of 11
-
ItemUsability, 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
-
ItemExperimental and theoretical research on program mutation(Georgia Institute of Technology, 1985) DeMillo, Richard A.
-
ItemSoftware test and evaluation study phase I and II : survey and analysis(Georgia Institute of Technology, 1985) DeMillo, Richard A.
-
ItemSoftware test and evaluation project, phases III and IV(Georgia Institute of Technology, 1983) DeMillo, Richard A.
-
ItemModels of computation and algorithms(Georgia Institute of Technology, 1982) DeMillo, Richard A.
-
ItemModel theory of algorithmic logics(Georgia Institute of Technology, 1981) DeMillo, Richard A.
-
ItemFoundations of determinixtic (i.e. deterministic) scheduling of programs for parallel execution(Georgia Institute of Technology, 1980) DeMillo, Richard A.
-
ItemMetainduction and program mutation: realistic software validation(Georgia Institute of Technology, 1979) DeMillo, Richard A.
-
ItemFoundations of secure computation(Georgia Institute of Technology, 1978) DeMillo, Richard A.
-
ItemResearch in graph theoretic models of control & data structures(Georgia Institute of Technology, 1977) DeMillo, Richard A.