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

2. 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)

3. 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)

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

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

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

7. Desirable properties
RELIABILITY
INTEGRITY
AUDITABILITY

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

9. 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

10. WOMBAT TICKET
Wombat Voting System
WOMBAT VOTING

11. Vote Auditing

12. United States
Use case

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