preamble.tex

% \usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsthm}
% \usepackage{amsfonts}
% \usepackage[pdfstartview=FitH,colorlinks,urlcolor=black,linkcolor=black,citecolor=black,pdfpagelabels,bookmarksdepth=2,bookmarksopen=true,bookmarksnumbered]{hyperref}
\usepackage{changepage}
\usepackage{framed}

\usepackage[notcomma,notperiod,notquote,notcolon,notexcl,notquery,notscolon]{hanging}

\usepackage[capitalise,noabbrev]{cleveref}
%\usepackage[margin=1.5in]{geometry}
\usepackage[parfill]{parskip}
\usepackage[normalem]{ulem}
\usepackage{framed}
\usepackage{xcolor}
\usepackage{pagecolor,lipsum}
\usepackage{bold-extra}
\usepackage{caption}

\input{latexdefs}


\usepackage[lambda,adversary,advantage,asymptotics,sets,landau,probability,
    operators]{cryptocode}
\usepackage[style=alphabetic,backend=biber]{biblatex}
\addbibresource{bib.bib}
\usepackage[toc]{appendix}
\usepackage{ulem}

\usepackage{tikzsymbols}
\usetikzlibrary{decorations.pathreplacing}
\usetikzlibrary{calc}
\usetikzlibrary{hobby}
\usetikzlibrary{decorations.markings, decorations.pathmorphing}
\usetikzlibrary{shapes}
\usetikzlibrary{positioning,fit}

\createpseudocodeblock{pcb}{center, boxed}{}{}{}
\createprocedureblock{pcbexp}{center, boxed}{}{$\mathrm{Experiment}$\ }{}

%\newcommand{\hcg}[1]{{\color{blue}[\textbf{HCG}: #1]}}
%\newcommand{\oldhcg}[1]{{\color{gray}[\textbf{HCG}: #1]}}
%\newcommand{\arvid}[1]{{\color{violet}[\textbf{AL}: #1]}}

\newcommand{\authtoken}{\pckeystyle{tk}}


\setcounter{tocdepth}{3}

%\renewcommand{\contentsnamefont}{\Large\raggedright\bfseries\MakeTextUppercase}

% Erik's \xxx macro
% Complex \xxx for making notes of things to do.  Use \xxx{...} for general
% notes, and \xxx[who]{...} if you want to blame someone in particular.
% Puts text in brackets and in bold font, and normally adds a marginpar
% with the text ``xxx'' so that it is easy to find.  On the other hand, if
% the comment is in a minipage, figure, or caption, the xxx goes in the text,
% because marginpars are not possible in these situations.
{\makeatletter
 \gdef\xxxmark{%
   \expandafter\ifx\csname @mpargs\endcsname\relax % in minipage?
     \expandafter\ifx\csname @captype\endcsname\relax % in figure/caption?
       \marginpar{xxx}% not in a caption or minipage, can use marginpar
     \else
       xxx % notice trailing space
     \fi
   \else
     xxx % notice trailing space
   \fi}
 \gdef\xxx{\@ifnextchar[\xxx@lab\xxx@nolab}
 \long\gdef\xxx@lab[#1]#2{\textbf{[\xxxmark #2 ---{\sc #1}]}}
 \long\gdef\xxx@nolab#1{\textbf{[\xxxmark #1]}}
 % This turns them off:
%  \long\gdef\xxx@lab[#1]#2{}\long\gdef\xxx@nolab#1{}%
}

\pagenumbering{arabic}

% Specific commands for this paper

\newcommand{\Hyb}{\mathsf{Hyb}}
\newcommand{\Real}{\mathsf{Real}}
\newcommand{\Ideal}{\mathsf{Ideal}}
\newcommand{\Leak}{\mathsf{Leak}}
\newcommand{\Ind}{\mathsf{Ind}}
\newcommand{\frienddb}{\mathsf{frdb}}
\newcommand{\seqs}{\mathsf{seqstart}}
\newcommand{\seqe}{\mathsf{seqend}}
\newcommand{\seqr}{\mathsf{seqrecv}}
\newcommand{\inb}{\mathsf{in}}
\newcommand{\outb}{\mathsf{out}}
\newcommand{\msgdb}{\mathsf{msgdb}}
\newcommand{\msglb}{\mathsf{msglb}}
\newcommand{\ackdb}{\mathsf{ackdb}}
\newcommand{\ACK}{\mathsf{ACK}}
\newcommand{\ack}{\mathsf{ack}}
\newcommand{\KXE}{\mathsf{KXE}}
\newcommand{\KXD}{\mathsf{KXD}}
\newcommand{\KX}{\mathsf{KX}}
\newcommand{\Eval}{\mathsf{Eval}}

\newcommand{\kx}{\mathsf{kx}}
\renewcommand{\ae}{\mathsf{ae}}

\newcommand{\MSGS}{\mathsf{MSGSent}}
\newcommand{\msgs}{\mathsf{msgsent}}
\newcommand{\MSGR}{\mathsf{MSGRecv}}
\newcommand{\cD}{\mathcal{D}}

\newcommand{\gensharedsecret}{\mathsf{GenSec}}


%% draw vertical line
\usepackage{mdframed}
\newmdenv[
  linecolor=black,
  topline=false,
  bottomline=false,
  rightline=false,
  skipabove=5pt,
  skipbelow=5pt,
]{siderule}