%\section{Attacker Model Gadget Examples}%
%\label{sub:Attacker Model Gadget Examples}