Delete 2018-04-23- felix-stutz.md

_posts/2018-04-23- felix-stutz.md

----
-title: Welcome to Felix Stutz
----
-
-We are very pleased to welcome Felix Stutz, an MSc student at the [International 
-Max Planck Research School for Computer Science](http://www.imprs-cs.de/index.html), 
-who is due to spend five months with the group, working with Emanuele D'Osualdo 
-on Ideal completions for Verification of Cryptographic Protocols. 
-
-
-These protocols are distributed programs that are designed to achieve secure 
-communications using cryptography; they are notoriously very tricky to design 
-and reasoning about the security properties of these protocols requires proving 
-that no malicious intruder can hack the protocol to gain sensitive information, 
-e.g. your emails.
-
-In fact, every time you log in to your email account, make an online payment or 
-connect to a secure Wi-Fi (and in many other scenarios!) the communication is 
-made secure under the hood by the use of such cryptographic protocols. 
-The project's goal is to develop new algorithms to verify that a protocol does 
-not leak any secret.
-
-For the theoretical basis for the project please see 
-[this paper](http://www.emanueledosualdo.com/research/papers/2017/csf-decidable-secrecy.html) 
-by D'Osualdo and others, which proposes a new approach for model checking 
-cryptographic protocols.
\ No newline at end of file