body.tex

\input{introduction}
\input{preliminaries}
\input{velvet}
\input{attack}
\input{simulation}
\input{construction}
\input{analysis}
\input{infix_proofs}
\input{flyclient}
\input{acknowledgments}


\newpage
\ifccs
  \bibliographystyle{ACM-Reference-Format}
\else
  \bibliographystyle{abbrv}
\fi
\bibliography{refs}

%\newpage
%\appendix
%\iflncs
%\section*{Appendix}
%\fi
%\input{flyclient}
%\input{simulation}

%\section{Location}
%Note that in the new ACM style, the Appendices come before the References.

%\ifccs
%\begin{acks}
%\input{acknowledgments}
%\end{acks}
%\else
%\input{acknowledgments}
%\fi