From b161f5aa2ad0c6ef8addf1a5ce242aee4a890423 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Thu, 2 Aug 2018 13:22:21 +0100
Subject: [PATCH] Update 2018-07-16-seminar.md

---
 _posts/2018-07-16-seminar.md | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/_posts/2018-07-16-seminar.md b/_posts/2018-07-16-seminar.md
index 1944088..965dadc 100644
--- a/_posts/2018-07-16-seminar.md
+++ b/_posts/2018-07-16-seminar.md
@@ -2,8 +2,10 @@
 title: Seminar by Felix Stutz on Automated Verification of Security Protocols 
 ---
 Felix Stutz gave a talk on Monday on Automated Verification of Security Protocols. 
-This work is part of the project he is doing with Emanuele D’Osualdo and will 
-inform his Master Thesis.
+
+He presented the latest result of the project he is doing with Emanuele D’Osualdo 
+which will inform his Master Thesis.
+
 The abstract is: 
 Security protocols are distributed programs that are designed to achieve secure 
 communications using cryptography. A distinctive feature of the security properties 
-- 
GitLab