86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
1 |
\documentclass[dvipsnames,14pt,t]{beamer}
|
315
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
2 |
\usepackage{../slides}
|
215
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
3 |
\usepackage{../langs}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
4 |
\usepackage{../data}
|
315
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
5 |
\usepackage{../graphics}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
6 |
\usepackage{soul}
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
7 |
|
223
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
8 |
\tikzset{onslide/.code args={<#1>#2}{%
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
9 |
\only<#1>{\pgfkeysalso{#2}} % \pgfkeysalso doesn't change the path
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
10 |
}}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
11 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
12 |
\makeatletter
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
13 |
\newenvironment<>{btHighlight}[1][]
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
14 |
{\begin{onlyenv}#2\begingroup\tikzset{bt@Highlight@par/.style={#1}}\begin{lrbox}{\@tempboxa}}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
15 |
{\end{lrbox}\bt@HL@box[bt@Highlight@par]{\@tempboxa}\endgroup\end{onlyenv}}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
16 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
17 |
\newcommand<>\btHL[1][]{%
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
18 |
\only#2{\begin{btHighlight}[#1]\bgroup\aftergroup\bt@HL@endenv}%
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
19 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
20 |
\def\bt@HL@endenv{%
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
21 |
\end{btHighlight}%
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
22 |
\egroup
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
23 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
24 |
\newcommand{\bt@HL@box}[2][]{%
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
25 |
\tikz[#1]{%
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
26 |
\pgfpathrectangle{\pgfpoint{1pt}{0pt}}{\pgfpoint{\wd #2}{\ht #2}}%
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
27 |
\pgfusepath{use as bounding box}%
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
28 |
\node[anchor=base west, fill=orange!30,outer sep=0pt,inner xsep=1pt, inner ysep=0pt, rounded corners=3pt, minimum height=\ht\strutbox+1pt,#1]{\raisebox{1pt}{\strut}\strut\usebox{#2}};
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
29 |
}%
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
30 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
31 |
\makeatother
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
32 |
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
33 |
|
315
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
34 |
% beamer stuff
|
459
|
35 |
\renewcommand{\slidecaption}{CFL 10, King's College London}
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
36 |
\newcommand{\bl}[1]{\textcolor{blue}{#1}}
|
315
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
37 |
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
38 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
39 |
\begin{document}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
40 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
41 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
315
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
42 |
\begin{frame}[t]
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
43 |
\frametitle{%
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
44 |
\begin{tabular}{@ {}c@ {}}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
45 |
\\[-3mm]
|
459
|
46 |
\LARGE Compilers and \\[-2mm]
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
47 |
\LARGE Formal Languages (10)\\[3mm]
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
48 |
\end{tabular}}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
49 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
50 |
\normalsize
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
51 |
\begin{center}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
52 |
\begin{tabular}{ll}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
53 |
Email: & christian.urban at kcl.ac.uk\\
|
215
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
54 |
Office: & S1.27 (1st floor Strand Building)\\
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
55 |
Slides: & KEATS (also home work is there)\\
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
56 |
\end{tabular}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
57 |
\end{center}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
58 |
|
315
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
59 |
\end{frame}
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
60 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
61 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
62 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
63 |
\mode<presentation>{
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
64 |
\begin{frame}[c]
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
65 |
|
315
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
66 |
\large\bf
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
67 |
Using a compiler, \\how can you mount the\\ perfect attack against a system?
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
68 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
69 |
\end{frame}}
|
223
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
70 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
71 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
72 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
73 |
\mode<presentation>{
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
74 |
\begin{frame}[c]
|
223
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
75 |
|
315
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
76 |
{\large\bf
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
77 |
What is a \alert{perfect} attack?}\bigskip
|
223
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
78 |
|
315
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
79 |
\begin{enumerate}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
80 |
\item you can potentially completely take over a target system
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
81 |
\item your attack is (nearly) undetectable
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
82 |
\item the victim has (almost) no chance to recover
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
83 |
\end{enumerate}
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
84 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
85 |
\end{frame}}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
86 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
87 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
88 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
89 |
\mode<presentation>{
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
90 |
\begin{frame}[c]
|
315
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
91 |
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
92 |
|
315
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
93 |
\begin{center}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
94 |
\begin{tikzpicture}[scale=1]
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
95 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
96 |
\onslide<1->{
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
97 |
\node (A) at (0,0) [draw=black, rectangle, very thick, minimum height=18mm, minimum width=17mm] {};
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
98 |
\node [below right] at (A.north west) {\footnotesize\begin{tabular}{@{}l@{}}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
99 |
\only<1,2>{clean}\only<3->{\alert{hacked}}\\compiler\end{tabular}};}
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
100 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
101 |
|
315
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
102 |
\onslide<2->{
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
103 |
\node (B) at (-2,2) [draw=black, rectangle, very thick, minimum height=10mm, minimum width=12mm] {};
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
104 |
\node [below right] at (B.north west) {\footnotesize\begin{tabular}{@{}l@{}}login\\(src)\end{tabular}};
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
105 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
106 |
\node (C) at (2,2) [draw=black, rectangle, very thick, minimum height=10mm, minimum width=12mm] {};
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
107 |
\node [below right] at (C.north west) {\footnotesize\begin{tabular}{@{}l@{}}login\\(bin)\end{tabular}};
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
108 |
|
315
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
109 |
\draw[->, line width=2mm] (B) -- (C);
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
110 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
111 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
112 |
\onslide<3->{\node [above left=-1.5mm] at (C.south east) {\footnotesize \alert{$\blacksquare$}};}
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
113 |
|
315
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
114 |
\end{tikzpicture}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
115 |
\end{center}
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
116 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
117 |
\end{frame}}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
118 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
119 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
120 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
121 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
122 |
\mode<presentation>{
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
123 |
\begin{frame}[c]
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
124 |
|
315
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
125 |
\begin{center}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
126 |
\begin{tikzpicture}[scale=1]
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
127 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
128 |
\onslide<1->{
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
129 |
\node (A) at (0,0) [draw=black, rectangle, very thick, minimum height=18mm, minimum width=14mm] {};
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
130 |
\node [below right] at (A.north west) {\small V0.01};
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
131 |
\node [below right] (A1) at (A.south west) {\small Scala};
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
132 |
\node [below right] (A1) at (A1.south west) {\small\textcolor{gray}{host language}};
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
133 |
\node [above right] at (A.north west) {my compiler (src)};}
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
134 |
|
315
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
135 |
\onslide<2->{
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
136 |
\node (B) at (1.8,0) [draw=black, rectangle, very thick, minimum height=18mm, minimum width=14mm] {};
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
137 |
\node [below right] at (B.north west) {\small V0.02};
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
138 |
\node [below right] at (B.south west) {\small Scala};
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
139 |
\node at (3,0) {\ldots};
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
140 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
141 |
\node (C) at (5,0) [draw=black, rectangle, very thick, minimum height=18mm, minimum width=14mm] {};
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
142 |
\node [below right] at (C.north west) {\small V1.00};
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
143 |
\node [below right] at (C.south west) {\small Scala};}
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
144 |
|
315
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
145 |
\onslide<3->{
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
146 |
\node (D) at (6.8,0) [draw=black, rectangle, very thick, minimum height=18mm, minimum width=14mm] {};
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
147 |
\node [below right] at (D.north west) {\small V1.00};
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
148 |
|
315
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
149 |
\node (E) at (6.8,2) [draw=black, rectangle, very thick, minimum height=18mm, minimum width=14mm] {};
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
150 |
\node [below right] at (E.north west) {\small V1.01};}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
151 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
152 |
\onslide<4->{
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
153 |
\node (F) at (8.6,0) [draw=black, rectangle, very thick, minimum height=18mm, minimum width=14mm] {};
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
154 |
\node [below right] at (F.north west) {\small V1.01};
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
155 |
|
315
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
156 |
\node (G) at (8.6,2) [draw=black, rectangle, very thick, minimum height=18mm, minimum width=14mm] {};
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
157 |
\node [below right] at (G.north west) {\small V1.02};
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
158 |
\node at (9.8,0) {\ldots};
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
159 |
\node at (9.8,2) {\ldots};
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
160 |
\node at (8,-2) {\textcolor{gray}{\begin{tabular}{@{}l@{}}no host language\\needed\end{tabular}}};
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
161 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
162 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
163 |
\end{tikzpicture}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
164 |
\end{center}
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
165 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
166 |
\end{frame}}
|
315
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
167 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
168 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
169 |
|
315
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
170 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
171 |
\mode<presentation>{
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
172 |
\begin{frame}<1-3>
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
173 |
\frametitle{\LARGE\begin{tabular}{c}Hacking Compilers
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
174 |
\end{tabular}}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
175 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
176 |
%Why is it so paramount to have a small trusted code base (TCB)?
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
177 |
\bigskip\bigskip
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
178 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
179 |
\begin{columns}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
180 |
\begin{column}{2.7cm}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
181 |
\begin{minipage}{2.5cm}%
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
182 |
\begin{tabular}{c@ {}}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
183 |
\includegraphics[scale=0.2]{../pics/ken-thompson.jpg}\\[-1.8mm]
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
184 |
\footnotesize Ken Thompson\\[-1.8mm]
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
185 |
\footnotesize Turing Award, 1983\\
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
186 |
\end{tabular}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
187 |
\end{minipage}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
188 |
\end{column}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
189 |
\begin{column}{9cm}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
190 |
\begin{tabular}{l@ {\hspace{1mm}}p{8cm}}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
191 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
192 |
& Ken Thompson showed how to hide a Trojan Horse in a
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
193 |
compiler \textcolor{red}{without} leaving any traces in the source code.\\[2mm]
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
194 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
195 |
& No amount of source level verification will protect
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
196 |
you from such Thompson-hacks.\\[2mm]
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
197 |
|
315
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
198 |
& Therefore in safety-critical systems it is important to rely
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
199 |
on only a very small TCB.
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
200 |
\end{tabular}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
201 |
\end{column}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
202 |
\end{columns}
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
203 |
|
315
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
204 |
\only<2>{
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
205 |
\begin{textblock}{6}(4,2)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
206 |
\begin{tikzpicture}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
207 |
\draw (0,0) node[inner sep=3mm,fill=cream, ultra thick, draw=red, rounded corners=2mm]
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
208 |
{\normalsize
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
209 |
\begin{minipage}{8cm}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
210 |
\begin{quote}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
211 |
\includegraphics[scale=0.05]{../pics/evil.png}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
212 |
\begin{enumerate}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
213 |
\item[1)] Assume you ship the compiler as binary and also with sources.
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
214 |
\item[2)] Make the compiler aware when it compiles itself.
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
215 |
\item[3)] Add the Trojan horse.
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
216 |
\item[4)] Compile.
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
217 |
\item[5)] Delete Trojan horse from the sources of the compiler.
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
218 |
\item[6)] Go on holiday for the rest of your life. ;o)\\[-7mm]\mbox{}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
219 |
\end{enumerate}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
220 |
\end{quote}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
221 |
\end{minipage}};
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
222 |
\end{tikzpicture}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
223 |
\end{textblock}}
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
224 |
|
315
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
225 |
\end{frame}}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
226 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
227 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
228 |
|
86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
229 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
230 |
\end{document}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
231 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
232 |
%%% Local Variables:
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
233 |
%%% mode: latex
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
234 |
%%% TeX-master: t
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
235 |
%%% End:
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
236 |
|