Willard Rafnsson

Postdoctoral Researcher
CyLab

Carnegie Mellon University


Office: 2205, CIC Building

E-mail: The solution to the following puzzle.

John has e-mail address. Amy has e-mail address. Willard'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 in CyLab at Carnegie Mellon University (CMU) working with Limin Jia and Lujo Bauer on information-flow control.

Before coming to CMU, I did my PhD with Andrei Sabelfeld in the ProSec group at Chalmers, and stayed on as a postdoc. 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. To appear in the proceedings of ESSOS 2016. (appendix).
Secure Multi-Execution: Fine-grained, Declassification-aware, and Transparent
Willard Rafnsson, Andrei Sabelfeld. Preprint; to appear in the JCS 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,

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,