Add LaTeX paper skeleton

appendix/proofs.tex

@@ -0,0 +1,2 @@
+\section{Proofs}\label{app:proofs}
+% The complete proofs of the results stated in the body.

bib/refs.bib

@@ -0,0 +1,14 @@
+% Entries from dblp, through the dblp MCP server or dblp-cli bibtex <key>, may be added to this file at any time.
+
+@article{DBLP:journals/jcss/GoldwasserM84,
+  author  = {Shafi Goldwasser and Silvio Micali},
+  title   = {Probabilistic Encryption.},
+  journal = {J. Comput. Syst. Sci.},
+  volume  = {28},
+  number  = {2},
+  pages   = {270-299},
+  year    = {1984},
+  doi     = {10.1016/0022-0000(84)90070-9},
+  url     = {https://doi.org/10.1016/0022-0000(84)90070-9},
+  biburl  = {https://dblp.org/rec/journals/jcss/GoldwasserM84.html},
+}

figures/data/example.csv

@@ -0,0 +1,6 @@
+parties,time
+4,2.1
+8,3.9
+16,8.2
+32,15.7
+64,31.9

figures/src/example.tex

@@ -0,0 +1,17 @@
+% Standalone figure.  make figures compiles it from figures/src/, so data paths are relative to this folder; the paper includes the PDF from figures/build/.
+\documentclass{standalone}
+\usepackage{pgfplots}
+\pgfplotsset{compat=1.18}
+
+\begin{document}
+\begin{tikzpicture}
+  \begin{axis}[
+      width=8cm, height=5cm,
+      xlabel={Number of parties},
+      ylabel={Time (ms)},
+      grid=major,
+    ]
+    \addplot+[mark=*] table[x=parties, y=time, col sep=comma] {../data/example.csv};
+  \end{axis}
+\end{tikzpicture}
+\end{document}

macros/algorithms.tex

@@ -0,0 +1,6 @@
+% Algorithms: the algorithm float with algpseudocode.
+\usepackage{algorithm}
+\usepackage{algpseudocode}
+
+\algrenewcommand\algorithmicrequire{\textbf{Input:}}
+\algrenewcommand\algorithmicensure{\textbf{Output:}}

macros/notation.tex

@@ -0,0 +1,5 @@
+% Every symbol in the paper must be defined here, as a macro, and listed in context/notation.md.
+
+\newcommand{\secpar}{\lambda}          % security parameter
+\newcommand{\negl}{\mathsf{negl}}      % negligible function
+\newcommand{\parties}{\mathcal{P}}     % set of parties

macros/theorems.tex

@@ -0,0 +1,10 @@
+% Theorem environments.  The proof environment is the one amsthm defines.
+\usepackage{amsthm}
+
+\theoremstyle{plain}
+\newtheorem{theorem}{Theorem}[section]
+\newtheorem{lemma}[theorem]{Lemma}
+\newtheorem{corollary}[theorem]{Corollary}
+
+\theoremstyle{definition}
+\newtheorem{definition}[theorem]{Definition}

main.tex

@@ -0,0 +1,47 @@
+% ===== Document class: article by default ===================================
+% To switch to a venue class, put its files in venue/ (.latexmkrc adds venue/ to the TeX search path), comment out the article line and uncomment the venue line.  A venue class that defines its own theorem environments replaces macros/theorems.tex.
+\documentclass[11pt]{article}
+% \documentclass{llncs}
+% ===== End of document class ================================================
+
+\usepackage[T1]{fontenc}
+\usepackage{lmodern}
+\usepackage{amsmath,amssymb}
+\usepackage{graphicx}
+\graphicspath{{figures/build/}}
+
+\input{macros/theorems}
+\input{macros/algorithms}
+\input{macros/notation}
+
+\usepackage[backend=biber,style=numeric-comp]{biblatex}
+\addbibresource{bib/refs.bib}
+
+\usepackage{hyperref}
+
+\title{Paper Title}
+\author{Author Name}
+\date{}
+
+\begin{document}
+
+\maketitle
+
+\begin{abstract}
+Abstract.
+\end{abstract}
+
+\input{sections/01-introduction}
+\input{sections/02-model}
+\input{sections/03-construction}
+\input{sections/04-security}
+\input{sections/05-evaluation}
+\input{sections/06-related-work}
+\input{sections/07-conclusion}
+
+\printbibliography
+
+\appendix
+\input{appendix/proofs}
+
+\end{document}

sections/01-introduction.tex

@@ -0,0 +1,4 @@
+\section{Introduction}\label{sec:introduction}
+% The problem, the prior work that does not solve it, the contributions listed in context/outline.md, and the structure of the paper.
+
+Placeholder text with an example citation~\cite{DBLP:journals/jcss/GoldwasserM84}.

sections/02-model.tex

@@ -0,0 +1,2 @@
+\section{Model}\label{sec:model}
+% The parties, the network, the adversary, and the definitions the results depend on.

sections/03-construction.tex

@@ -0,0 +1,2 @@
+\section{Construction}\label{sec:construction}
+% The construction, described in prose first and then as algorithms.

sections/04-security.tex

@@ -0,0 +1,2 @@
+\section{Security}\label{sec:security}
+% The security theorems, with their proofs here or in the appendix.

sections/05-evaluation.tex

@@ -0,0 +1,9 @@
+\section{Evaluation}\label{sec:evaluation}
+% The implementation and its measurements, with figures compiled from figures/src/ and figures/data/.
+
+\begin{figure}[t]
+  \centering
+  \includegraphics{example}
+  \caption{Example figure, compiled from \texttt{figures/src/example.tex} and \texttt{figures/data/example.csv}.}
+  \label{fig:example}
+\end{figure}

sections/06-related-work.tex

@@ -0,0 +1,2 @@
+\section{Related Work}\label{sec:related-work}
+% Prior work, each line of work described and contrasted with this paper.

sections/07-conclusion.tex

@@ -0,0 +1,2 @@
+\section{Conclusion}\label{sec:conclusion}
+% What the paper shows, and the open problems.