%%% -*-latex-*-
%%%
%%% Main document sequencing for IPS course

\documentclass{ips}

\title{Introduction to Provable Security}
\author{Mark Wooding}

\begin{document}

\maketitle

\ifarticle\else
\begin{slide}
  \emptyslide
  \noindent\vadjust{}
  \vfil
  \centerline{\sffamily\bfseries\huge Introduction to Provable Security}
  \vfil
  \leavevmode\hfill{\sffamily\bfseries\large Mark Wooding}
  \vfil
\end{slide}
\fi

\tableofcontents

\include{basics}

\include{auth-mac}
\include{auth-sig}

\include{enc-intro}
\include{enc-pub}
\include{enc-symm}
\include{enc-ies}

%% \include{zk}
%% \include{chan}

\ifipsanswers\section{Answers to exercises}\answers\fi

\section{Acknowledgements}

A great deal of the material covered here, particularly the earlier stuff, is
derived from \cite{Goldwasser:1999:LNC}.  Of course, any errors are mine
alone.

\ifarticle\bibliography{cryptography,mdw-crypto}\else
\begin{slide}
  \head{References} \sectionmark{References}
  \bibliography{cryptography,mdw-crypto}
\end{slide}
\fi

\end{document}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: 
