Willard Rafnsson

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

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. What is Willard Rafnsson's e-mail address?

Postal mail: (this is my visiting address; office number: 312)

Willard Rafnsson
MPI-SWS, Campus E1 5
66123 Saarbruecken, Germany

My research ambition is to create tools which guarantee that software systems are secure, safe and reliable. I am particularly interested in laying foundations for 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.

Service in Program Committees (PC)

5th International Conference on Principles of Security and Trust (POST 2016)

Workshop on Foundations of Computer Security (FCS 2015)

19th Nordic Conference on Secure IT Systems (NordSec 2014), poster session

Publications

Timing-Sensitive Noninterference through Composition
Willard Rafnsson, Limin Jia, Lujo Bauer. POST 2017. (appendix).

Type Systems for Information-Flow Control: The Question of Granularity
Vineet Rajani, Iulia Bastys, Willard Rafnsson, Deepak Garg. ACM SIGLOG News (vol. 4, nr. 1) 2017

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 (vol. 24, no. 1) 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 (vol. 10, no. 1) 2013. (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)

Theses

Securing Interactive Systems
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
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.

Secrecy and Authenticity in Mobile Ad-hoc Networks
Thesis for the Degree of Master of Science.
Department of Computer Science,
Aalborg University, June 2008.

Teaching

During my PhD at Chalmers, I worked 20% as a teaching assistant, in the following courses.

Cryptography (TDA352)
Concurrent Programming (TDA383)
Finite Automata Theory and Formal Languages (TMV027)
Algorithms (TIN093)

While employed at Reykjavik University (RU) as a full-time teacher for one year, I created and taught two courses.

Information Theory
Functional Programming

In addition, while studying and while at RU, I have been a teaching assistant in courses on: Discrete Mathematics, Computer Organization, Computability and Complexity, Testing & Verification, and Object-Oriented Programming.