1 \documentclass[dvipsnames,14pt,t]{beamer} |
1 \documentclass[dvipsnames,14pt,t]{beamer} |
2 \usepackage{beamerthemeplaincu} |
2 \usepackage{../slides} |
3 \usepackage[absolute,overlay]{textpos} |
|
4 \usepackage{ifthen} |
|
5 \usepackage{tikz} |
|
6 \usepackage{pgf} |
|
7 \usepackage{calc} |
|
8 \usepackage{ulem} |
|
9 \usepackage{courier} |
|
10 \usepackage{listings} |
|
11 \renewcommand{\uline}[1]{#1} |
|
12 \usetikzlibrary{arrows} |
|
13 \usetikzlibrary{automata} |
|
14 \usetikzlibrary{shapes} |
|
15 \usetikzlibrary{shadows} |
|
16 \usetikzlibrary{positioning} |
|
17 \usetikzlibrary{calc} |
|
18 \usetikzlibrary{plotmarks} |
|
19 \usepackage{graphicx} |
|
20 \usepackage{pgfplots} |
|
21 \usepackage{../langs} |
3 \usepackage{../langs} |
22 \usepackage{../data} |
4 \usepackage{../data} |
|
5 \usepackage{../graphics} |
23 |
6 |
24 |
7 |
25 % beamer stuff |
8 % beamer stuff |
26 \renewcommand{\slidecaption}{AFL 09, King's College London, 27.~November 2013} |
9 \renewcommand{\slidecaption}{AFL 09, King's College London} |
27 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
10 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
28 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions |
11 |
29 |
|
30 \pgfdeclareradialshading{smallbluesphere}{\pgfpoint{0.5mm}{0.5mm}}% |
|
31 {rgb(0mm)=(0,0,0.9); |
|
32 rgb(0.9mm)=(0,0,0.7); |
|
33 rgb(1.3mm)=(0,0,0.5); |
|
34 rgb(1.4mm)=(1,1,1)} |
|
35 |
|
36 \def\myitemi{\begin{pgfpicture}{-1ex}{-0.55ex}{1ex}{1ex} |
|
37 \usebeamercolor[fg]{subitem projected} |
|
38 {\pgftransformscale{0.8}\pgftext{\normalsize\pgfuseshading{bigsphere}}} |
|
39 \pgftext{% |
|
40 \usebeamerfont*{subitem projected}} |
|
41 \end{pgfpicture}} |
|
42 |
|
43 \begin{document} |
12 \begin{document} |
44 |
13 |
45 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
14 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
46 \mode<presentation>{ |
15 \begin{frame}[t] |
47 \begin{frame}<1>[t] |
|
48 \frametitle{% |
16 \frametitle{% |
49 \begin{tabular}{@ {}c@ {}} |
17 \begin{tabular}{@ {}c@ {}} |
50 \\[-3mm] |
18 \\[-3mm] |
51 \LARGE Automata and \\[-2mm] |
19 \LARGE Automata and \\[-2mm] |
52 \LARGE Formal Languages (9)\\[3mm] |
20 \LARGE Formal Languages (9)\\[3mm] |
191 \end{tabular} |
159 \end{tabular} |
192 \end{minipage} |
160 \end{minipage} |
193 \end{column} |
161 \end{column} |
194 \begin{column}{9cm} |
162 \begin{column}{9cm} |
195 \begin{tabular}{l@ {\hspace{1mm}}p{8cm}} |
163 \begin{tabular}{l@ {\hspace{1mm}}p{8cm}} |
196 \myitemi |
164 |
197 & Ken Thompson showed how to hide a Trojan Horse in a |
165 & Ken Thompson showed how to hide a Trojan Horse in a |
198 compiler \textcolor{red}{without} leaving any traces in the source code.\\[2mm] |
166 compiler \textcolor{red}{without} leaving any traces in the source code.\\[2mm] |
199 \myitemi |
167 |
200 & No amount of source level verification will protect |
168 & No amount of source level verification will protect |
201 you from such Thompson-hacks.\\[2mm] |
169 you from such Thompson-hacks.\\[2mm] |
202 |
170 |
203 \myitemi |
|
204 & Therefore in safety-critical systems it is important to rely |
171 & Therefore in safety-critical systems it is important to rely |
205 on only a very small TCB. |
172 on only a very small TCB. |
206 \end{tabular} |
173 \end{tabular} |
207 \end{column} |
174 \end{column} |
208 \end{columns} |
175 \end{columns} |