projectPresentation.tex

%%
% Please see https://bitbucket.org/rivanvx/beamer/wiki/Home for obtaining beamer.
%%
\documentclass{beamer}

\usetheme{Rochester}
\usecolortheme{beaver}

\title{Encrypted Keyword Search Using \\ Path ORAM on MirageOS}
\author{Rupert Horlick -- rh572@cam.ac.uk}

\begin{document}

\begin{frame}
  \maketitle
\end{frame}

\begin{frame}
  \frametitle{Threat Model}
    \setlength{\unitlength}{0.6mm}
    \input{threatModel}
\end{frame}

\begin{frame}
  \frametitle{System Architecture}
    \setlength{\unitlength}{0.6mm}
    \input{mirageStack}
\end{frame}

\begin{frame}
  \frametitle{Work Completed}
    \begin{description}
      \item[ORAM] as a functor with recursion and statelessness
      \item[File System] based on inodes, with B-Trees for the index
      \item[Search] using an inverted index and related search operations
      \item[Encryption] by integrating an existing library
      \item[Write Up] of preparation and implementation sections
      \item[Functional Testing] using unit tests and randomised testing
    \end{description}
\end{frame}

\begin{frame}
  \frametitle{Next Steps}
    \begin{description}
      \item[Performance Testing] using micro- and macro-benchmarks
      \item[Security Testing] using statistical analysis
      \item[Write Up] of evaluation section and conclusions
      \item[Redrafting] based on feedback of supervisors
      \item[Extensions] including optimisations and integrity verification
    \end{description}
\end{frame}

\end{document}