Postdoctoral Researcher
Foundations of Computer Security Group
Max Planck Institute for Software Systems
Saarland Informatics Campus (SIC)

Max Planck Institute of Software Systems
Campus E1 5
66123 Saarbruecken, Germany

Office: 312
E-mail: The solution to the following puzzle.

John Doe has e-mail address johnd@mpi-sws.org. Amy Hall has e-mail address amyh@mpi-sws.org. Willard Rafnsson's e-mail address follows the same pattern.

My research ambition is to create tools which guarantee that software systems are secure, safe and reliable. I am particularly interested in analyzing, verifying and transforming programs towards this end.

Currently, I am a postdoc at Max Planck Institute for Software Systems (MPI-SWS), working with Deepak Garg on information-flow control.

Before coming to MPI-SWS, I did a postdoc in CyLab at Carnegie Mellon University (CMU), where I worked with Limin Jia and Lujo Bauer on information-flow secure composition. Before that, I did my PhD with Andrei Sabelfeld in the ProSec group at Chalmers. My thesis is on information-flow security foundations for systems that interact. I developed tools for enforcing security in individual system components, and a theory for compositional reasoning. Together, these provide means to achieve end-to-end security guarantees in large systems.

POST 2016 (PC member), FCS 2015 (PC member), NordSec 2014 (poster session PC member).