diff --git a/README.md b/README.md
index 9fdd203dc89ed01c4d7e65b3a5f88a29d7051c44..a668e4d5d09b7716d5273462b010b245e5e718b3 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.