Photograph of me lecturing at the blackboard (credit: R. Benjamin Shapiro, 2002).
Activities and upcoming events that I'm involved with:
IEEE Security & Privacy (ongoing)
NSA SoS Best Paper Competition (annually, deadlines in April)
IEEE Cybersecurity Award for Practice (annually, next deadline: July 1, 2023)
CSET 2023 (August 7, 2023)
NSPW 2023 (September 18–21, 2023)
2023 NSF Cybersecurity Summit (Oct. 24–26, 2023)
IEEE S&P (Oakland) 2024 (May 20–23, 2024)
Elections and Electronic VotingWe have had a several different thrusts to our work with elections and electronic voting.
One key thrust is to explore process composition tools as applied to elections, concentrating particularly on mail-in and Internet voting. This includes exploration of how to compose systems from pre-analyzed process components, how to analyze the vulnerability of these systems to attacks, and how to guarantee that important security properties are ensured for the resulting composed system. The underlying processes represent aspects of national and local elections, their composition produces an election process, and analysis of the composition gives insight into potential errors or attacks on the election. Providing an approach for formally reasoning about human participation extends current security work. The project also breaks new ground by exploring process-based approaches for modeling and defending against attacks.
The thrust that we have examined previously looked at auditing. Election auditing verifies that the systems and procedures work as intended, and that the votes have been counted correctly. If a problem arises, forensic techniques enable auditors to determine what happened and how to compensate if possible. Complicating this is that the audit trails enabling analysis of failures may contain information that either exposes the identity of the voter (enabling voter coercion, for example); or that communicates a message to a third party (enabling vote selling). The goal of this project was to determine the information needed to assess whether the election process in general, and e-voting machines in particular, operate with the desired degree of assurance, especially with respect to anonymity and privacy.
We work closely with the Marin County Registrar of Voters' office and the Yolo County Clerk-Recorder's office.
We also collaborate closely with Lee Osterweil, Lori Clarke, George Avrunin, and their graduate students and postdocs in the LASER Lab at UMass Amherst.
Researchers at or affiliated with UC Davis who are currently involved are:
Researchers previously involved:
Past sponsors: National Science Foundation CCF-0905503, CNS-1049738, CNS-1258577, and NIST
More information on the UMass Amherst Elections page
Artifacts and full fault trees also available at UMass Amherst's pages.
Publications resulting from this project:
American Bar Association Buzz: "Resolving the Unexpected in Elections," October 2008.
Pew Center on the States electionlineWeekly: "Resolving the Unexpected in Elections: Election Officials' Options," October 23, 2008.
The definitive versions of the papers posted on this page were first published in the venues indicated. In accordance with publisher copyright policies, these papers are pre-prints or post-prints, and are not the pubilsher's version.
Personal use of the material posted on this page is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the original publishers.
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Last modified: Monday, 26-Apr-2021 15:34:03 PDT