\documentclass[letterpaper,twocolumn,10pt]{article}
\usepackage{usenix}

% to be able to draw some self-contained figs
\usepackage{tikz}
\usepackage{amsmath}

% inlined bib file
\usepackage{filecontents}

\usepackage{cite}
\usepackage{amsmath,amssymb,amsfonts}
\usepackage{algorithmic}
\usepackage{graphicx}
\usepackage{textcomp}
\usepackage{xcolor}
\usepackage{amsmath, amsthm}
\usepackage{xspace}
\usepackage{array}
\usepackage{comment}
\usepackage{tikz}
\usepackage{float}

\usepackage{xcolor,color,xspace,enumerate,centernot,multirow,float,graphicx,
xcolor,caption,subcaption,textcomp,pgfplots,pgf-pie,tikz,listings,
comment,adjustbox,mdframed,changepage,algorithm,algorithmic}
\usepackage{hyperref}
\usepackage{filecontents}
% \PassOptionsToPackage{hyphens}{url}\usepackage[hidelinks]{hyperref}
\usepackage{xurl}
\usepackage{cryptocode} % crypto
\usetikzlibrary{positioning, shapes.geometric, arrows}

\usepackage{xurl}
%\usepackage{csvsimple}


\renewcommand{\topfraction}{0.9}   % Allow more figures at the top
\renewcommand{\textfraction}{0.1}  % Allow more text alongside figures
\renewcommand{\floatpagefraction}{0.8} % Reduce the likelihood of figures moving to the end
\newtheorem{definition}{Definition}

\newcommand{\cnr}[1]{\textcolor{blue}{Cristina says: {#1}}}
\newcommand{\mvh}[1]{\textcolor{magenta}{Max says: {#1}}}
\newcommand{\jg}[1]{\textcolor{purple}{Jake says: {#1}}}
\newcommand{\spin}[0]{\textsc{Spin}\xspace}
\newcommand{\korg}[0]{\textsc{Panda}\xspace}
\newcommand{\promela}[0]{\textsc{Promela}\xspace}

\usepackage{listings}

\definecolor{commentgreen}{rgb}{0,0.5,0}
\lstset{
    language=Promela,
    basicstyle=\ttfamily\small,
    keywordstyle=\color{blue},
    commentstyle=\color{commentgreen},
    stringstyle=\color{red},
    showstringspaces=false,
    frame=single,
    captionpos=b,
    numberstyle=\tiny\color{gray},
    breaklines=true,
    breakatwhitespace=true,
    tabsize=4,
    aboveskip=10pt, 
    belowskip=10pt  
}

\newcommand{\ba}{B\"uchi Automata\xspace}

% theorem stuff:
\theoremstyle{plain} 
\newtheorem{theorem}{Theorem}

\def\BibTeX{{\rm B\kern-.05em{\sc i\kern-.025em b}\kern-.08em
    T\kern-.1667em\lower.7ex\hbox{E}\kern-.125emX}}


%-------------------------------------------------------------------------------
\begin{document}
%-------------------------------------------------------------------------------

%don't want date printed
\date{}

% make title bold and 14 pt font (Latex default is non-bold, 16 pt)
\title{\korg: An Attack Synthesis Tool\\ for Distributed Protocols\footnote{\korg is an anonymized name for double-blind submission.}}

%for single author (just remove % characters)
\author{
{\rm Jacob Ginesin}\\
Northeastern University
\and
{\rm Max von Hippel}\\
Benchify, Inc. 
\and
{\rm Cristina Nita-Rotaru}\\
Northeastern University
% copy the following lines to add more authors
% \and
% {\rm Name}\\
%Name Institution
} % end author

\maketitle

\begin{abstract}

\input{sections/abstract}
\end{abstract}


\section{Introduction}
\label{sec:introduction}
\input{sections/introduction}

\section{Attacker Gadgets}%
\label{sec:Attacker Gadgets}
\input{sections/gadgets}

\section{\korg Architecture}
\label{sec:design}
\input{sections/design}

%\section{Attacker Model Gadgets}
%\label{sec:usage_attacker_models}
%\input{sections/attacker_models}

\section{Case Studies}
\label{sec:case_studies}
\input{sections/case_studies}

\section{Theoretical Foundations of \korg}
\label{sec:proofs}
\input{sections/proofs}

\section{Related Work}%
\label{sec:Related Work}
\input{sections/related_work}

\section{Conclusion}
\label{sec:conclusion}
\input{sections/conclusion}


\bibliographystyle{plain}
\bibliography{main}



\end{document}

%%  LocalWords:  endnotes includegraphics fread ptr nobj noindent
%%  LocalWords:  pdflatex acks

