Jul 16, 2018
Felix Stutz gave a talk on Monday on Automated Verification of Security Protocols. He
presented the latest work on the project he is doing with Emanuele D’Osualdo and which
will inform his Master Thesis.
Jun 13, 2018
Apr 23, 2018
We are very pleased to welcome Felix Stutz, an MSc student at the International Max Planck Research School for Computer Science, who is due to spend five months with the group, working with Emanuele D’Osualdo on Ideal completions for Verification of Cryptographic Protocols.
Apr 18, 2018
A paper co-authored by current and former researchers of the group has just been publised. A second paper, also collaborative work with current and former researchers has also just been accepted to ECOOP 18.
Mar 19, 2018
Journal of Logical and Algebraic Methods in Programming, vol. 98, pp. 1–25
32nd European Conference on Object-Oriented Programming (ECOOP 2018).
WWW ’18 Companion: The 2018 Web Conference Companion, April 23–27, 2018, Lyon, France
PACMPL, vol. 2(POPL), pp. 50:1–50:33
Ph.D. Thesis, Imperial College London