author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
Tue, 26 Nov 2013 15:00:51 +0000 | |
changeset 143 | 5d6c0e3b4ebb |
parent 142 | 14d4e839e13a |
permissions | -rw-r--r-- |
75
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
1 |
\documentclass[dvipsnames,14pt,t]{beamer} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
2 |
\usepackage{proof} |
138
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
3 |
\usepackage{beamerthemeplaincu} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
4 |
%\usepackage[T1]{fontenc} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
5 |
%\usepackage[latin1]{inputenc} |
75
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
6 |
\usepackage{mathpartir} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
7 |
\usepackage{isabelle} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
8 |
\usepackage{isabellesym} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
9 |
\usepackage[absolute,overlay]{textpos} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
10 |
\usepackage{ifthen} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
11 |
\usepackage{tikz} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
12 |
\usepackage{courier} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
13 |
\usepackage{listings} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
14 |
\usetikzlibrary{arrows} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
15 |
\usetikzlibrary{positioning} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
16 |
\usetikzlibrary{calc} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
17 |
\usepackage{graphicx} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
18 |
\usetikzlibrary{shapes} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
19 |
\usetikzlibrary{shadows} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
20 |
\usetikzlibrary{plotmarks} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
21 |
|
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
22 |
|
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
23 |
\isabellestyle{rm} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
24 |
\renewcommand{\isastyle}{\rm}% |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
25 |
\renewcommand{\isastyleminor}{\rm}% |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
26 |
\renewcommand{\isastylescript}{\footnotesize\rm\slshape}% |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
27 |
\renewcommand{\isatagproof}{} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
28 |
\renewcommand{\endisatagproof}{} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
29 |
\renewcommand{\isamarkupcmt}[1]{#1} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
30 |
|
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
31 |
% Isabelle characters |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
32 |
\renewcommand{\isacharunderscore}{\_} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
33 |
\renewcommand{\isacharbar}{\isamath{\mid}} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
34 |
\renewcommand{\isasymiota}{} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
35 |
\renewcommand{\isacharbraceleft}{\{} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
36 |
\renewcommand{\isacharbraceright}{\}} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
37 |
\renewcommand{\isacharless}{$\langle$} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
38 |
\renewcommand{\isachargreater}{$\rangle$} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
39 |
\renewcommand{\isasymsharp}{\isamath{\#}} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
40 |
\renewcommand{\isasymdots}{\isamath{...}} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
41 |
\renewcommand{\isasymbullet}{\act} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
42 |
|
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
43 |
|
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
44 |
|
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
45 |
\definecolor{javared}{rgb}{0.6,0,0} % for strings |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
46 |
\definecolor{javagreen}{rgb}{0.25,0.5,0.35} % comments |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
47 |
\definecolor{javapurple}{rgb}{0.5,0,0.35} % keywords |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
48 |
\definecolor{javadocblue}{rgb}{0.25,0.35,0.75} % javadoc |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
49 |
|
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
50 |
\lstset{language=Java, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
51 |
basicstyle=\ttfamily, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
52 |
keywordstyle=\color{javapurple}\bfseries, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
53 |
stringstyle=\color{javagreen}, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
54 |
commentstyle=\color{javagreen}, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
55 |
morecomment=[s][\color{javadocblue}]{/**}{*/}, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
56 |
numbers=left, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
57 |
numberstyle=\tiny\color{black}, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
58 |
stepnumber=1, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
59 |
numbersep=10pt, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
60 |
tabsize=2, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
61 |
showspaces=false, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
62 |
showstringspaces=false} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
63 |
|
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
64 |
\lstdefinelanguage{scala}{ |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
65 |
morekeywords={abstract,case,catch,class,def,% |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
66 |
do,else,extends,false,final,finally,% |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
67 |
for,if,implicit,import,match,mixin,% |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
68 |
new,null,object,override,package,% |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
69 |
private,protected,requires,return,sealed,% |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
70 |
super,this,throw,trait,true,try,% |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
71 |
type,val,var,while,with,yield}, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
72 |
otherkeywords={=>,<-,<\%,<:,>:,\#,@}, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
73 |
sensitive=true, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
74 |
morecomment=[l]{//}, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
75 |
morecomment=[n]{/*}{*/}, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
76 |
morestring=[b]", |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
77 |
morestring=[b]', |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
78 |
morestring=[b]""" |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
79 |
} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
80 |
|
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
81 |
\lstset{language=Scala, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
82 |
basicstyle=\ttfamily, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
83 |
keywordstyle=\color{javapurple}\bfseries, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
84 |
stringstyle=\color{javagreen}, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
85 |
commentstyle=\color{javagreen}, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
86 |
morecomment=[s][\color{javadocblue}]{/**}{*/}, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
87 |
numbers=left, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
88 |
numberstyle=\tiny\color{black}, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
89 |
stepnumber=1, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
90 |
numbersep=10pt, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
91 |
tabsize=2, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
92 |
showspaces=false, |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
93 |
showstringspaces=false} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
94 |
|
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
95 |
% beamer stuff |
138
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
96 |
\renewcommand{\slidecaption}{APP 08, King's College London, 26 November 2013} |
75
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
97 |
\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
98 |
\newcommand{\bl}[1]{\textcolor{blue}{#1}} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
99 |
|
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
100 |
\begin{document} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
101 |
|
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
102 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
103 |
\mode<presentation>{ |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
104 |
\begin{frame}<1>[t] |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
105 |
\frametitle{% |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
106 |
\begin{tabular}{@ {}c@ {}} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
107 |
\\ |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
108 |
\LARGE Access Control and \\[-3mm] |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
109 |
\LARGE Privacy Policies (8)\\[-6mm] |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
110 |
\end{tabular}}\bigskip\bigskip\bigskip |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
111 |
|
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
112 |
%\begin{center} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
113 |
%\includegraphics[scale=1.3]{pics/barrier.jpg} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
114 |
%\end{center} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
115 |
|
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
116 |
\normalsize |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
117 |
\begin{center} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
118 |
\begin{tabular}{ll} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
119 |
Email: & christian.urban at kcl.ac.uk\\ |
138
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
120 |
Office: & S1.27 (1st floor Strand Building)\\ |
75
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
121 |
Slides: & KEATS (also homework is there)\\ |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
122 |
\end{tabular} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
123 |
\end{center} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
124 |
|
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
125 |
|
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
126 |
\end{frame}} |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
127 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
128 |
|
79
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
129 |
|
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
130 |
|
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
131 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
132 |
\mode<presentation>{ |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
133 |
\begin{frame}[c] |
138
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
134 |
\frametitle{Man-in-the-Middle} |
76
dde58256fc35
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
75
diff
changeset
|
135 |
|
140
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
136 |
\begin{itemize} |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
137 |
\item Border Gateway Protocol (BGP) --- routers believe their neighbours |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
138 |
\item it is possible to advertise bad routes |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
139 |
\item can be done over continents\bigskip |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
140 |
\end{itemize} |
139
059527f0615a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
138
diff
changeset
|
141 |
|
059527f0615a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
138
diff
changeset
|
142 |
\hfill\footnotesize\url{http://www.renesys.com/2013/11/mitm-internet-hijacking/} |
77
56dbc339ec87
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
76
diff
changeset
|
143 |
\end{frame}} |
56dbc339ec87
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
76
diff
changeset
|
144 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
56dbc339ec87
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
76
diff
changeset
|
145 |
|
56dbc339ec87
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
76
diff
changeset
|
146 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
56dbc339ec87
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
76
diff
changeset
|
147 |
\mode<presentation>{ |
140
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
148 |
\begin{frame}[t] |
138
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
149 |
\frametitle{Facebook Privacy} |
76
dde58256fc35
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
75
diff
changeset
|
150 |
|
140
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
151 |
\begin{itemize} |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
152 |
\item \large Who has a Facebook account?\pause\medskip |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
153 |
|
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
154 |
\item \large Who keeps the list of friends private?\pause\medskip |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
155 |
|
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
156 |
\item \large Who knows that this is completely pointless?\pause\medskip |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
157 |
\end{itemize} |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
158 |
|
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
159 |
\only<4>{ |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
160 |
Create a fake account. Send a friend request. Facebook answers with |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
161 |
``People you may know'' feature. Conveniently it has also a ``see all'' button. |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
162 |
} |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
163 |
\only<5>{\small\it |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
164 |
``Our policies explain that changing the visibility of people on your friend list controls how they appear on your Timeline, and that your friends may be visible on other parts of the site, such as in News Feed, Search and on other people's Timelines. This behavior is something we'll continue to evaluate to make sure we're providing clarity.'' |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
165 |
} |
80
807393d1efff
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
79
diff
changeset
|
166 |
|
77
56dbc339ec87
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
76
diff
changeset
|
167 |
\end{frame}} |
138
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
168 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
81
fa20645ffd25
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
80
diff
changeset
|
169 |
|
fa20645ffd25
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
80
diff
changeset
|
170 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
fa20645ffd25
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
80
diff
changeset
|
171 |
\mode<presentation>{ |
fa20645ffd25
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
80
diff
changeset
|
172 |
\begin{frame}[c] |
fa20645ffd25
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
80
diff
changeset
|
173 |
\frametitle{Privacy, Anonymity et al} |
77
56dbc339ec87
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
76
diff
changeset
|
174 |
|
56dbc339ec87
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
76
diff
changeset
|
175 |
Some terminology: |
56dbc339ec87
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
76
diff
changeset
|
176 |
|
56dbc339ec87
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
76
diff
changeset
|
177 |
\begin{itemize} |
56dbc339ec87
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
76
diff
changeset
|
178 |
\item \alert{secrecy} is the mechanism used to limit the number of |
140
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
179 |
principals with access to information (e.g., cryptography or access controls) |
77
56dbc339ec87
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
76
diff
changeset
|
180 |
|
56dbc339ec87
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
76
diff
changeset
|
181 |
\item \alert{confidentiality} is the obligation to protect the secrets of other people |
56dbc339ec87
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
76
diff
changeset
|
182 |
or organizations (secrecy for the benefit of an organisation) |
56dbc339ec87
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
76
diff
changeset
|
183 |
|
140
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
184 |
\item \alert{anonymity} is the ability to leave no evidence of an activity (e.g., sharing a secret) |
77
56dbc339ec87
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
76
diff
changeset
|
185 |
|
56dbc339ec87
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
76
diff
changeset
|
186 |
\item \alert{privacy} is the ability or right to protect your personal secrets |
56dbc339ec87
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
76
diff
changeset
|
187 |
(secrecy for the benefit of an individual) |
56dbc339ec87
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
76
diff
changeset
|
188 |
|
56dbc339ec87
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
76
diff
changeset
|
189 |
\end{itemize} |
56dbc339ec87
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
76
diff
changeset
|
190 |
|
56dbc339ec87
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
76
diff
changeset
|
191 |
\end{frame}} |
56dbc339ec87
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
76
diff
changeset
|
192 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
56dbc339ec87
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
76
diff
changeset
|
193 |
|
79
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
194 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
195 |
\mode<presentation>{ |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
196 |
\begin{frame}[t] |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
197 |
\frametitle{Privacy vs Anonymity} |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
198 |
|
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
199 |
\begin{itemize} |
140
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
200 |
\item everybody agrees that anonymity has its uses (e.g., voting, whistleblowers, peer-review, exams) |
79
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
201 |
\end{itemize}\bigskip\bigskip\pause |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
202 |
|
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
203 |
|
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
204 |
But privacy?\bigskip\bigskip |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
205 |
|
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
206 |
``You have zero privacy anyway. Get over it.''\\ |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
207 |
\hfill{}Scott Mcnealy (CEO of Sun)\bigskip\\ |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
208 |
|
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
209 |
|
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
210 |
If you have nothing to hide, you have nothing to fear. |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
211 |
|
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
212 |
\end{frame}} |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
213 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
214 |
|
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
215 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
216 |
\mode<presentation>{ |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
217 |
\begin{frame}[t] |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
218 |
\frametitle{Privacy} |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
219 |
|
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
220 |
private data can be often used against me |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
221 |
|
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
222 |
\begin{itemize} |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
223 |
\item if my location data becomes public, thieves will switch off their phones and help themselves in my home |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
224 |
\item if supermarkets can build a profile of what I buy, they can use it to their advantage (banks - mortgages) |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
225 |
\item my employer might not like my opinions\bigskip\pause |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
226 |
|
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
227 |
\item one the other hand, Freedom-of-Information Act |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
228 |
\item medical data should be private, but medical research needs data |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
229 |
\end{itemize} |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
230 |
|
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
231 |
\end{frame}} |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
232 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
233 |
|
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
234 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
235 |
\mode<presentation>{ |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
236 |
\begin{frame}[t] |
82
01562d143105
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
81
diff
changeset
|
237 |
\frametitle{Privacy Problems} |
79
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
238 |
|
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
239 |
\begin{itemize} |
82
01562d143105
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
81
diff
changeset
|
240 |
\item Apple takes note of every dictation (send over the Internet to Apple) |
01562d143105
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
81
diff
changeset
|
241 |
\item markets often only work, if data is restricted (to build trust) |
01562d143105
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
81
diff
changeset
|
242 |
\item Social network can reveal data about you |
142
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
243 |
\item have you tried the collusion (lightbeam?) extension for FireFox? |
140
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
244 |
\item I do use Dropbox, store cards |
82
01562d143105
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
81
diff
changeset
|
245 |
\end{itemize} |
79
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
246 |
|
140
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
247 |
\begin{textblock}{5}(12,9.9) |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
248 |
\includegraphics[scale=0.2]{pics/gattaca.jpg}\\ |
82
01562d143105
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
81
diff
changeset
|
249 |
\small Gattaca (1997) |
01562d143105
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
81
diff
changeset
|
250 |
\end{textblock} |
79
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
251 |
|
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
252 |
\end{frame}} |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
253 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
2eaca58f9bcc
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
254 |
|
138
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
255 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
256 |
\mode<presentation>{ |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
257 |
\begin{frame}[t] |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
258 |
\frametitle{Privacy} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
259 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
260 |
\begin{minipage}{1.05\textwidth} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
261 |
\begin{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
262 |
\item we \alert{do} want that government data is made public (free maps for example) |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
263 |
\item we \alert{do not} want that medical data becomes public (similarly tax data, school |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
264 |
records, job offers)\bigskip |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
265 |
\item personal information can potentially lead to fraud |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
266 |
(identity theft) |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
267 |
\end{itemize}\pause |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
268 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
269 |
{\bf ``The reality'':} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
270 |
\only<2>{\begin{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
271 |
\item London Health Programmes lost in June last year unencrypted details of more than 8 million people |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
272 |
(no names, but postcodes and details such as gender, age and ethnic origin) |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
273 |
\end{itemize}} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
274 |
\only<3>{\begin{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
275 |
\item also in June last year, Sony got hacked: over 1M users' personal information, including passwords, email addresses, home addresses, dates of birth, and all Sony opt-in data associated with their accounts. |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
276 |
\end{itemize}} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
277 |
\end{minipage} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
278 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
279 |
\end{frame}} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
280 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
281 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
282 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
283 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
284 |
\mode<presentation>{ |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
285 |
\begin{frame}[c] |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
286 |
\frametitle{Privacy and Big Data} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
287 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
288 |
Selected sources of ``Big Data'':\smallskip{} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
289 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
290 |
\begin{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
291 |
\item Facebook |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
292 |
\begin{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
293 |
\item 40+ Billion photos (100 PB) |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
294 |
\item 6 Billion messages daily (5 - 10 TB) |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
295 |
\item 900 Million users |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
296 |
\end{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
297 |
\item Common Crawl |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
298 |
\begin{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
299 |
\item covers 3.8 Billion webpages (2012 dataset) |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
300 |
\item 50 TB of data |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
301 |
\end{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
302 |
\item Google |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
303 |
\begin{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
304 |
\item 20 PB daily (2008) |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
305 |
\end{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
306 |
\item Twitter |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
307 |
\begin{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
308 |
\item 7 Million users in the UK |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
309 |
\item a company called Datasift is allowed to mine all tweets since 2010 |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
310 |
\item they charge 10k per month for other companies to target advertisement |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
311 |
\end{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
312 |
\end{itemize}\pause |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
313 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
314 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
315 |
\end{frame}} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
316 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
317 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
318 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
319 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
320 |
\mode<presentation>{ |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
321 |
\begin{frame}[c] |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
322 |
\frametitle{Cookies\ldots} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
323 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
324 |
``We have published a new cookie policy. It explains what cookies are |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
325 |
and how we use them on our site. To learn more about cookies and |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
326 |
their benefits, please view our cookie policy.\medskip |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
327 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
328 |
If you'd like to disable cookies on this device, please view our information |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
329 |
pages on 'How to manage cookies'. Please be aware that parts of the |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
330 |
site will not function correctly if you disable cookies. \medskip |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
331 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
332 |
By closing this |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
333 |
message, you consent to our use of cookies on this device in accordance |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
334 |
with our cookie policy unless you have disabled them.'' |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
335 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
336 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
337 |
\end{frame}} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
338 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
339 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
340 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
341 |
\mode<presentation>{ |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
342 |
\begin{frame}[c] |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
343 |
\frametitle{Scare Tactics} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
344 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
345 |
The actual policy reads:\bigskip |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
346 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
347 |
``As we explain in our Cookie Policy, cookies help you to get the most |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
348 |
out of our websites.\medskip |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
349 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
350 |
If you do disable our cookies you may find that certain sections of our |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
351 |
website do not work. For example, you may have difficulties logging in |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
352 |
or viewing articles.'' |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
353 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
354 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
355 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
356 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
357 |
\end{frame}} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
358 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
359 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
360 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
361 |
\mode<presentation>{ |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
362 |
\begin{frame}[c] |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
363 |
\frametitle{Netflix Prize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
364 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
365 |
Anonymity is \alert{necessary} for privacy, but \alert{not} enough!\bigskip |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
366 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
367 |
\begin{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
368 |
\item Netflix offered in 2006 (and every year until 2010) a 1 Mio \$ prize for improving their movie rating algorithm |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
369 |
\item dataset contained 10\% of all Netflix users (appr.~500K) |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
370 |
\item names were removed, but included numerical ratings as well as times of rating |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
371 |
\item some information was \alert{perturbed} (i.e., slightly modified) |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
372 |
\end{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
373 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
374 |
\hfill{\bf\alert{All OK?}} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
375 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
376 |
\end{frame}} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
377 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
378 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
379 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
380 |
\mode<presentation>{ |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
381 |
\begin{frame}[c] |
140
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
382 |
\frametitle{Re-identification Attacks} |
138
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
383 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
384 |
Two researchers analysed the data: |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
385 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
386 |
\begin{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
387 |
\item with 8 ratings (2 of them can be wrong) and corresponding dates that can have a margin 14-day error, 98\% of the |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
388 |
records can be identified |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
389 |
\item for 68\% only two ratings and dates are sufficient (for movie ratings outside the top 500)\bigskip\pause |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
390 |
\item they took 50 samples from IMDb (where people can reveal their identity) |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
391 |
\item 2 of them uniquely identified entries in the Netflix database (either by movie rating or by dates) |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
392 |
\end{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
393 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
394 |
\end{frame}} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
395 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
396 |
|
140
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
397 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
398 |
\mode<presentation>{ |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
399 |
\begin{frame}[c] |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
400 |
\frametitle{Re-identification Attacks} |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
401 |
|
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
402 |
|
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
403 |
\begin{itemize} |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
404 |
\item in 1990 insurance databases were made public with names removed, but birth dates, |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
405 |
gender, ZIP-code were retained\medskip |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
406 |
\item could be cross referenced with public voter registration data in order to find out what the |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
407 |
medical record of the governor of Massachusetts was |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
408 |
\end{itemize} |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
409 |
|
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
410 |
\end{frame}} |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
411 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
412 |
|
138
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
413 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
414 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
415 |
\mode<presentation>{ |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
416 |
\begin{frame}[c] |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
417 |
\frametitle{} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
418 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
419 |
\begin{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
420 |
\item Birth data, postcode and gender (unique for\\ 87\% of the US population) |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
421 |
\item Preferences in movies (99\% of 500K for 8 ratings) |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
422 |
\end{itemize}\bigskip |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
423 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
424 |
Therefore best practices / or even law (HIPAA, EU): |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
425 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
426 |
\begin{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
427 |
\item only year dates (age group for 90 years or over), |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
428 |
\item no postcodes (sector data is OK, similarly in the US)\\ |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
429 |
\textcolor{gray}{no names, addresses, account numbers, licence plates} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
430 |
\item disclosure information needs to be retained for 5 years |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
431 |
\end{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
432 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
433 |
\end{frame}} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
434 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
435 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
436 |
\mode<presentation>{ |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
437 |
\begin{frame}<2>[c] |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
438 |
\frametitle{How to Safely Disclose Information?} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
439 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
440 |
\only<1>{ |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
441 |
\begin{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
442 |
\item Assume you make a survey of 100 randomly chosen people. |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
443 |
\item Say 99\% of the surveyed people in the 10 - 40 age group have seen the |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
444 |
Gangnam video on youtube.\bigskip |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
445 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
446 |
\item What can you infer about the rest of the population? |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
447 |
\end{itemize}} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
448 |
\only<2>{ |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
449 |
\begin{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
450 |
\item Is it possible to re-identify data later, if more data is released. \bigskip\bigskip\pause |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
451 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
452 |
\item Not even releasing only aggregate information prevents re-identification attacks. |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
453 |
(GWAS was a public database of gene-frequency studies linked to diseases; |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
454 |
you only needed partial DNA information in order |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
455 |
to identify whether an individual was part of the study --- DB closed in 2008) |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
456 |
\end{itemize}} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
457 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
458 |
\end{frame}} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
459 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
142
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
460 |
|
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
461 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
462 |
\mode<presentation>{ |
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
463 |
\begin{frame}<2>[c] |
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
464 |
\frametitle{We cannot exclude all Harm} |
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
465 |
|
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
466 |
\begin{itemize} |
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
467 |
\item Analysis of a given data set teaches us that smoking causes cancer. |
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
468 |
Mary, a smoker, is harmed by this analysis: her insurance premiums rise. |
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
469 |
Mary’s premiums rise whether or not her data are in the data set. In other words, |
143
5d6c0e3b4ebb
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
142
diff
changeset
|
470 |
Mary is harmed by the finding smoking causes cancer.\bigskip |
142
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
471 |
|
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
472 |
\item \ldots of course she is also helped, she might quit smoking |
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
473 |
\end{itemize} |
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
474 |
|
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
475 |
\end{frame}} |
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
476 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
138
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
477 |
|
140
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
478 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
479 |
\mode<presentation>{ |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
480 |
\begin{frame}<2>[c] |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
481 |
\frametitle{Differential Privacy} |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
482 |
|
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
483 |
\begin{itemize} |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
484 |
\item Goal: Nothing about an individual should be learnable from the database that |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
485 |
cannot be learned without access to the database.\pause\bigskip |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
486 |
|
142
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
487 |
\item Differential privacy is a ``protocol'' which you run on some dataset \bl{$X$} producing |
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
488 |
some output \bl{$O(X)$}.\bigskip |
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
489 |
|
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
490 |
\item You want to achieve \alert{forward privacy} |
140
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
491 |
\end{itemize} |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
492 |
|
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
493 |
\end{frame}} |
4affecdbc1a9
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
139
diff
changeset
|
494 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
138
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
495 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
496 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
497 |
\mode<presentation>{ |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
498 |
\begin{frame}[c] |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
499 |
\frametitle{Differential Privacy} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
500 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
501 |
\begin{center} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
502 |
User\;\;\;\; |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
503 |
\begin{tabular}{c} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
504 |
tell me \bl{$f(x)$} $\Rightarrow$\\ |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
505 |
$\Leftarrow$ \bl{$f(x) + \text{noise}$} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
506 |
\end{tabular} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
507 |
\;\;\;\;\begin{tabular}{@{}c} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
508 |
Database\\ |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
509 |
\bl{$x_1, \ldots, x_n$} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
510 |
\end{tabular} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
511 |
\end{center} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
512 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
513 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
514 |
\begin{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
515 |
\item \bl{$f(x)$} can be released, if \bl{$f$} is insensitive to |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
516 |
individual entries \bl{$x_1, \ldots, x_n$}\\ |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
517 |
\item Intuition: whatever is learned from the dataset would be learned regardless of whether |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
518 |
\bl{$x_i$} participates\bigskip\pause |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
519 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
520 |
\item Noised needed in order to prevent queries:\\ Christian's salary $=$ |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
521 |
\begin{center} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
522 |
\bl{\large$\Sigma$} all staff $-$ \bl{\large$\Sigma$} all staff $\backslash$ Christian |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
523 |
\end{center} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
524 |
\end{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
525 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
526 |
\end{frame}} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
527 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
528 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
529 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
530 |
\mode<presentation>{ |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
531 |
\begin{frame}[c] |
141
12729536bfa2
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
140
diff
changeset
|
532 |
\frametitle{Example} |
12729536bfa2
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
140
diff
changeset
|
533 |
|
12729536bfa2
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
140
diff
changeset
|
534 |
\begin{center} |
12729536bfa2
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
140
diff
changeset
|
535 |
\begin{tabular}{l|l} |
12729536bfa2
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
140
diff
changeset
|
536 |
Name & Has the disease?\\\hline |
12729536bfa2
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
140
diff
changeset
|
537 |
Alice & yes\\ |
12729536bfa2
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
140
diff
changeset
|
538 |
Bob & no\\ |
12729536bfa2
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
140
diff
changeset
|
539 |
Charlie & yes\\ |
12729536bfa2
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
140
diff
changeset
|
540 |
Eve & no\\ |
12729536bfa2
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
140
diff
changeset
|
541 |
Chandler & yes\\ |
12729536bfa2
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
140
diff
changeset
|
542 |
\end{tabular} |
12729536bfa2
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
140
diff
changeset
|
543 |
\end{center} |
12729536bfa2
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
140
diff
changeset
|
544 |
|
12729536bfa2
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
140
diff
changeset
|
545 |
How many people have a disease? |
12729536bfa2
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
140
diff
changeset
|
546 |
|
12729536bfa2
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
140
diff
changeset
|
547 |
\end{frame}} |
12729536bfa2
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
140
diff
changeset
|
548 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
12729536bfa2
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
140
diff
changeset
|
549 |
|
12729536bfa2
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
140
diff
changeset
|
550 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
12729536bfa2
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
140
diff
changeset
|
551 |
\mode<presentation>{ |
12729536bfa2
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
140
diff
changeset
|
552 |
\begin{frame}[c] |
138
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
553 |
\frametitle{Adding Noise} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
554 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
555 |
Adding noise is not as trivial as one would wish: |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
556 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
557 |
\begin{itemize} |
141
12729536bfa2
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
140
diff
changeset
|
558 |
\item If I ask how many of three have a disease and get a result |
138
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
559 |
as follows |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
560 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
561 |
\begin{center} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
562 |
\begin{tabular}{l|c} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
563 |
Alice & yes\\ |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
564 |
Bob & no\\ |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
565 |
Charlie & yes\\ |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
566 |
\end{tabular} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
567 |
\end{center} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
568 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
569 |
then I have to add a noise of \bl{$1$}. So answers would be in the |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
570 |
range of \bl{$1$} to \bl{$3$} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
571 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
572 |
\bigskip |
141
12729536bfa2
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
140
diff
changeset
|
573 |
\item But if I ask five questions for all the dataset (has the disease, is male, below 30, \ldots), |
138
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
574 |
then one individual can change the dataset by \bl{$5$} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
575 |
\end{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
576 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
577 |
\end{frame}} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
578 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
579 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
580 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
581 |
\mode<presentation>{ |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
582 |
\begin{frame}[t] |
142
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
583 |
\frametitle{\begin{tabular}{@{}c@{}}Tor (private web browsing)\end{tabular}} |
138
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
584 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
585 |
\begin{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
586 |
\item initially developed by US Navy Labs, but then opened up to the world |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
587 |
\item network of proxy nodes |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
588 |
\item a Tor client establishes a ``random'' path to the destination server (you cannot trace back where the information came from)\bigskip\pause |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
589 |
\end{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
590 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
591 |
\only<2>{ |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
592 |
\begin{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
593 |
\item malicious exit node attack: someone set up 5 Tor exit nodes and monitored the traffic: |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
594 |
\begin{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
595 |
\item a number of logons and passwords used by embassies (Usbekistan `s1e7u0l7c', while |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
596 |
Tunesia `Tunesia' and India `1234') |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
597 |
\end{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
598 |
\end{itemize}} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
599 |
\only<3>{ |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
600 |
\begin{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
601 |
\item bad apple attack: if you have one insecure application, your IP can be tracked through Tor |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
602 |
\begin{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
603 |
\item background: 40\% of traffic on Tor is generated by BitTorrent |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
604 |
\end{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
605 |
\end{itemize}} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
606 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
607 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
608 |
\end{frame}} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
609 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
610 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
611 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
612 |
\mode<presentation>{ |
142
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
613 |
\begin{frame}[c] |
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
614 |
\frametitle{Tor Nodes} |
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
615 |
|
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
616 |
Dan Egerstad wrote:\bigskip |
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
617 |
|
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
618 |
\it ``If you actually look in to where these Tor nodes are hosted and how big they are, some of these nodes cost thousands of dollars each month just to host because they're using lots of bandwidth, they're heavy-duty servers and so on. Who would pay for this and be anonymous?" |
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
619 |
|
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
620 |
|
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
621 |
\end{frame}} |
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
622 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
623 |
|
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
624 |
|
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
625 |
|
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
626 |
|
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
627 |
|
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
628 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
629 |
\mode<presentation>{ |
138
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
630 |
\begin{frame}[t] |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
631 |
\frametitle{\begin{tabular}{@{}c@{}}Skype\end{tabular}} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
632 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
633 |
\begin{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
634 |
\item Skype used to be known as a secure online communication (encryption cannot be disabled), |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
635 |
but \ldots\medskip |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
636 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
637 |
\item it is impossible to verify whether crypto algorithms are correctly used, or whether there are backdoors.\bigskip |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
638 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
639 |
\item recently someone found out that you can reset the password of somebody else's |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
640 |
account, only knowing their email address (needed to suspended the password reset feature temporarily) |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
641 |
\end{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
642 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
643 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
644 |
\end{frame}} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
645 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
646 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
647 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
648 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
649 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
650 |
\mode<presentation>{ |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
651 |
\begin{frame}[c] |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
652 |
\frametitle{\begin{tabular}{@{}c@{}}Take Home Point\end{tabular}} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
653 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
654 |
According to Ross Anderson: \bigskip |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
655 |
\begin{itemize} |
142
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
656 |
\item Creating large databases of sensitive personal information is intrinsically |
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
657 |
hazardous (NHS)\bigskip |
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
658 |
|
14d4e839e13a
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
141
diff
changeset
|
659 |
|
138
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
660 |
\item Privacy in a big hospital is just about doable.\medskip |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
661 |
\item How do you enforce privacy in something as big as Google |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
662 |
or complex as Facebook? No body knows.\bigskip |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
663 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
664 |
Similarly, big databases imposed by government |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
665 |
\end{itemize} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
666 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
667 |
|
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
668 |
\end{frame}} |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
669 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86d1e2e6c211
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
90
diff
changeset
|
670 |
|
77
56dbc339ec87
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
76
diff
changeset
|
671 |
|
76
dde58256fc35
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
75
diff
changeset
|
672 |
\end{document} |
75
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
673 |
|
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
674 |
%%% Local Variables: |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
675 |
%%% mode: latex |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
676 |
%%% TeX-master: t |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
677 |
%%% End: |
df7cf3d07bd8
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
678 |