handouts/ho02.tex
author Christian Urban <urbanc@in.tum.de>
Sun, 24 Sep 2017 18:03:21 +0100
changeset 529 9b01bb695b22
parent 466 ddf7315450c9
child 541 5cd1865d45bd
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}
193
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
     3
\usepackage{../langs}
156
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}
466
ddf7315450c9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 462
diff changeset
     6
\fnote{\copyright{} Christian Urban, 2014, 2015, 2016}
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     7
415
56bc53ba7c5b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 404
diff changeset
     8
456
f65e4fa6e902 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 447
diff changeset
     9
%% second angle of the problem
f65e4fa6e902 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 447
diff changeset
    10
%Jonathan Zittrain is interested in algorithmic accountability,
f65e4fa6e902 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 447
diff changeset
    11
%from Facebook’s ability to tell that two people are in a
f65e4fa6e902 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 447
diff changeset
    12
%relationship before they announce it, to their ability to
f65e4fa6e902 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 447
diff changeset
    13
%engineer an election by prompting one side’s supporters.
f65e4fa6e902 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 447
diff changeset
    14
%They’d be in the soup if they were caught, but they have been
f65e4fa6e902 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 447
diff changeset
    15
%near the soup a number of times. One internal meeting had the
f65e4fa6e902 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 447
diff changeset
    16
%question “What responsibility does FB have to prevent
f65e4fa6e902 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 447
diff changeset
    17
%President Trump?” That has repudiated once leaked, but the age
f65e4fa6e902 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 447
diff changeset
    18
%of innocence is behind us. Back in 2005 Google apologised when
f65e4fa6e902 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 447
diff changeset
    19
%the hate site “jew watch news” appeared in search results for
f65e4fa6e902 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 447
diff changeset
    20
%“jew”; but the site has morphed from tool to friend.
f65e4fa6e902 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 447
diff changeset
    21
%Facebook’s M and Apple’s Siri are the same. This leads
f65e4fa6e902 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 447
diff changeset
    22
%Jonathan to the idea of “information fiduciaries” whereby the
f65e4fa6e902 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 447
diff changeset
    23
%big firms would have to put user welfare first like doctors or
f65e4fa6e902 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 447
diff changeset
    24
%lawyers. Should Google tell you to vaccinate your child?
f65e4fa6e902 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 447
diff changeset
    25
%Already in Europe they suppress hate speech and promote
f65e4fa6e902 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 447
diff changeset
    26
%counter-narratives. To whom does Uber owe a fiduciary duty –
f65e4fa6e902 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 447
diff changeset
    27
%the driver or the passenger? And should data scientists join
f65e4fa6e902 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 447
diff changeset
    28
%divines, medics, lawyers and surveyors as a learned
f65e4fa6e902 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 447
diff changeset
    29
%profession?
f65e4fa6e902 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 447
diff changeset
    30
461
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 456
diff changeset
    31
% recent
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 456
diff changeset
    32
%http://www.secretballotatrisk.org
462
33dcbafb27ce updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 461
diff changeset
    33
%
33dcbafb27ce updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 461
diff changeset
    34
%Andrew Appel has a good two-part essay on securing elections.
33dcbafb27ce updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 461
diff changeset
    35
%https://freedom-to-tinker.com/blog/appel/security-against-election-hacking-part-1-software-independence/
33dcbafb27ce updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 461
diff changeset
    36
%https://freedom-to-tinker.com/blog/appel/security-against-election-hacking-part-2-cyberoffense-is-not-the-best-cyberdefense/
415
56bc53ba7c5b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 404
diff changeset
    37
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    38
\section*{Handout 2 (E-Voting)}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    39
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    40
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
    41
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
    42
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
    43
potentially lose a lot of money, but I am staunchly against
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
    44
using electronic voting (let's call it e-voting for short).
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    45
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
    46
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
    47
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
    48
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
    49
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
    50
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
    51
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
    52
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
    53
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
    54
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
    55
(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
    56
which constituency politicians might therefore make more
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    57
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
    58
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
    59
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    60
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
    61
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
    62
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
    63
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
    64
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
    65
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
    66
unsolvable with current technology. This is not just my
195
78309f29a58f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 194
diff changeset
    67
opinion, but also shared by many security researchers amongst
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    68
them Alex Halderman, who is the world-expert on this subject
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
    69
and from whose Coursera course on Securing Digital Democracy I
443
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
    70
have most of my information and inspiration on this topic. It
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
    71
is also a 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
    72
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    73
\begin{itemize}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    74
\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
    75
      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
    76
      hacked to change votes and also emitted radio signals
386
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
    77
      revealing how you voted. Now e-voting has been abandoned
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
    78
      in the Netherlands.
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    79
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    80
\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
    81
      2007 a law suit has reached the highest court and it
443
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
    82
      rejected e-voting on the grounds of the mechanisms
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
    83
      behind it not being understandable to the general
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
    84
      public.
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    85
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
    86
\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
    87
      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
    88
      elections.
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    89
      
443
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
    90
\item The US used mechanical machines since the 1930s, later
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
    91
      punch cards, now DREs and optical scan voting machines.
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
    92
      But there is a lot of evidence that DREs and optical
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
    93
      scan voting machines are not as secure as they should
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
    94
      be. Some states experimented with Internet voting, but
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
    95
      all experiments have been security failures. One
466
ddf7315450c9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 462
diff changeset
    96
      exceptional election happened just after hurricane Sandy
443
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
    97
      in 2012 when some states allowed emergency electronic
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
    98
      voting. Voters downloaded paper ballots and emailed them
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
    99
      back to election officials.
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   100
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   101
\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
   102
      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
   103
      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
   104
328
7ae9a893b76f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 325
diff changeset
   105
\item The Australian parliament ruled in 2014 that e-voting is
7ae9a893b76f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 325
diff changeset
   106
      highly vulnerable to hacking and will not use it any time
7ae9a893b76f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 325
diff changeset
   107
      soon. That is because it is still not as secret and 
7ae9a893b76f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 325
diff changeset
   108
      secure as paper ballots, the parliamentary committee 
7ae9a893b76f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 325
diff changeset
   109
      in charge concluded.
445
9ad6445a0354 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 443
diff changeset
   110
      
9ad6445a0354 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 443
diff changeset
   111
\item Norway experimented with Internet voting, but their
9ad6445a0354 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 443
diff changeset
   112
      interest fizzled away after some tries. Their idea was
9ad6445a0354 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 443
diff changeset
   113
      to get Internet voting ``right'' --- it is a small,
9ad6445a0354 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 443
diff changeset
   114
      prosperous and stable country, which can afford with
9ad6445a0354 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 443
diff changeset
   115
      playing with new ways of exercising their democratic
9ad6445a0354 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 443
diff changeset
   116
      voting rights. Well, e-voting is an incredibly difficult
9ad6445a0354 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 443
diff changeset
   117
      problem, even in such favourable circumstances, as
9ad6445a0354 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 443
diff changeset
   118
      explained in this video from the Chaos Computer Club
9ad6445a0354 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 443
diff changeset
   119
      conference in 2014:
9ad6445a0354 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 443
diff changeset
   120
      
9ad6445a0354 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 443
diff changeset
   121
      \begin{center}
9ad6445a0354 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 443
diff changeset
   122
      \url{https://www.youtube.com/watch?v=KawZ3m_EeSU}   
9ad6445a0354 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 443
diff changeset
   123
      \end{center}   
328
7ae9a893b76f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 325
diff changeset
   124
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   125
\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
   126
      use ``keep-it-simple'' machines produced by a
386
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
   127
      government owned company. There was some trouble for
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
   128
      an Indian researcher after he and an international 
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
   129
      team of hackers showed that the devices are not 
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
   130
      as secure as the government claimed.
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   131
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   132
\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
   133
      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
   134
      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
   135
      able to tally manually. 
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   136
\end{itemize}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   137
443
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   138
\noindent If you are interested in the recent state of affairs
447
b1c2f5b85880 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 445
diff changeset
   139
of e-voting machinery, I recommend a talk by Jeremy Epstein
443
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   140
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   141
\begin{center}
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   142
\url{https://www.usenix.org/sites/default/files/conference/protected-files/jets15_slides_epstein.pdf}
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   143
\end{center}
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   144
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   145
\noindent The abstract says:
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   146
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   147
\begin{quote}\it 
466
ddf7315450c9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 462
diff changeset
   148
``In April 2015, the US Commonwealth of Virginia decertified the
443
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   149
Advanced Voting Solutions (AVS) WinVote voting machine, after
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   150
concluding that it was insecure. This talk presents the
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   151
results of Virginia's analysis of the WinVote, and explores
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   152
how we got to the point where a voting machine using an
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   153
unpatched version of Windows XP from 2004, using hardwired WEP
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   154
keys and administrator passwords, could be used for over a
466
ddf7315450c9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 462
diff changeset
   155
decade in most of Virginia.''
443
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   156
\end{quote}
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   157
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   158
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
   159
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
   160
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
   161
are:
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   162
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   163
\begin{itemize}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   164
\item {\bf Integrity} 
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   165
  \begin{itemize}
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   166
  \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
   167
        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
   168
        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
   169
        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
   170
        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
   171
        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
   172
        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
   173
        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
   174
        elections continue to be on knives edges we need to
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   175
        strive for rather small error rates. 
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   176
          
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   177
  \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
   178
        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
   179
        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
   180
        available, then maybe it is feasible to mount a DoS
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   181
        attack against the voting server and by bringing the
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   182
        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
   183
        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
   184
        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
   185
  \end{itemize}
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   186
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   187
\item {\bf Ballot Secrecy}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   188
  \begin{itemize}
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   189
  \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
   190
        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
   191
        (for example by relatives, employers etc).
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   192
         
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   193
     \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
   194
           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
   195
           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
   196
           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
   197
           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
   198
           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
   199
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   200
\item {\bf Voter Authentication}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   201
  \begin{itemize}
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   202
  \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
   203
        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
   204
        vote often'').
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   205
  \end{itemize}
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   206
  
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   207
\item {\bf Enfranchisement}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   208
  \begin{itemize}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   209
  \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
   210
        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
   211
        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
   212
        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
   213
        cannot vote. While this sounds an innocent
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   214
        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
   215
        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
   216
        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
   217
        paper ballots you have to have special provisions for
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   218
        blind people. Otherwise they too cannot vote.
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   219
 \end{itemize}
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   220
  
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   221
\item {\bf Availability}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   222
  \begin{itemize}
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   223
  \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
   224
        and produce results in a timely manner. If you move
195
78309f29a58f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 194
diff changeset
   225
        an election online, you have to guard against DoS 
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   226
        attacks for example.
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   227
   \end{itemize}
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   228
\end{itemize}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   229
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   230
\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
   231
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
   232
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   233
\begin{center}
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   234
integrity vs.~ballot secrecy\\
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   235
authentication vs.~enfranchisement
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   236
\end{center}
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   237
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   238
\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
   239
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
   240
trace back the votes to the voters. This would be good when
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   241
verifying the results or when recounting. But such an
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   242
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
   243
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
   244
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
   245
ensure that no ``vote-stuffing'' occurs. Similarly, if we
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   246
improve authentication by requiring to be present at the
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   247
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
   248
voting.
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   249
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   250
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
   251
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
   252
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
   253
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
   254
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
   255
BC, but might even date to the time of Mesopotamia and also in
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   256
India some kind of republics might have existed before the
386
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
   257
Alexander the Great invaded them. Have a look at Wikipedia about
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   258
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
   259
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
   260
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
   261
above, the main problem with hand voting is that it does not
195
78309f29a58f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 194
diff changeset
   262
guaranty ballot secrecy. As far as I know the old Greeks and
78309f29a58f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 194
diff changeset
   263
Romans did not perceive this as a problem, but the result was
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   264
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
   265
enough resources to swing votes. Even using small coloured
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   266
stones, which were also used at that time, did not really
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   267
mitigate the problem with ballot secrecy. The problem of
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   268
authorisation was solved by friends or neighbours vouching for
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   269
you to prove you are eligible to vote (there were no ID cards
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   270
in ancient Greece and Rome).
190
4ee6812ab436 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 188
diff changeset
   271
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   272
Starting with the French Revolution and the US constitution,
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   273
people began to value a more egalitarian approach to voting
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   274
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
   275
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
   276
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
   277
ballots need a number of security mechanisms to avoid fraud.
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   278
For example you need voting booths for being able to fill out
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   279
the ballot in secret. Also transparent ballot boxes are often
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   280
used in order to easily detect and prevent vote stuffing
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   281
(prefilling the ballot box with false votes). 
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   282
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   283
\begin{center}
199
20af800ce736 updated pics
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 195
diff changeset
   284
\includegraphics[scale=2.5]{../pics/ballotbox.jpg}
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   285
\end{center}
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   286
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   287
\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
   288
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
   289
The counting needs to be done by a team potentially involving
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   290
also independent observers. 
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   291
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   292
One interesting attack against completely anonymous paper
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   293
ballots is called \emph{chain vote attack}. It works if the
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   294
paper ballots are given out to each voter at the polling
443
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   295
station. Then an attacker can give a prefilled ballot to a
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   296
voter. The voter uses this prefilled ballot to cast the vote,
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   297
and then returns the empty ballot paper back to the attacker who now
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   298
compensates the voter. The blank ballot can be reused for the
386
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
   299
next voter. I let you ponder why it is important for this
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
   300
attack that the voter returns the empty ballot to the 
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
   301
attacker.
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   302
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   303
To sum up, the point is that paper ballots have evolved over some time 
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   304
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
   305
But the involved technology is well understood in order to
443
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   306
provide good enough security with paper ballots\ldots{}unless
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   307
you lived in Florida at around 2000. 
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   308
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   309
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   310
\subsection*{E-Voting}
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   311
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   312
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
   313
mechanism, one should always start from simple premise taken
443
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   314
from an Australian government white paper about e-voting:
191
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   315
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   316
\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
   317
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
   318
as the system it replaces.''
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   319
\end{quote}
f675aa15b6d0 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
   320
443
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   321
\noindent Whenever people argue in favour of e-voting, they
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   322
seem to be ignoring this basic premise.\bigskip
192
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   323
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   324
\noindent After the debacle of the Florida presidential
325
48c6751f2173 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 287
diff changeset
   325
election in 2000, many voting pre\-cincts in the US used
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   326
Direct-Recording Electronic voting machines (DREs) or optical
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   327
scan machines. One popular model of DREs was sold by a
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   328
company called Diebold. In hindsight they were a complete
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   329
disaster: the products were inadequate and the company
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   330
incompetent. Direct recording meant that there was no paper
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   331
trail, the votes were directly recorded on memory cards. Thus
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   332
the voters had no visible assurance whether the votes were
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   333
correctly cast. Even if there is a printout provided;
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   334
it does not give any guaranty about what is recorded on
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   335
the memory card.
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   336
325
48c6751f2173 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 287
diff changeset
   337
The machines behind these DREs were ``normal'' Windows
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   338
computers, which could be used for anything, for example for
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   339
changing votes. Why did nobody at Diebold think of that? I
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   340
have no idea. But that this was eventually done undetectably
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   341
is the result of the determination of ethical hackers like
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   342
Alex Halderman. His group thoroughly hacked Diebold's DREs
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   343
showing that election fraud with them is easily possible. They
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   344
even managed to write a virus that infected the whole system
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   345
by having only access to a single machine.
192
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   346
193
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   347
\begin{figure}[t]
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   348
\begin{center}
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   349
\begin{tabular}{c}
199
20af800ce736 updated pics
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 195
diff changeset
   350
\includegraphics[scale=0.45]{../pics/dre1.jpg}\; 
20af800ce736 updated pics
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 195
diff changeset
   351
\includegraphics[scale=0.40]{../pics/dre2.jpg}\smallskip\\
20af800ce736 updated pics
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 195
diff changeset
   352
\includegraphics[scale=0.5]{../pics/opticalscan.jpg} 
193
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   353
\end{tabular}
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   354
\end{center}
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   355
\caption{Direct-Recording Electronic voting machines above;
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   356
an optical scan machine below.\label{machines}}
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   357
\end{figure}
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   358
192
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   359
What made matters worse was that Diebold tried to hide their
325
48c6751f2173 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 287
diff changeset
   360
incompetence and the inferiority of their products by
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   361
requiring that election counties must not give the machines up
325
48c6751f2173 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 287
diff changeset
   362
for independent review. They also kept their source code
443
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   363
secret. This meant Halderman and his group could not obtain a
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   364
machine through the official channels, but whoever could hope
466
ddf7315450c9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 462
diff changeset
   365
that prevented them from obtaining a machine? Ok, they got one.
443
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   366
They then had to reverse engineer the source code in order to
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   367
design an attack. What all this showed is that a shady
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   368
security design is no match for a determined hacker. 
192
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   369
325
48c6751f2173 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 287
diff changeset
   370
Apart from the obvious failings (for example no paper trail),
192
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   371
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
   372
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
   373
(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
   374
day, electronic voting machines need to be kept secure the
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   375
whole year. The reason is of course that one cannot see
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   376
whether somebody has tampered with the program a computer is
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   377
running. Such a 24/7 security is costly and often even
325
48c6751f2173 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 287
diff changeset
   378
impossible, because voting machines need to be
48c6751f2173 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 287
diff changeset
   379
distributed---usually the day before the election---to the
48c6751f2173 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 287
diff changeset
   380
polling stations. These are often schools where the voting
48c6751f2173 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 287
diff changeset
   381
machines are kept unsecured overnight. The obvious solution of
48c6751f2173 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 287
diff changeset
   382
putting seals on computers did not work: in the process of
48c6751f2173 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 287
diff changeset
   383
getting these DREs discredited (involving court cases) it was
48c6751f2173 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 287
diff changeset
   384
shown that seals can easily be circumvented. The moral of this
48c6751f2173 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 287
diff changeset
   385
story is that election officials were incentivised with money
48c6751f2173 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 287
diff changeset
   386
by the central government to obtain new voting equipment and
443
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   387
in the process fell prey to pariahs which sold them 
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   388
substandard products. Diebold was not the only pariah in this
386
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
   389
area, but one of the more notorious ones.\footnote{An e-voting 
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
   390
researcher recently made a connection between the VW-exhaust
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
   391
scandal and e-voting: His argument is that it is very hard
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
   392
to test whether a program works correctly in a hostile
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
   393
environment. The program can often recognise when it is
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
   394
tested and behave correctly, but in the ``real test'' can 
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
   395
behave maliciously, just like the VW diesel engines.}
192
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   396
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   397
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
   398
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
   399
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
   400
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
   401
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
   402
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
   403
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
   404
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
   405
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
   406
first place?\bigskip 
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   407
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   408
\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
   409
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
   410
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
   411
device is a good security engineering decision because it
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   412
makes the attack surface much smaller. If you have a
325
48c6751f2173 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 287
diff changeset
   413
full-fledged computer behind your voting system, then you can
48c6751f2173 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 287
diff changeset
   414
do everything a computer can do\ldots{}and that is a lot,
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   415
including a lot of abuse. What was bad about the devices in
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   416
India was that these machines did not have the important paper
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   417
trail: that means if an election was tampered with, nobody
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   418
would find out. Even if they had by their bespoke design a
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   419
very small attack surface, ethical hackers were still able to
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   420
tamper with them. The moral with Indian's voting machines is
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   421
that even if very good security design decisions are taken,
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   422
e-voting is very hard to get right.\bigskip 
192
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   423
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   424
2cb42412f3fd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
   425
\noindent This brings us to the case of Estonia, which held in
443
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   426
2007 the World's first general election that used the
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   427
Internet. Their solution made some good choices: for example
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   428
voter authentication is done via the Estonian ID card, which
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   429
contains a chip like on credit cards. They also made most of
443
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   430
their source code public for independent scrutiny---unlike
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   431
pariah companies like Diebold. Of course this openness means
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   432
that people (hackers) will look at your fingers and find code
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   433
such as this snippet:
193
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   434
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   435
{\footnotesize\lstinputlisting[language=Python,numbers=none]
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   436
{../progs/estonia.py}}
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   437
443
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   438
\noindent If you want to have a look at their code, it can be
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   439
downloaded from their github
193
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   440
repository.\footnote{\url{https://github.com/vvk-ehk/evalimine/}}
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   441
Also their system is designed such that Internet voting is
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   442
used before the election: votes can be changed an unlimited
325
48c6751f2173 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 287
diff changeset
   443
amount of times; always the last vote is tabulated. You can
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   444
even change your vote on the polling day in person. This is an
193
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   445
important security mechanism guarding against vote coercion,
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   446
which of course is an important problem if you are allowed to
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   447
vote via Internet.
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   448
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   449
However, the weak spots in any Internet voting system are the
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   450
voters' computers and the central server. Unfortunately, their
386
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
   451
system is designed such that they need to trust the integrity
193
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   452
of voters’ computers, central server components and also the
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   453
election staff. In 2014, a group of independent observers around
193
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   454
Alex Halderman were able to scrutinise the election process in
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   455
Estonia. They found many weaknesses, for example careless
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   456
handling of software updates on the servers. They also
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   457
simulated an election with the available software and were
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   458
able to covertly manipulate results by inserting malware on
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   459
the voters' computers. Overall, their recommendation is 
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   460
to abandon Internet voting and to go back to an entirely
195
78309f29a58f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 194
diff changeset
   461
paper-based voting process. In face of state-sponsored
193
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   462
cyber-crime (for example NSA), Internet voting cannot be made
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   463
secure with current technology. They have a small video
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   464
clip with their findings at
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   465
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   466
\begin{center}
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   467
\url{https://estoniaevoting.org}
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   468
\end{center}
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   469
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   470
\noindent This brings us to the question, what could be a
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   471
viable electronic voting process in
365
942205605c30 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 357
diff changeset
   472
\underline{\smash{\textbf{\emph{theory}}}} with current technology?
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   473
In the literature one can find proposals such as this one:
193
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   474
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   475
\begin{enumerate}
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   476
\item Alice prepares and audits some ballots, then casts an
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   477
      encrypted ballot, which requires her to authenticate to
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   478
      a server.
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   479
193
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   480
\item A bulletin board posts Alice's name and encrypted
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   481
      ballot. Anyone, including Alice, can check the bulletin
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   482
      board and find her encrypted vote posted. This is to
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   483
       make sure the vote was received by the server.
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   484
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   485
\item When the election closes, all votes are shuffled and the
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   486
      system produces a non-interactive proof of a correct
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   487
      shuffling---correct in the sense that one cannot determine
193
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   488
       anymore who has voted for what. This will require a 
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   489
       shuffling procedure based on zero-knowledge-proofs.
193
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   490
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   491
\item After a reasonable complaint period, let auditors
193
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   492
      check the shuffling, all shuffled ballots are decrypted,
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   493
      and the system provides a decryption proof for each
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   494
      decrypted ballot. Again this will need a 
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   495
      zero-knowledge-proof-type of method.
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   496
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   497
\item Perform a tally of the decrypted votes.
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   498
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   499
\item An auditor can download the entire (shuffled) election
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   500
      data and verify the shuffle, decryptions and tally.
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   501
\end{enumerate}
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   502
325
48c6751f2173 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 287
diff changeset
   503
\noindent As you can see, the whole process is not trivial at
193
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   504
all and leaves out a number of crucial details (such as how to
227
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   505
best distribute public keys for encryption). It even depends
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   506
on a highly sophisticated process called
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   507
\emph{zero-knowledge-proofs}. They essentially allow one to
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   508
convince somebody else to know a secret without actually
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   509
revealing what the secret is. This is a kind of cryptographic
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   510
``magic'', like the Hellman-Diffie protocol which can be used
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   511
to establish a secret even if you can only exchange postcards
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   512
with your communication partner. We will look at
7807863c4196 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 199
diff changeset
   513
zero-knowledge-proofs in a later lecture in more detail. 
193
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   514
443
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   515
The point of these theoretical/hot-air musings like above is
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   516
to show that such an e-voting procedure is far from
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   517
convenient: it takes much more time to allow, for example,
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   518
scrutinising whether the votes were cast correctly. Very
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   519
likely it will also not pass the benchmark of being
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   520
understandable to Joe Average. This was a standard, a high
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   521
court ruled, that needs to be passed in the German election
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   522
process, for example. 
193
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   523
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   524
The overall conclusion is that an e-voting process involving
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   525
the Internet cannot be made secure with current technology.
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   526
Voting has just too high demands on integrity and ballot
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   527
secrecy. This is different from online banking where the whole
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   528
process is designed around authentication. If fraud occurs,
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   529
you try to identify who did what (somebody’s account got zero;
386
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
   530
somewhere the money went). Even if there might be more
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
   531
gigantic sums at stake in online banking than with voting, it
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
   532
can be made reasonably secure and fraud-safe. That does not
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
   533
mean there are no problems with online banking. But with
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
   534
enough thought, they can usually be overcome with technology
466
ddf7315450c9 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 462
diff changeset
   535
we have currently available. This is different with e-voting:
443
67d7d239c617 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 415
diff changeset
   536
even the best have not come up with something workable yet.
193
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   537
a97b828bf87f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 192
diff changeset
   538
386
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
   539
This conclusion does not imply that some special cases of
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
   540
Internet voting cannot be made to work securely. Just in a
194
5e7976fa8577 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 193
diff changeset
   541
general election where stakes are very high, it does not work.
5e7976fa8577 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 193
diff changeset
   542
For example a good-enough and workable in-lecture online
5e7976fa8577 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 193
diff changeset
   543
voting system where students' votes are anonymous and students
386
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
   544
cannot tamper with the outcome, I am sure, can be implemented
3c69029f4a1c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 369
diff changeset
   545
(see some of my MSc projects). 
287
0b9a16ddd625 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 276
diff changeset
   546
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   547
287
0b9a16ddd625 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 276
diff changeset
   548
\subsubsection*{Further Reading}
0b9a16ddd625 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 276
diff changeset
   549
0b9a16ddd625 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 276
diff changeset
   550
If you want to know more about e-voting, I recommend
194
5e7976fa8577 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 193
diff changeset
   551
the highly entertaining online course by Alex Halderman at
5e7976fa8577 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 193
diff changeset
   552
Coursera.
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   553
194
5e7976fa8577 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 193
diff changeset
   554
\begin{center}
5e7976fa8577 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 193
diff changeset
   555
\url{https://www.coursera.org/course/digitaldemocracy}
5e7976fa8577 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 193
diff changeset
   556
\end{center}
5e7976fa8577 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 193
diff changeset
   557
5e7976fa8577 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 193
diff changeset
   558
\noindent There is also an entertaining TEDtalk by Barbara
5e7976fa8577 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 193
diff changeset
   559
Simons called ``Why can I bank online but not vote online?''
5e7976fa8577 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 193
diff changeset
   560
5e7976fa8577 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 193
diff changeset
   561
\begin{center}
5e7976fa8577 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 193
diff changeset
   562
\url{https://www.youtube.com/watch?v=Wv3VuGZzdK8}
5e7976fa8577 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 193
diff changeset
   563
\end{center}
5e7976fa8577 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 193
diff changeset
   564
5e7976fa8577 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 193
diff changeset
   565
\noindent At the beginning she describes the complete break-in
5e7976fa8577 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 193
diff changeset
   566
by the group of Alex Halderman at the try-out voting at
328
7ae9a893b76f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 325
diff changeset
   567
Washington D.C. Halderman's amusing paper about this break in 
7ae9a893b76f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 325
diff changeset
   568
including pictures is at
276
d7109c6e721d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 227
diff changeset
   569
d7109c6e721d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 227
diff changeset
   570
\begin{center}
d7109c6e721d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 227
diff changeset
   571
\url{https://jhalderm.com/pub/papers/dcvoting-fc12.pdf}
d7109c6e721d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 227
diff changeset
   572
\end{center}
157
3a8fff66d62b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 156
diff changeset
   573
328
7ae9a893b76f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 325
diff changeset
   574
\noindent
357
5b91f5ad2772 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 328
diff changeset
   575
Another passionate plea to not use electronic voting is the youtube
5b91f5ad2772 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 328
diff changeset
   576
video
5b91f5ad2772 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 328
diff changeset
   577
5b91f5ad2772 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 328
diff changeset
   578
\begin{center}
5b91f5ad2772 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 328
diff changeset
   579
\url{https://www.youtube.com/watch?v=w3_0x6oaDmI}
5b91f5ad2772 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 328
diff changeset
   580
\end{center}
5b91f5ad2772 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 328
diff changeset
   581
5b91f5ad2772 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 328
diff changeset
   582
\noindent
328
7ae9a893b76f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 325
diff changeset
   583
Two researchers from Galois, Inc., present an interesting 
7ae9a893b76f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 325
diff changeset
   584
attack against home routers which silently alters pdf-based
7ae9a893b76f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 325
diff changeset
   585
voting ballots. This shows that the vote submission via
7ae9a893b76f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 325
diff changeset
   586
an unencrypted pdf-file is highly unsafe.
7ae9a893b76f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 325
diff changeset
   587
7ae9a893b76f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 325
diff changeset
   588
\begin{center}
7ae9a893b76f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 325
diff changeset
   589
\url{http://galois.com/wp-content/uploads/2014/11/technical-hack-a-pdf.pdf}
7ae9a893b76f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 325
diff changeset
   590
\end{center}
7ae9a893b76f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 325
diff changeset
   591
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   592
\end{document}
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   593
369
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   594
%unikernels for e-voting
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   595
Trust, trustworthiness, and the TCB
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   596
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   597
The notion of trust is important in security. It is also a source of
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   598
confusion, especially if people are sloppy in their terminology, and
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   599
do not distinguish between trust and trustworthiness.
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   600
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   601
Depending on your point of view, trust can be something good and
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   602
desirable, or something bad and undesirable. Trust between parties is
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   603
good in that it enables easy interaction and good collaboration
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   604
between them. However, trust is bad in that trust in another party
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   605
means that party can do damage to you, if it turns out not to be
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   606
trustworthy. For example, if you give someone your bankcard and tell
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   607
them your PIN code, you trust them; this can be useful, for instance
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   608
if you want them to do some shopping for you, but is clearly also
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   609
potentially dangerous.
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   610
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   611
Note that if a party is not trustworthy, then it may be so
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   612
unintentionally (because it is careless or, in the case of software,
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   613
riddled with security vulnerabilities) or intentionally (because it is
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   614
downright malicious).  When considering a system that is meant to meet
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   615
some security objectives, it is important to consider which parts of
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   616
that system are trusted in order to meet that objective. This called
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   617
the Trusted Computing Base or TCB.  Ideally, the TCB should be as
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   618
small as possible. The smaller the TCB, the less likely that it
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   619
contains security vulnerabilities. (Still, you should never under-
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   620
estimates people’s stupidity – or an attacker’s creativity – to
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   621
introduce security vulnerabilities in even the smallest piece of
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   622
software.) Also, the smaller the TCB, the less effort it takes to get
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   623
some confidence that it is trustworthy, for example, in the case of
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   624
software, by doing a code review or by performing some (penetration)
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   625
testing.
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   626
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 366
diff changeset
   627
156
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   628
%%% Local Variables: 
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   629
%%% mode: latex
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   630
%%% TeX-master: t
3b831b9dc616 added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   631
%%% End: