Willard Rafnsson

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.

Events

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

Publications

Progress-Sensitive Security for SPARK
Willard Rafnsson, Deepak Garg, Andrei Sabelfeld. ESSOS 2016. (appendix).

Secure Multi-Execution: Fine-grained, Declassification-aware, and Transparent
Willard Rafnsson, Andrei Sabelfeld. JCS 2016 (special issue of CSF 2012-2013).

Compositional Information-flow Security for Interactive Systems
Willard Rafnsson, Andrei Sabelfeld. CSF 2014.

Secure Multi-Execution: Fine-grained, Declassification-aware, and Transparent
Willard Rafnsson, Andrei Sabelfeld. CSF 2013.

Securing Class Initialization in Java-like Languages
Willard Rafnsson, Keiko Nakata, Andrei Sabelfeld. TDSC 2012. (appendix).

Securing Interactive Programs
Willard Rafnsson, Daniel Hedin, Andrei Sabelfeld. CSF 2012.

Limiting Information Leakage in Event-based Communication
Willard Rafnsson, Andrei Sabelfeld. PLAS 2011. (appendix)

Securing Interactive Systems
Willard Rafnsson.
Thesis for the Degree of Doctor of Philosophy.
Department of Computer Science and Engineering,
Chalmers University of Technology and Göteborg University,
ISBN 978-91-7385-989-9, April 2014.

Tracking Information Flows in Interactive and Object-Oriented Programs
Willard Rafnsson.
Thesis for the Degree of Licentiate of Engineering.
Department of Computer Science and Engineering,
Chalmers University of Technology and Göteborg University,
ISSN 1652-876X, May 2012.