\begin{acknowledgments}
\addcontentsline{toc}{chapter}{Acknowledgments}
\label{sec:acknowledgments}
Funding for this research was partially provided by the National Science Foundation under contract number \mbox{CNS-1413920} and by Delta Electronics. We thank Christopher Fletcher, Albert Kwon, Marten van Dijk, Ling Ren, Ron Rivest, and Nickolai Zeldovich for useful discussions throughout the course of this work. We acknowledge the useful feedback from Intel SGX designers on an early version of this manuscript.
\end{acknowledgments}
