Commit 83042f16 authored by kklein's avatar kklein

copy paste

parents
This diff is collapsed.
\documentclass[]{llncs}
%\documentclass[a4paper,12pt]{article}
\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]{}
\newcommand{\mwnote}[1]{}
\newcommand{\bin}{\{0,1\}}
% 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{PoSW FROM Skip List}
\title{Proof of Replication from Skiplist}
\author{}\institute{}
% \author{
% Chethan Kamath,
% Karen Klein,\\
% Krzysztof Pietrzak and
% Michael Walter
% }
% \institute{
% IST Austria\\ \email{\{habusalah,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}
\bibliographystyle{alpha}
\bibliography{Skiplist.bib}
\end{document}
This diff is collapsed.
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment