Abstract
Electronic voting technology is a two edged sword. It comes with many risks but brings also many benefits. Instead of flat out rejecting the technology as uncontrollably dangerous, we advocate in this paper a different technological angle that renders electronic elections trustworthy beyond the usual levels of doubt. We exploit the trust that voters currently have into the democratic process and model our techniques around that observation accordingly. In particular, we propose a technique of trace emitting computations to record the individual steps of an electronic voting machine for a posteriori validation on an acceptably small trusted computing base. Our technology enables us to prove that an electronic elections preserves the voter’s intent, assuming that the voting machine and the trace verifier are independent.
Original language | English |
---|---|
Title of host publication | First International Workshop on Requirements Engineering for e-Voting Systems (RE-VOTE), 2009 |
Publisher | IEEE Communications Society |
Publication date | 2010 |
ISBN (Print) | 978-1-4244-7698-5 |
DOIs | |
Publication status | Published - 2010 |
Event | Requirements Engineering for E-voting Systems - Atlanta, United States Duration: 31 Aug 2009 → 31 Aug 2009 Conference number: 1 |
Conference
Conference | Requirements Engineering for E-voting Systems |
---|---|
Number | 1 |
Country/Territory | United States |
City | Atlanta |
Period | 31/08/2009 → 31/08/2009 |
Keywords
- Electronic voting technology
- Trustworthy electronic elections
- Posteriori validation
- Trace emitting computations
- Trusted computing base