Update 2018-07-16-seminar.md

_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