17 \usetikzlibrary{automata} |
17 \usetikzlibrary{automata} |
18 \usetikzlibrary{shapes} |
18 \usetikzlibrary{shapes} |
19 \usetikzlibrary{shadows} |
19 \usetikzlibrary{shadows} |
20 \usetikzlibrary{positioning} |
20 \usetikzlibrary{positioning} |
21 \usetikzlibrary{calc} |
21 \usetikzlibrary{calc} |
|
22 \usepackage{upquote} |
|
23 \usetikzlibrary{plotmarks} |
22 \usepackage{graphicx} |
24 \usepackage{graphicx} |
23 \usepackage{upquote} |
25 \usepackage{pgfplots} |
|
26 |
24 |
27 |
25 \definecolor{javared}{rgb}{0.6,0,0} % for strings |
28 \definecolor{javared}{rgb}{0.6,0,0} % for strings |
26 \definecolor{javagreen}{rgb}{0.25,0.5,0.35} % comments |
29 \definecolor{javagreen}{rgb}{0.25,0.5,0.35} % comments |
27 \definecolor{javapurple}{rgb}{0.5,0,0.35} % keywords |
30 \definecolor{javapurple}{rgb}{0.5,0,0.35} % keywords |
28 \definecolor{javadocblue}{rgb}{0.25,0.35,0.75} % javadoc |
31 \definecolor{javadocblue}{rgb}{0.25,0.35,0.75} % javadoc |
1296 \end{itemize} |
1299 \end{itemize} |
1297 |
1300 |
1298 \end{frame}} |
1301 \end{frame}} |
1299 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1302 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1300 |
1303 |
1301 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
1302 \mode<presentation>{ |
|
1303 \begin{frame}[c] |
|
1304 \frametitle{This Course is about Satan's Computer} |
|
1305 |
|
1306 Ross Anderson and Roger Needham wrote:\bigskip |
|
1307 |
|
1308 \begin{tikzpicture} |
|
1309 \draw (0,0) node[inner sep=2mm,fill=cream, ultra thick, draw=red, rounded corners=2mm] |
|
1310 {\normalsize\color{darkgray} |
|
1311 \begin{minipage}{10cm}\raggedright\small |
|
1312 ``In effect, our task is to program a computer which gives |
|
1313 answers which are subtly and maliciously wrong at the most |
|
1314 inconvenient possible moment\ldots{} we hope that the lessons |
|
1315 learned from programming Satan's computer may be helpful |
|
1316 in tackling the more common problem of programming Murphy's.'' |
|
1317 \end{minipage}}; |
|
1318 \end{tikzpicture}\\[30mm] |
|
1319 |
|
1320 \only<2>{ |
|
1321 \begin{textblock}{11}(2,12) |
|
1322 \begin{tabular}{c} |
|
1323 \includegraphics[scale=0.12]{pics/ariane.jpg}\\[-2mm] |
|
1324 \footnotesize Murphy's computer |
|
1325 \end{tabular} |
|
1326 \begin{tabular}{c} |
|
1327 \includegraphics[scale=0.15]{pics/mobile.jpg}\; |
|
1328 \includegraphics[scale=0.06]{pics/pinsentry.jpg}\\[-2mm] |
|
1329 \footnotesize Satan's computers |
|
1330 \end{tabular} |
|
1331 \end{textblock}} |
|
1332 |
|
1333 \end{frame}} |
|
1334 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
1335 |
1304 |
1336 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1305 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1337 \mode<presentation>{ |
1306 \mode<presentation>{ |
1338 \begin{frame}[c] |
1307 \begin{frame}[c] |
1339 \frametitle{\begin{tabular}{c}Take-Home Points\end{tabular}} |
1308 \frametitle{\begin{tabular}{c}Take-Home Points\end{tabular}} |