Initial commit

.gitignore

@@ -0,0 +1,8 @@
+*.zip
+
+*.aux
+*.fdb_latexmk
+*.fls
+*.log
+*.out
+*.synctex.gz

report/report.tex

@@ -0,0 +1,85 @@
+\documentclass[12pt,a4paper]{article}
+
+\usepackage[cm]{fullpage}
+\usepackage{amsthm}
+\usepackage{amsmath}
+\usepackage{amsfonts}
+\usepackage{amssymb}
+\usepackage{xspace}
+\usepackage[english]{babel}
+\usepackage{fancyhdr}
+\usepackage{titling}
+\renewcommand{\thesection}{Exercise \projnumber.\arabic{section}:}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% This part needs customization from you %
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+% please enter your group number your names and matriculation numbers here
+%TODO
+\newcommand{\groupnumber}{Our group number}
+\newcommand{\name}{Our names}
+\newcommand{\matriculation}{Our matriculations, same order as the names}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%           End of customization         %
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\newcommand{\projnumber}{3}
+\newcommand{\Title}{minnieThor}
+\setlength{\headheight}{15.2pt}
+\setlength{\headsep}{20pt}
+\setlength{\textheight}{680pt}
+\pagestyle{fancy}
+\fancyhf{} 
+\fancyhead[L]{Formal Methods for Security and Privacy \projnumber\ - minnieThor}
+\fancyhead[C]{}
+\fancyhead[R]{Group \groupnumber}
+\renewcommand{\headrulewidth}{0.4pt}
+\fancyfoot[C]{\thepage}
+
+
+\begin{document}
+\thispagestyle{empty}
+\noindent\framebox[\linewidth]{%
+ \begin{minipage}{\linewidth}%
+ \hspace*{5pt} \textbf{Formal Methods for Security and Privacy (SS2020)} \hfill Prof.~Matteo Maffei \hspace*{5pt}\\
+
+ \begin{center}
+  {\bf\Large Project \projnumber~-- \Title}
+ \end{center}
+
+ \vspace*{5pt}\hspace*{5pt} \hfill TU Wien \hspace*{5pt}
+\end{minipage}%
+}
+\vspace{0.5cm}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
+\section*{Group \groupnumber}
+Our group consists of the following members:
+\begin{center}
+\textbf{\name} %please fill the information above
+
+\matriculation %please fill the information above
+\end{center}
+
+\section{Abstract Semantics}
+\emph{Nothing to fill in here, unless you feel that there is something about the implementation that we should consider when grading.}
+
+\section{Fixing reentrancy}
+
+\paragraph{Justification for the soundness of \texttt{alice.txt}:} 
+
+  %TODO
+  
+ \section{Soundness of the \texttt{CALL} rules}
+ 
+ \paragraph{Soundness classification of \texttt{CALL} rule sets:}
+ 
+ \paragraph{Intuition for the sound rule sets:}
+ 
+ \paragraph{Attack descriptions for the counter examples to the unsound rule sets:}
+
+\end{document}
+