\documentclass[finalversion,endnotes]{usetex-v1}
\usepackage{graphicx}   % postscript figures
\usepackage{url}        % \url{} command with good linebreaks
\usepackage{microtype}  % I am a font nerd.
\usepackage{subfigure}
\usepackage{float}
\usepackage{nicefrac}
\usepackage{balance}
\usepackage{hevea}

\ifworkingdraft
\usepackage[colorlinks,backref]{hyperref}
\fi
\ifwebversion
\usepackage[colorlinks,backref]{hyperref}
\fi


% The following line needs to appear in every source file in
% order to track the last commit time and svn revision ID. (Why is
% this so difficult?)
%
% Also, need to 'svn propset svn:keywords Id file.tex'
\begin{latexonly}
\svnInfo $Id$  
\end{latexonly}

\begin{document}

\title{Towards~Application~Security on Untrusted~Operating~Systems}

%document status: submitted to foo, published in bar, etc.
\docstatus{To appear in HotSec '08 (San Jose, CA, July 2008)}

\newcommand{\authemail}[1]{\authurl{\mailto{#1}}}  

% authors.  separate groupings with \and.
\author{
\authname{Dan R. K. Ports}
\authaddr{MIT CSAIL \& VMware, Inc.\thanks{Work done during an
    internship at VMware, Inc.}}
\authemail{drkp@csail.mit.edu}
\and
\authname{Tal Garfinkel}
\authaddr{VMware, Inc.}
\authemail{talg@vmware.com}
%
% anyone else?
%
} % end author

\maketitle

\begin{abstract}
{\normalsize \it \input{abstract}}
\end{abstract}

\section{Introduction}
\label{sec:intro}
\input{intro}

\section{Isolation Architectures}
\label{sec:background}
\input{background}

\section{Implications of a Malicious OS}
\label{sec:security}
\input{security}

\section{Attacks and Mitigations}
\label{sec:components}
\input{components}

\section{Conclusions}
\label{sec:conclusion}
\input{conc}

% \balance needs to be called in the first column of the last page;
% hopefully placing it here achieves this.
\balance

\section*{Acknowledgements}
We are grateful to Mike~Chen, E.~Lewis, Pratap~Subrahmanyam, and
Carl~Waldspurger for much hard work in designing and building
Overshadow, and for many helpful discussions that led to this
paper. Barbara Liskov provided valuable feedback on a draft of this
paper.


\bibliographystyle{abbrv}
\footnotesize\bibliography{paper}
\end{document}

%%% Local Variables: 
%%% mode: latex
%%% TeX-command-default: "Make"
%%% TeX-PDF-mode: t
%%% End: 
