\HeadingLevelB{Secure Remote Computation}
\label{sec:intro_secure_remote_computation}

Secure remote computation (Figure~\ref{fig:remote_computation}) is the problem
of executing software on a remote computer \textbf{owned and maintained by an
untrusted party}, with some integrity and confidentiality guarantees. In the
general setting, secure remote computation is an unsolved problem. Fully
Homomorphic Encryption~\citep{gentry2009fhe} addresses the problem for a limited
family of computations, but has an impractical performance overhead
\citep{naehrig2011can}.

\begin{figure}[htpb]
  \centering
  \includegraphics[width=75mm]{figures/remote_computation.pdf}
  \caption{
    Secure remote computation. A user relies on a remote computer, owned by an
    untrusted party, to perform some computation on her data. The user has some
    assurance of the computation's integrity and confidentiality.
  }
  \label{fig:remote_computation}
\end{figure}
