ELECTRONIC VOTING SYSTEMS André Martins Hugo António Miguel Cordeiro Pedro Akos

Evidence based elections An election should not only find out who won, but should also provide convincing evidence that the winner really won. (Stark & Wagner 2012)

Direct Recording Eletronic (DRE) Voting system where voter uses a graphical interface to cast the vote. VVPAT – may be attached to print the casted vote information (introduces Auditability and improves vote transparency)

Electronic Ballot Printer Similar to DRE but the user has to manually insert the vote into the ballot box.

Optical Mark Recognition Similar to standart voting. Manually cast the vote, manually insert the vote into the ballot box. Vote counting is automated.

I-voting Remote vote casting. Introduces possible vulnerabilities and authentication problems.

Desirable properties RELIABILITY INTEGRITY AUDITABILITY

Reliability An election should not only find out who won, but should also provide convincing evidence that the winner really won. (Stark & Wagner 2012)

Integrity – E2E CAST AS INTENDED RECORDED AS CAST TALLIED AS RECORDED Benaloh Challenge CAST AS INTENDED Integrity – E2E CD-ROM RECORDED AS CAST Public Boletin Board TALLIED AS RECORDED

WOMBAT TICKET Wombat Voting System WOMBAT VOTING

Vote Auditing

United States Use case

I-voting, a distant future. Thank you! (come again)