Blockchains in Election Contexts

Click Here to return to the main Ask an Expert page

newbenalohdsJosh Benaloh

Contact

email via josh@electionverification.org

Bio

Josh Benaloh is Senior Cryptographer at Microsoft Research and an elected director of the International Association for Cryptologic Research. He earned his S.B degree from the Massachusetts Institute of Technology and M.S., M.Phil. and Ph.D. degrees from Yale University where his 1987 doctoral dissertation, Verifiable Secret-Ballot Elections, introduced the use of homomorphic encryption to enable end-to-end verifiable election technologies. Dr. Benaloh’s numerous research publications in cryptography and voting have pioneered new technologies including the “cast or spoil” paradigm that brings voters into the verification process with minimal burden. He has served on the program committees of dozens of cryptography and election-related conferences and workshops and is a frequent speaker on the history, development, and mechanisms behind verifiable voting.  Among other side interests, Dr. Benaloh recently completed two years as chair of the Citizen Oversight Panel for the Seattle region’s Sound Transit agency that is currently investing about $1 billion per annum in improving the region’s mass transit infrastructure. He has also authored numerous puzzles used in a variety of Seattle-area puzzle competitions.

Expert Areas

Verifiable Election Technologies

Nature of Communications

Limited


duncandsDr. Duncan Buell

Contact

email via duncan@electionverification.org

Bio

Dr. Buell is a professor in the Department of Computer Science and Engineering at the University of South Carolina. He has been chair of the department, interim dean of the college, and holds the NCR Chair in Computer Science and Engineering. Previous employment included fifteen years at the Supercomputing Research Center/Center for Computing Sciences of the Institute for Defense Analyses. Duncan has experience in big data computations, cryptographic mathematics, and the design of specialized hardware systems. He has worked with the League of Women Voters of South Carolina in the analysis of election data in South Carolina, and his software has been used for election data analysis in other states that use similar voting machines. He has been an expert witness on issues of open records for election data and intellectual property claims in software and hardware systems and served as technical consultant in the analysis of very long lines in Richland County SC in the 2012 general election.

Expert Areas

Correctness and security of electronic election systems, analysis and audit of election data for correctness and completeness, Internet voting.

Nature of Communications

Willing to be interviewed on the record for national and regional media (written or recorded), available for television and radio interviews; available as an expert witness (pro bono or paid, depending upon the client).


Aleks EssexDr. Aleks Essex

Contact

email via info@electionverification.org

Bio

Aleksander Essex is an assistant professor in the Department of Electrical and Computer Engineering at The University of Western Ontario, and head of the Western Information Security and Privacy Research Laboratory. He specializes in applied cryptography and network security, with a focus on cyber threats to electronic and online voting.
During his graduate research he worked with eminent cryptographers David Chaum and Ron Rivest to develop cryptographic techniques for publicly end-to-end (E2E) verifiable elections. In 2007 he co-organized the first E2E deployment in a binding election for the University of Ottawa’s graduate students’ union. In 2009, and again in 2011, he was part of a team led by Chaum and Rivest that deployed Scantegrity in Takoma Park, MD-–the first E2E verifiable system used in a governmental election.
Part of his research focuses on applications of cryptography to the sharing of health information, such as private records linkage and genomic privacy. His postdoctoral work at the Children’s Hospital of Eastern Ontario focused on the design of secure protocols for public-health surveillance. His work in applied cryptography includes the recent discovery of an RSA-based public-key encryption scheme for homomorphically computing one-sided threshold functions.
His recent work in election technology has focused on the discovery and exploitation of vulnerabilities in existing online voting deployments. In 2015 his research group discovered vulnerabilities in the Helios voting website including allowing a disgruntled voter to prevent election results from being decrypted, or for an attacker to cast arbitrarily many votes (even negative votes), while presenting valid cryptographic “proof” the election was counted correctly. He was part of the research team that studied the iVote internet voting system used in the Western Australia state election in 2017, which raised important questions about extent of trust placed in cloud providers in the election setting.
In 2014 he served as a subject matter expert evaluating the security of vendor proponent systems in the city of Toronto’s internet voting RFP process. He co-authored a report finding that no proposal met the city’s security requirements, which has been made available online by Verified Voting under freedom of information.
He has contributed to several recent decisions in Canada at various levels of government declining (and in one case reversing) the adoption of online voting, including by the parliamentary Special Committee on Electoral Reform (2016), the New Brunswick Special Commission on Electoral Reform (2016), the city of Toronto (2016), and the city of Guelph (2017).
Dr. Essex received a Ph.D. in computer science from the University of Waterloo in 2012. He is a member of the IEEE, ACM, EVN, and is a licensed professional engineer in Ontario.


Candice Hoke Candice Hoke

Contact

email via info@electionverification.org

Bio

S. Candice Hoke is a widely recognized national authority on laws governing election technologies, election management, and federal regulatory programs reflecting federalism values. Her most recent publications focus on election technology regulatory issues, some of which were co-authored with computer security scientists. Hoke presents her research in academic, technology, and election policy forums throughout the country. She has testified before Congress on federalism aspects of health care reform legislation and on election policies needed to achieve greater public accountability. She founded and directed the Center for Election Integrity, which conducted nationally unprecedented field research on deployed voting technologies and election administration management problems. Her research and policy leadership has led to major national foundation funding and to foundation consulting work on election policy issues. She served three terms on the American Bar Association’s Advisory Commission on Election Law. She has consulted with all levels of government on election policies and technology issues. She serves on the Advisory Boards for the Verified Voting Foundation and other nonpartisan election improvement nonprofits located in Florida and Michigan.


kiniryzDr. Joseph Kiniry

Contact

email via joe@electionverification.org

Bio

Dr. Kiniry is a Principal Investigator at Galois and the Principled CEO and Chief Scientist at Free & Fair. Over the past decade he has held permanent positions at four universities in Denmark, Ireland, and The Netherlands. Joe has extensive experience in formal methods, high-assurance software engineering, foundations of computer science and mathematics, and information security. He has over ten years experience in the design, development, support, and auditing of supervised and internet/remote electronic voting systems. He co-led the DemTech research group at the IT University of Copenhagen and has served as an adviser to the Dutch, Irish, and Danish governments in matters relating to electronic voting.

Expert Areas

Elections systems correctness and security, certification of election systems, hacking election systems, hacktivism, systems and election auditing, risk-limiting audits, the modern state of affairs in Internet Voting, the current worldwide state of the elections business, elections methods and technology in the USA and around the rest of the world.

Nature of Communications

Willing to go on the record for major national and regional media (written or recorded), available for television and radio interviews; available for expert witness consulting (pro bono or paid, depending upon the client).


mcburnettNeal McBurnett

Contact

email via

Bio

Neal McBurnett is an independent consultant in election integrity and security. He has worked to improve election integrity since 2002 by pioneering post-election audits, working with election administrators, legislators and secretaries of state. He did the first risk-limiting audit outside California, and collaborated on Colorado’s Risk Limiting Audit project and ballot-level risk-limiting audits that reached new levels of efficiency and scale. He also audited the innovative Scantegrity end-to-end-verifiable election in Takoma Park MD in 2011, and is a member of the STAR-Vote design team.

Neal has also worked on data format standards for elections via the IEEE and the US Election Assistance Commission (EAC), and is active with the Election Verification Network. He has computer science degrees from Brown and Berkeley, and worked for Bell Labs, Internet2 and Databricks. He can often be found dancing in one of the Avalon ballrooms in Boulder Colorado.

Expert Areas

Election auditing, election data formats and standards

Nature of Communications

Prefer initial contact by e-mail, Willing to be interviewed on the record for national and regional media (print or broadcast)


newrivestdsRon Rivest

Contact

email via ron@electionverification.org

Bio

Ron Rivest is an Institute Professor at MIT in EECS, CSAIL, the Theory Group and the Cryptography and Information Security Group.  His research includes cryptography, security, algorithms, and voting systems.  Rivest is a co-inventor of the RSA public-key cryptosystem, a founder of RSA and of Verisign.  He received the 2002 ACM Turing Award with Adi Shamir and Len Adleman.  He is a co-author of “Introduction to Algorithms”, a member of the NAE and the NAS, and a fellow of ACM, IACR, and AAAS.  He is on the EPIC Advisory Board and the board of Verified Voting.

Expert Areas

Election systems correctness and security, certification of election systems, election auditing, risk-limiting audits, end-to-end verifiable voting system, the insecurity of Internet Voting.

Nature of Communications

Willing to go on the record for major national and regional media (written or recorded), available for television and radio interviews. (On sabbatical Fall 2016, so availability may be somewhat limited.)


teaguedsDr. Vanessa Teague

Contact

email via vanessa@electionverification.org

Bio

Dr Vanessa Teague is a Senior Lecturer in the Department of Computing and Information Systems at The University of Melbourne, Australia.

Her main research interest is in electronic voting, with a focus on cryptographic schemes for end-to-end verifiable elections and a special interest in complex voting schemes such as IRV and STV. She was a major contributor to the Victorian Electoral Commission’s end-to-end verifiable electronic voting project, the first of its kind to run at a state level anywhere in the world, joint work with Chris Culnane, Peter Ryan and Steve Schneider. She recently discovered, with Alex Halderman, serious security vulnerabilities in the NSW iVote Internet voting system.

She is on the advisory board of Verified Voting and has been co-chair of the USENIX Electronic Voting Technologies Workshop and the (European) International conference on E-voting and identity.

This year she was awarded the EVN’s award for research excellence in e-voting integrity.

Expert Areas

Verification of electronic election outcomes, particularly cryptographic verification protocols and complex voting schemes such as IRV and STV.

Nature of Communications

Willing to be interviewed on the record for national and regional media (written or recorded), available for television and radio interviews; available as an expert witness (pro bono or paid, depending upon the client).