\section{Model}\label{sec:model}
% The parties, the network, the adversary, and the definitions the results depend on.