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
|
\documentclass[12pt,a4paper,parskip=full]{scrreprt}
\usepackage[top=3.5cm,bottom=3.5cm,left=3cm,right=3cm]{geometry}
% \usepackage[spanish]{babel}
\usepackage[utf8]{inputenc} \usepackage{url}
\usepackage{graphicx} \usepackage{cite} \usepackage{amsmath}
\usepackage{mathtools} \usepackage{listings} \usepackage{syntax}
% \usepackage[compact,small]{titlesec}
\usepackage[usenames,dvipsnames]{xcolor}
\usepackage[pagebackref,colorlinks=true,linkcolor=black,urlcolor=black,citecolor=blue]{hyperref}
\usepackage{perpage} \usepackage{subcaption}
\usepackage{tikz}
% \usepackage{minted}
\usepackage{float}
\floatstyle{boxed}
\newfloat{code}{th}{los}[chapter]
\floatname{code}{Code listing}
\usetikzlibrary{shapes,arrows}
\hypersetup{pageanchor=false}
% \input{defs}
\input{portada/defs}
\MakePerPage{footnote}
\def\emptypage{\newpage\thispagestyle{empty}\mbox{}}
\begin{document}
\input{portada/portada}
\pagenumbering{roman}
\emptypage
\chapter*{Resumen}
\chapter*{Abstract}
\emptypage
\tableofcontents
\emptypage
\chapter{INTRODUCTION}
\label{cha:introduction}
\pagenumbering{arabic}
\setcounter{page}{1}
EasyCrypt\footnote{\url{https://www.easycrypt.info/}} is a crypto framework...
- EasyCrypt
- Term rewriting
- Some theory (books?)
- Extensions of lambda calculus
\chapter{STATE OF THE ART}
- Reduction things
- Abstract machines
- Krivine
- ZAM\cite{Gregoire-Leroy-02}
\chapter{IMPLEMENTATION}
- Outside EasyCrypt: weak symbolic with fixpts and cases
\chapter{CONTRIBUTIONS}
\label{cha:contribuciones}
- EasyCrypt rules
\chapter{CONCLUSIONS}
\label{cha:result-y-concl}
- Writing real things.
- Hey arst
\chapter{ANNEX}
\label{cha:anexos}
\pagebreak \bibliography{bib}{} \bibliographystyle{ieeetr}
\end{document}
|
