\documentclass[]{llncs} \def \lncs {} \input{Macros.tex} \newtheorem{assumption}{Assumption} \usepackage{rotating} % Controlling the margin % \usepackage[margin=1.25in]{geometry} % \linespread{0.9} \bibliographystyle{alpha} \pagestyle{plain} %Local macros \DeclareAlgorithms{in,out,level,ind,sibling} % \DeclareLanguages{} \newcommandx{\NN}{\mathbb{N}}%Natural numbers \newcommand{\rbullet}{\color{red} \bullet} \newcommand{\bbullet}{\color{blue} \bullet} %Notes \newcommand{\kpnote}[1]{} \newcommand{\cknote}[1]{} \newcommand{\kknote}[1]{{\textcolor{red}{KK: #1}}} \newcommand{\mwnote}[1]{} \newcommand{\bin}{\{0,1\}} \newcommand{\G}{\mathcal{G}} \newcommand{\Gsk}{\mathcal{G}_{S,k}} \newcommand{\B}{\mathcal{B}} % 23/3 \newcommandx{\re}{\mathbb{R}}% real numbers \newcommandx{\good}{\mathsf{good}} \newcommandx{\bad}{\mathsf{bad}} \newcommandx{\pre}{\mathsf{previous}} \newcommandx{\parents}{\mathsf{parents}} \newcommandx{\add}{\mathsf{update}} \newcommandx{\prune}{\mathsf{prune}} \newcommandx{\leg}{\mathsf{legit}} \newcommandx{\perm}{\mathsf{permissible}} \newcommandx{\pr}{\mathsf{Pr}} \renewcommandx{\Pr}[1]{\mathsf{Pr}\left(#1\right)} \newcommand{\td}[1]{\tilde{#1}} \newcommand{\ass}{\hookleftarrow} \newcommandx{\sqn}{\mathsf{sequential}} \newcommandx{\colr}{\mathsf{collision\text{-}resistant}} \newcommand{\fixed}{$\sigma$-fixed-input} %opening \title{Proof of Replication from Skiplist} \author{}\institute{} % \author{ % Chethan Kamath, % Karen Klein,\\ % Krzysztof Pietrzak and % Michael Walter % } % \institute{ % IST Austria\\ \email{\{ckamath,karen.klein,pietrzak,michael.walter\}@ist.ac.at} % } \begin{document} \maketitle %\begin{abstract} %\input{abstract} %\end{abstract} %\section{Introduction} %\input{intro} %\section{Construction} %\input{construction} \section{Security Proof} \input{security_proof} \bibliographystyle{alpha} \bibliography{Skiplist.bib} \end{document}