\section{Security}\label{sec:security}
% The security theorems, with their proofs here or in the appendix.