slides/info.tex
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Tue, 07 Oct 2014 09:37:47 +0100
changeset 224 b07777a393dc
parent 116 be57673022d3
permissions -rw-r--r--
added format string args
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
115
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     1
\documentclass[dvipsnames,14pt,t]{beamer}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     2
\usepackage{beamerthemeplaincu}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     3
%%\usepackage[T1]{fontenc}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     4
\usepackage[latin1]{inputenc}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     5
\usepackage{mathpartir}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     6
\usepackage[absolute,overlay]{textpos}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     7
\usepackage{ifthen}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     8
\usepackage{tikz}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     9
\usepackage{pgf}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    10
\usepackage{calc} 
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    11
\usepackage{ulem}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    12
\usepackage{courier}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    13
\usepackage{listings}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    14
\renewcommand{\uline}[1]{#1}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    15
\usetikzlibrary{arrows}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    16
\usetikzlibrary{automata}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    17
\usetikzlibrary{shapes}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    18
\usetikzlibrary{shadows}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    19
\usetikzlibrary{positioning}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    20
\usetikzlibrary{calc}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    21
\usepackage{graphicx} 
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    22
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    23
\definecolor{javared}{rgb}{0.6,0,0} % for strings
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    24
\definecolor{javagreen}{rgb}{0.25,0.5,0.35} % comments
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    25
\definecolor{javapurple}{rgb}{0.5,0,0.35} % keywords
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    26
\definecolor{javadocblue}{rgb}{0.25,0.35,0.75} % javadoc
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    27
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    28
\makeatletter
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    29
\lst@CCPutMacro\lst@ProcessOther {"2D}{\lst@ttfamily{-{}}{-{}}}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    30
\@empty\z@\@empty
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    31
\makeatother
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    32
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    33
\lstset{language=Java,
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    34
	basicstyle=\consolas,
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    35
	keywordstyle=\color{javapurple}\bfseries,
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    36
	stringstyle=\color{javagreen},
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    37
	commentstyle=\color{javagreen},
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    38
	morecomment=[s][\color{javadocblue}]{/**}{*/},
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    39
	numbers=left,
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    40
	numberstyle=\tiny\color{black},
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    41
	stepnumber=1,
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    42
	numbersep=10pt,
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    43
	tabsize=2,
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    44
	showspaces=false,
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    45
	showstringspaces=false}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    46
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    47
\lstdefinelanguage{scala}{
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    48
  morekeywords={abstract,case,catch,class,def,%
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    49
    do,else,extends,false,final,finally,%
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    50
    for,if,implicit,import,match,mixin,%
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    51
    new,null,object,override,package,%
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    52
    private,protected,requires,return,sealed,%
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    53
    super,this,throw,trait,true,try,%
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    54
    type,val,var,while,with,yield},
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    55
  otherkeywords={=>,<-,<\%,<:,>:,\#,@,->},
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    56
  sensitive=true,
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    57
  morecomment=[l]{//},
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    58
  morecomment=[n]{/*}{*/},
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    59
  morestring=[b]",
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    60
  morestring=[b]',
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    61
  morestring=[b]"""
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    62
}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    63
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    64
\lstset{language=Scala,
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    65
	basicstyle=\consolas,
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    66
	keywordstyle=\color{javapurple}\bfseries,
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    67
	stringstyle=\color{javagreen},
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    68
	commentstyle=\color{javagreen},
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    69
	morecomment=[s][\color{javadocblue}]{/**}{*/},
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    70
	numbers=left,
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    71
	numberstyle=\tiny\color{black},
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    72
	stepnumber=1,
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    73
	numbersep=10pt,
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    74
	tabsize=2,
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    75
	showspaces=false,
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    76
	showstringspaces=false}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    77
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    78
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    79
% beamer stuff 
116
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 115
diff changeset
    80
\renewcommand{\slidecaption}{APP, King's College London, 15 October 2013}
115
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    81
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    82
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    83
\begin{document}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    84
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    85
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    86
\mode<presentation>{
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    87
\begin{frame}[c]
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    88
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    89
Dear All,\medskip
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    90
116
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 115
diff changeset
    91
While showing how to hack in the last lecture, I forgot to make an important announcement: the next lecture on 15 October will be a guest lecture given by Richard Overill. He will present non-examinable material. I hope you still come. Richard is an expert in Cybercrime \& Cyberterrorism and often works with the Met Police Security Force. So he has first-hand knowledge about all sorts of hacking.\medskip
115
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    92
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    93
The lecture on the 22nd will be "normal" again given by me.  
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    94
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    95
\end{frame}}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    96
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    97
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    98
\end{document}
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    99
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   100
%%% Local Variables:  
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   101
%%% mode: latex
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   102
%%% TeX-master: t
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   103
%%% End: 
c4008b31df8e added material
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   104