imports.tex

%%% Formatting packages
\usepackage{authblk}
\usepackage[utf8]{inputenc}
\usepackage{footnote}
\usepackage[dvipsnames]{xcolor}     % color names
\usepackage{graphicx}
\usepackage{url}        % URLs
\usepackage{hyperref}   % named URLs (clashes with dtrt)
%% Change hyperref's colors
\hypersetup{            
  colorlinks=true,   % e.g. footnotes
  linkcolor=teal,   % internal links (e.g. equation and theorem labels)
  urlcolor=cyan,     % \hyperref and \url
  filecolor=red,
  citecolor=OliveGreen,   % bibliography citations
}
\usepackage[inline]{enumitem}   % better enumerations
\usepackage{multirow}   % multi-row math tables
\usepackage{multicol}   % multi-column pages and math tables
\usepackage{soul}       % strikethrough
\usepackage{parskip}    % Use decent \parskip. Also disables \parindent as default (must manually specify)
\usepackage{pgffor}
%%% https://github.com/leisec/dtrt
%%% Switch to camera,notes=false before submission
%\usepackage[camera,notes=false]{packages/dtrt}
%\usepackage{xparse}     % For complex commands (e.g. \IfNoValueTF)

%%% Math packages
\usepackage{amsmath}
\usepackage{amssymb}    % \mathcal, \mathbb, etc.
\usepackage{amsthm}     % math theorem enumerations
\usepackage{amsfonts}
\usepackage{mathtools}  % \coloneqq, ...
\usepackage{mathpartir} % Inference relations
\usepackage{tikz}       % Graphs, diagrams, etc.
\usetikzlibrary{graphs, calc, positioning, arrows, shadows}
%\usepackage[underline=false]{pgf-umlsd}

%%% CS packages
\usepackage{ifthen}
\usepackage{xifthen}
\usepackage{listings}   % code
\usepackage{algorithm2e}
\usepackage{calc}

\usepackage[capitalise,nameinlink]{cleveref} % Smart references (incl. e.g. Section/Appendix/Figure labels)

\usepackage{float}
\usepackage{xspace}

\usepackage{diagbox}

% From https://tex.stackexchange.com/questions/2441/how-to-add-a-forced-line-break-inside-a-table-cell
\usepackage{makecell}
\renewcommand\theadfont{}

\usepackage[toc,page]{appendix}

% https://stackoverflow.com/questions/5940756/draw-a-table-in-vertical-display-instead-of-horizontal-display
\usepackage{lscape}

% https://tex.stackexchange.com/questions/599929/how-can-i-create-an-alice-bob-crypto-protocol-diagram-with-arrows
\usepackage[operators,sets]{cryptocode}
\createprocedureblock{pcb}{center,boxed}{}{}{}

% https://tex.stackexchange.com/questions/552025/cryptocode-2-columns
\usepackage{dashbox}

\usepackage[acronyms,toc,nonumberlist,nogroupskip]{glossaries}
\usepackage{glossary-mcols}