handouts/ho02.tex
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Fri, 03 Oct 2014 13:14:34 +0100
changeset 192 2cb42412f3fd
parent 191 f675aa15b6d0
child 193 a97b828bf87f
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     1
\documentclass{article}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     2
\usepackage{../style}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     3
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     4
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     5
\begin{document}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     6
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     7
\section*{Handout 2 (E-Voting)}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     8
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
     9
In security engineering, there are many counter-intuitive
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    10
phenomena: for example I am happy (more or less) to use online
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    11
banking every day, where if something goes wrong, I can
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    12
potentially lose a lot of money, but I am staunchly against
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    13
using electronic voting (lets call it e-voting for short).
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    14
E-voting is an idea that is nowadays often promoted in order
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    15
to counter low turnouts in elections\footnote{In my last local
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    16
election where I was eligible to vote only 48\% of the
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    17
population have cast their ballot. I was, I shamefully admit,
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    18
one of the non-voters.} and generally sounds like a good idea.
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    19
Right? Voting from the comfort of your own home, or on your
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    20
mobile on the go, what could possibly go wrong? Even the UK's
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    21
head of the Electoral Commission, Jenny Watson, argued in 2014
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    22
in a Guardian article that the UK should have e-voting. Her
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    23
plausible argument is that 76\% of pensioners in the UK vote
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    24
(in a general election?), but only 44\% of the under-25s. For
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    25
which constituency politicians might therefore make more
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    26
favourable (short-term) decisions is clear. So being not yet
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    27
pensioner, I should be in favour of e-voting, no?
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    28
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    29
Well, it turns out there are many things that can go wrong
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    30
with e-voting, as I like to argue in this handout. E-voting in
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    31
a ``secure way'' seems to be one of the things in computer
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    32
science that are still very much unsolved. It is not on the
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    33
scale of Turing's halting problem, which is proved that it can
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    34
never be solved in general, but more in the category of being
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    35
unsolvable with current technology. This is not just my
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    36
opinion, but also shared by many security researchers amogst
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    37
them Alex Halderman, who is the world-expert on this subject
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    38
and from whose course on Securing Digital Democracy I have
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    39
most of my information and inspiration. It is also a
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    40
controversial topic in many countries:
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    41
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    42
\begin{itemize}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    43
\item The Netherlands between 1997--2006 had electronic voting
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    44
      machines, but ``hacktivists'' had found they can be
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    45
      hacked to change votes and also emitted radio signals
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    46
      revealing how you voted.
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    47
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    48
\item Germany conducted pilot studies with e-voting, but in
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    49
      2007 a law suit has reached the highest court and it
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    50
      rejected e-voting on the grounds of not being
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    51
      understandable by the general public.
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    52
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    53
\item UK used optical scan voting systems in a few trail
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    54
      polls, but to my knowledge does not use any e-voting in
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    55
      elections.
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    56
      
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    57
\item The US used mechanical machines since the 1930s, later
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    58
      punch cards, now DREs and optical scan voting machines.
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    59
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    60
\item Estonia used since 2007 the Internet for national
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    61
      elections. There were earlier pilot studies for voting
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    62
      via Internet in other countries.
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    63
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    64
\item India uses e-voting devices since at least 2003. They
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
    65
      use ``keep-it-simple'' machines produced by a
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    66
      government owned company.
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    67
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    68
\item South Africa used software for its tallying in the 1993
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    69
      elections (when Nelson Mandela was elected) and found
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    70
      that the tallying software was rigged, but they were
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    71
      able to tally manually. 
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    72
\end{itemize}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    73
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    74
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    75
The reason that e-voting is such a hard problem is that we
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    76
have requirements about the voting process that conflict with
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    77
each other. The five main requirements for voting in general
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    78
are:
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    79
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    80
\begin{itemize}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    81
\item {\bf Integrity} 
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    82
  \begin{itemize}
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    83
  \item By this we mean that the outcome of the vote matches
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    84
        with the voters' intend. Note that it does not say
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    85
        that every vote should be counted as cast. This might
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    86
        be surprising, but even counting paper ballots will
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    87
        always have an error rate: people after several hours
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    88
        looking at ballots will inevitably miscount votes. But
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    89
        what should be ensured is that the error rate does not
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    90
        change the outcome of the election. Of course if
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    91
        elections continue to be on knives edges we need to
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    92
        ensure that we have a rather small error rate. 
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    93
          
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    94
  \item There might be gigantic sums at stake and need to be
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    95
        defended against. The problem with this is that if
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    96
        the incentives are great and enough resources are
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    97
        available, then maybe it is feasible to mount a DoS
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    98
        attack agains voting server and by bringing the
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    99
        system to its knees, change the outcome of an
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   100
        election. Not to mention to hack the complete
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   101
        system with malware and change votes undetectably.                
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   102
  \end{itemize}
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   103
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   104
\item {\bf Ballot Secrecy}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   105
  \begin{itemize}
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   106
  \item Nobody can find out how you voted. This is to avoid
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   107
        that voters can be coerced to vote in a certain way
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   108
        (for example by relatives, employers etc).
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   109
         
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   110
     \item (Stronger) Even if you try, you cannot prove how
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   111
           you voted. The reason for this is that you want to
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   112
           avoid vote coercion, but also vote selling. That
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   113
           this can be a problem is proved by the fact that
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   114
           some jokers in the recent Scottish referendum tried
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   115
           to make money out of their vote. \end{itemize}
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   116
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   117
\item {\bf Voter Authentication}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   118
  \begin{itemize}
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   119
  \item Only authorised voters can vote up to the permitted
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   120
        number of votes (in order to avoid the ``vote early,
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   121
        vote often'').
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   122
  \end{itemize}
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   123
  
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   124
\item {\bf Enfranchisement}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   125
  \begin{itemize}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   126
  \item Authorised voters should have the opportunity to vote.
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   127
        This can, for example, be a problem if you make the
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   128
        authorisation dependent on an ID card, say a driving
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   129
        license. Then everybody who does not have a license
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   130
        cannot vote. While this sounds an innocent
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   131
        requirement, in fact some parts of the population for
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   132
        one reason or another just do not have driving
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   133
        licenses. They are now excluded. Also if you insist on
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   134
        paper ballots you have to have special provisions for
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   135
        blind people. Otherwise they cannot vote.
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   136
 \end{itemize}
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   137
  
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   138
\item {\bf Availability}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   139
  \begin{itemize}
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   140
  \item The voting system should accept all authorised votes
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   141
        and produce results in a timely manner. If you move
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   142
        an election online, you have to guard agains DoS 
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   143
        attacks for example.
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   144
   \end{itemize}
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   145
\end{itemize}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   146
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   147
\noindent While these requirements seem natural, the problem 
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   148
is that they often clash with each other. For example
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   149
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   150
\begin{center}
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   151
integrity vs.~ballot secrecy\\
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   152
authentication vs.~enfranchisement
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   153
\end{center}
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   154
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   155
\noindent If we had ballots with complete voter
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   156
identification, then we can improve integrity because we can
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   157
trace back the votes to the voters. This would be good when
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   158
verifying the results or recounting. But such an
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   159
identification would violate ballot secrecy (you can prove to
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   160
somebody else how you voted). In contrast, if we remove all
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   161
identification for ensuring ballot secrecy, then we have to
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   162
ensure that no ``vote-stuffing'' occurs. Similarly, if we
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   163
improve authentication by requiring a to be present at the
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   164
polling station with an ID card, then we exclude absentee
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   165
voting.
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   166
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   167
To tackle the problem of e-voting, we should first have a look
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   168
into the history of voting and how paper-based ballots
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   169
evolved. Because also good-old-fashioned paper ballot voting
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   170
is not entirely trivial and immune from being hacked. We know
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   171
for sure that elections were held in Athens as early as 600
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   172
BC, but might even date to the time of Mesopotamia and also in
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   173
India some kind of ``republics'' might have existed before the
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   174
Alexander the Great invaded it. Have a look at Wikipedia about
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   175
the history of democracy for more information. These elections
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   176
were mainly based on voting by show of hands. While this
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   177
method of voting satisfies many of the requirements stipulated
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   178
above, the main problem with hand voting is that it does not
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   179
guaranty ballot secrecy. As far as I know the old greeks and
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   180
romans did not perceive this as a problem, but the result was
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   181
that their elections favoured rich, famous people who had
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   182
enough resources to swing votes. Even using small coloured
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   183
stones did not really mitigate the problem with ballot
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   184
secrecy. The problem of authorisation was solved by friends or
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   185
neighbours vouching for you to prove you are elegible to vote
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   186
(there were no ID cards in ancient Greece and Rome).
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   187
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   188
Starting with the French Revolution and the US constitution,
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   189
people started to value a more egalitarian approach to voting
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   190
and electing officials. This was also the time where paper
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   191
ballots started to become the prevailing form of casting
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   192
votes. While more resistant against voter intimidation, paper
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   193
ballots need a number of security mechanisms to avoid fraud.
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   194
For example you need voting booths to fill out the ballot in
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   195
secret. Also transparent ballot boxes are often used in order
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   196
to easily detect and prevent vote stuffing (prefilling the
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   197
ballot box with false votes). 
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   198
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   199
\begin{center}
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   200
\includegraphics[scale=2.5]{../slides/pics/ballotbox.jpg}
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   201
\end{center}
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   202
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   203
\noindent Another security mechanism is to guard the ballot
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   204
box against any tampering during the election until counting.
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   205
The counting needs to be done by a team potentially involving
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   206
also independent observers. One interesting attack against
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   207
completely anonymous paper ballots is called \emph{chain vote
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   208
attack}. It works if the paper ballots are given out to each
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   209
voter at the polling station. Then an attacker can give the
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   210
prefilled ballot to a voter. The voter uses this prefilled
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   211
ballot to cast the vote, and then returns the empty ballot
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   212
back to the attacker who now compensates the voter. The blank
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   213
ballot can be reused for the next voter. 
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   214
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   215
The point is that paper ballots have evolved over some time 
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   216
and no single best method has emerged for preventing fraud.
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   217
But the involved technology is well understood in order to
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   218
provide good enough security with paper ballots.
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   219
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   220
\subsection*{E-Voting}
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   221
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   222
If one is to replace paper ballots by some electronic
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   223
mechanism, one should always start from simple premise taken
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   224
from an Australian white paper about e-voting:
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   225
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   226
\begin{quote} \it ``Any electronic voting system should
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   227
provide at least the same security, privacy and transparency
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   228
as the system it replaces.''
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   229
\end{quote}
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   230
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   231
\noindent Whenever people argue in favour of e-voting they
192
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   232
seem to be ignore this basic premise.\bigskip
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   233
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   234
\noindent After the debacle of the Florida presidential
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   235
election in 2000, many counties used Direct-Recording
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   236
Electronic voting machines (DREs) or optical scan machines.
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   237
One popular model of DRE was sold by the company called
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   238
Diebold. In hindsight they were a complete disaster: the
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   239
products were inferior and the company incompetent. Direct
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   240
recording meant that there was no paper trail, the votes were
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   241
directly recorded on memory cards. Thus the voters had no
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   242
visible assurance whether the votes were correctly cast. The
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   243
machines behind these DREs were ``normal'' windows computers,
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   244
which could be used for anything, for example for changing
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   245
votes. Why did nobody at Diebold think of that? That this was
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   246
eventually done undetectably is the result of the
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   247
determination of ethical hackers like Alex Halderman. His
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   248
group thoroughly hacked them showing that election fraud is
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   249
easily possible. They managed to write a virus that infected
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   250
the whole system by having only access to a single machine.
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   251
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   252
What made matters worse was that Diebold tried to hide their
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   253
incompetency and inferiority of their products, by requiring
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   254
that election counties must not give the machines up for
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   255
independent review. They also kept their source secret. 
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   256
This meant Halderman and his group had to obatain a machine
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   257
not in the official channels. Then they had to reverse 
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   258
engineer the source code in order to design their attack. 
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   259
What this all showed is that a shady security design is no 
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   260
match to a determined hacker. 
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   261
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   262
Apart from the obvious failings (for example no papertrail),
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   263
this story also told another side. While a paper ballot box
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   264
need to be kept secure from the beginning of the election
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   265
(when it needs to be ensured it is empty) until the end of the
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   266
day, electronic voting machines need to be kept secure the
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   267
whole year. The reason is of course one cannot see whether
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   268
somebody has tampered with the program a computer is running.
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   269
Such a 24/7 security costly and often even even impossible,
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   270
because voting machines need to be distributed usually the day
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   271
before to the polling station. These are often schools where
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   272
the voting machines are kept unsecured overnight. The obvious
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   273
solution of putting seals on computers also does not work: in
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   274
the process of getting these DREs discredited (involving court
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   275
cases) it was shown that seals can easily be circumvented. The
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   276
moral of this story is that election officials were 
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   277
incentivised with money by the central government to obtain
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   278
new  voting equipment and in the process fell prey to pariahs
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   279
which sold them a substandard product. Diebold was not the
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   280
only pariah in this project, but one of the more notorious
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   281
one.
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   282
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   283
Optical scan machines are slightly better from a security
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   284
point of view but by no means good enough. Their main idea
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   285
is that the voter fills out a paper ballot, which is then 
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   286
scanned by a machine. At the very least the paper ballot can 
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   287
serve as a paper trail in cases an election result needs to
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   288
be recounted. But if one takes the paper ballots as the 
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   289
version that counts in the end, thereby using the optical 
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   290
scan machine only as a device to obtain quickly preliminary
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   291
results, then why not sticking with paper ballots in the 
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   292
first place?\bigskip 
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   293
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   294
\noindent An interesting solution for e-voting was designed in
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   295
India. Essentially they designed a bespoke voting device,
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   296
which could not be used for anything else. Having a bespoke
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   297
device is a good security engineering decision because it
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   298
makes the attack surface smaller. If you have a fullfledged
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   299
computer behind your system, then you can do everything a
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   300
computer can do\ldots{}that is a lot, including a lot of
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   301
abuse. What was bad that these machines did not have the
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   302
important paper trail: that means if an election was tampered
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   303
with, nobody would find out. Even if they had by their bespoke
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   304
design a very small attack surface, ethical hackers were still
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   305
able to tamper with them. The moral with Indian's voting
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   306
machines is that even if very good security design decisions
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   307
are taken, e-voting is very hard to get right.\bigskip 
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   308
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   309
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   310
\noindent This brings us to the case of Estonia, which held in
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   311
2007 the worlds first general election that used Internet.
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   312
Again their solution made some good choices: 
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   313
188
2555552d2c05 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 185
diff changeset
   314
%\subsubsection*{Questions}
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   315
188
2555552d2c05 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 185
diff changeset
   316
%Coming back to the question of why I use online banking, but 
2555552d2c05 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 185
diff changeset
   317
%prefer not to e-vote. 
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   318
188
2555552d2c05 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 185
diff changeset
   319
%Why do I use e-polling in lectures?
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   320
188
2555552d2c05 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 185
diff changeset
   321
%Imagine you have a perfectly secure internet voting system, by
2555552d2c05 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 185
diff changeset
   322
%which I mean nobody can tamper with or steal votes between
2555552d2c05 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 185
diff changeset
   323
%your browser and the central server responsible for vote
2555552d2c05 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 185
diff changeset
   324
%tallying. What can still go wrong with such a perfectly secure
2555552d2c05 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 185
diff changeset
   325
%voting system, which is prevented in traditional elections
2555552d2c05 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 185
diff changeset
   326
%with paper-based ballots?
157
3a8fff66d62b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 156
diff changeset
   327
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   328
\end{document}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   329
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   330
%%% Local Variables: 
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   331
%%% mode: latex
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   332
%%% TeX-master: t
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   333
%%% End: