handouts/ho02.tex
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Wed, 01 Oct 2014 16:18:51 +0100
changeset 190 4ee6812ab436
parent 188 2555552d2c05
child 191 f675aa15b6d0
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
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    65
      used ``keep-it-simple'' machines produced by a
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
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   100
        election.                
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   101
  \end{itemize}
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   102
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   103
\item {\bf Ballot Secrecy}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   104
  \begin{itemize}
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   105
  \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
   106
        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
   107
        (for example by relatives, employers etc).
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   108
         
185
f10d905e947f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 157
diff changeset
   109
  \item (Stronger) Even if you try, you cannot prove how you
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   110
        voted. The reason is that you want to avoid vote
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   111
        coercion but also vote selling. That this is a problem
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   112
        is proved by the fact that some jokers in the recent
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   113
        Scottish referendum tried to make money out of their
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   114
        vote. 
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   115
  \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
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   128
        authorisation dependent on an ID card, say a
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   129
        driving license: then everybody who does not have a
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   130
        license cannot vote. While this sounds an innocent
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   131
        requirement, in fact some parts of the population 
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   132
        for one reason or the other just do not have 
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   133
        driving licenses. They are now excluded. Also if
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   134
        you insist on paper ballots you have to have special
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   135
        provisions for them.  
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
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 
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   143
        attacks.
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
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   158
verifying the results. But such an identification would
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   159
violate ballot secrecy (you can prove to somebody else how you
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   160
voted). In contrast if we remove all identification for
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   161
ensuring ballot secrecy, then we have to ensure that no
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   162
``vote-stuffing'' occurs.
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   163
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   164
Similarly, if we improve authentication, \ldots
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   165
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   166
To tackle the problem of e-voting, we must first have a look
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   167
into the history of voting and how paper-based ballots 
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   168
evolved. We know for sure that elections were held in Athens
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   169
as early as 600 BC, but might even date to the time of
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   170
Mesopotamia and also in India some kind of ``republics'' might 
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   171
have existed before the Alexander the Great invaded it.
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   172
Have a look at Wikipedia about the history of democracy for 
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   173
more information.
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   174
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   175
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   176
188
2555552d2c05 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 185
diff changeset
   177
%\subsubsection*{Questions}
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   178
188
2555552d2c05 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 185
diff changeset
   179
%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
   180
%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
   181
188
2555552d2c05 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 185
diff changeset
   182
%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
   183
188
2555552d2c05 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 185
diff changeset
   184
%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
   185
%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
   186
%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
   187
%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
   188
%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
   189
%with paper-based ballots?
157
3a8fff66d62b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 156
diff changeset
   190
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   191
\end{document}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   192
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   193
%%% Local Variables: 
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   194
%%% mode: latex
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   195
%%% TeX-master: t
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   196
%%% End: