-
Notifications
You must be signed in to change notification settings - Fork 1
/
main.tex
125 lines (96 loc) · 2.71 KB
/
main.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
\documentclass{article}
\usepackage{fullpage}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{fancyhdr}
\usepackage[colorlinks,linkcolor=dblue,filecolor=black,citecolor=dblue,urlcolor=dblue]{hyperref}
\usepackage{etex}
\bibliographystyle{alpha}
\usepackage[english]{babel}
\usepackage{amsfonts,amssymb,amsmath,sectsty,url}
\usepackage{mathrsfs}
\usepackage{tikz}
\usepackage{color}
%\usepackage{mathtools}
\usepackage[all]{xy}
\usepackage{ctable}
% \usetikzlibrary{calc}
\usepackage{tabularx,multirow}
\usepackage{graphicx}
\usepackage{ifpdf}
\usepackage{float}
\usepackage{multirow}
\usepackage{multicol,color}
\usepackage{tablefootnote}
\usepackage{pgfplots}
\usepackage{stmaryrd}
\usepackage{booktabs}
\usepackage{multirow}
\usepackage{import}
\usepackage{rotating}
% For tables
\usepackage{adjustbox}
\usepackage{booktabs}
\usepackage{multirow}
\usepackage{tabularx}
% For better precision math computations and formatting in tables
\usepackage{tikz,fp}
\usepackage[nottoc]{tocbibind}
\usepackage{listings}% http://ctan.org/pkg/listings
\lstset{
basicstyle=\ttfamily,
mathescape
}
\include{symbols}
%\usepackage[color=oxygenorange]{todonotes}
%\newcommand{\crec}[1]{\todo[inline]{\textbf{crec:} #1}\xspace}
% \usepackage{draftwatermark}
% \SetWatermarkLightness{0.9}
% \SetWatermarkText{DRAFT \\ \today}
% \SetWatermarkScale{2}
\usetikzlibrary{matrix,chains,positioning,decorations.pathreplacing,arrows,calc}
\newcommand\tikzmark[2]{%
\tikz[remember picture,baseline] \node[right, outer sep=0pt, inner sep=0pt] (#1){\phantom{#2}};%
}
\newcommand\link[3]{%
\begin{tikzpicture}[remember picture, overlay, >=stealth, shift={(0,0)}]
\draw[->] (#1) -- node[auto,] {#3} (#2);
\end{tikzpicture}%
}
% \pagestyle{fancy}
% \fancyhf{}
% \setlength{\headheight}{22pt}
% \setlength{\headsep}{0.2in}
% \renewcommand{\headrulewidth}{0.4pt}
% \renewcommand{\footrulewidth}{0.4pt}% default is 0pt
% \cfoot{\thepage}
% \lhead{\includegraphics[width=3cm]{cape_logo.png}}
% \rhead{Proprietary and Confidential}
\newcommand\todo[1]{\textcolor{red}{#1}}
%
\begin{document}
%
\newcommand{\mainsection}[1]{\newpage \section{#1}}
\newcommand{\msubsection}[1]{\newpage \subsection{#1}}
\newcommand{\msubsubsection}[1]{\subsubsection{#1}}
\title{$\mathsf{Moose}$ documentation}
% \author{Morten Dahl, Yann Dupis, Jason Mancuso, Dragos Rotaru}
% \institute{Cape Privacy}
\maketitle
\tableofcontents
\thispagestyle{fancy}
\input{intro}
\input{fixed-point}
\input{computations}
\import{replicated}{replicated.tex}
\input{implementation}
\newpage
% ---- Bibliography ----
%
\bibliography{mybib,cryptobib/abbrev3,cryptobib/crypto}
\clearpage
\appendix
\input{appendix}
% \import{key-distribution}{protocol-flow}
\import{replicated}{extended-protos}
\end{document}