From 3d916d10b90ce767b562cc7812a59acbd90a64af Mon Sep 17 00:00:00 2001
From: Guillermo Ramos
Date: Thu, 25 Jun 2015 03:43:27 +0200
Subject: Initial commit

---
 memoria.tex | 91 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 91 insertions(+)
 create mode 100755 memoria.tex

(limited to 'memoria.tex')

diff --git a/memoria.tex b/memoria.tex
new file mode 100755
index 0000000..3d194e2
--- /dev/null
+++ b/memoria.tex
@@ -0,0 +1,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}
-- 
cgit v1.2.3

