Trustworthy reliable elections?
Carsten Schuermann (IT University of Copenhagen)
NICTA LC SEMINARDATE: 2008-08-21
TIME: 16:00:00 - 17:00:00
LOCATION: NICTA - 7 London Circuit
CONTACT: JavaScript must be enabled to display this email address.
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, I concentrate in my talk on the question of guaranteeing the reliability of trust preserving tallying using logical framework technology leaving questions of the security alone.
In particular, we propose a technique of emph{trace emitting
computations} to record the individual steps of an electronic voting
machine for a posteriori validation on an acceptably small trusted
base of computation. Our technology enables electronic elections to
be intent preserving.
