From d74f55cf8908c52664327d9c132266f1bd3ee7ad Mon Sep 17 00:00:00 2001
From: jm71syxy <jonas.mueller.97@stud.tu-darmstadt.de>
Date: Mon, 22 Jul 2024 11:42:20 +0200
Subject: [PATCH] Mention master thesis in README

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 9fdd203..a668e4d 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,5 @@
-# EAC_Tamarin_Analysis
-This project contains the different versions of EAC from https://ia.cr/2023/352.
+# EAC Tamarin Analysis
+This project was created as part of the master thesis "EAC Analysis in Tamarin Prover" at the TU Darmstadt. It contains the different versions of EAC from https://ia.cr/2023/352.
 The models are the classic EAC, SigPQEAC and KemPQEAC as well as the forward seccrecy and saved round-trip modifications.
 The [python script](InsertLemmas.py) inserts the different sections into the .spthy files and creates the tmp.spthy file. Usage: python InsertLemmas.py file.spthy
 The [include](include/) directory contains the code that will be included to the different models.
-- 
GitLab