Willard Thor Rafnsson

Publications (10)
Projects (0)

Showing 10 publications

2017

Type systems for information flow control: the question of granularity

Vineet Rajani, Iulia Bastys, Willard Thor Rafnsson et al

ACM SIGLOG News. Vol. 4 (1), p. 6-21

Magazine article

2016

Secure multi-execution: Fine-grained, declassification-aware, and transparent

Willard Thor Rafnsson, Andrei Sabelfeld

Journal of Computer Security. Vol. 24 (1), p. 39-90

Journal article

2016

Progress-sensitive security for SPARK

Willard Thor Rafnsson, D. Garg, Andrei Sabelfeld

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9639, p. 20-37

Paper in proceeding

2014

Compositional Information-flow Security for Interactive Systems

Willard Thor Rafnsson, Andrei Sabelfeld

Proceedings. The Computer Security Foundations Workshop III. Vol. 2014-January, p. 277-292

Paper in proceeding

2014

Securing Interactive Systems

Willard Thor Rafnsson

Doctoral thesis

2013

Securing Class Initialization in Java-like Languages

Willard Thor Rafnsson, K. Nakata, Andrei Sabelfeld

IEEE Transactions on Dependable and Secure Computing. Vol. 10 (1), p. 1-13

Journal article

2013

Secure multi-execution: Fine-grained, declassification-aware, and transparent

Willard Thor Rafnsson, Andrei Sabelfeld

Proceedings. The Computer Security Foundations Workshop III, p. 33-48

Paper in proceeding

2012

Tracking Information Flows in Interactive and Object-Oriented Programs

Willard Thor Rafnsson

Licentiate thesis

2012

Securing interactive programs

Willard Thor Rafnsson, Daniel Hedin, Andrei Sabelfeld

Proceedings. The Computer Security Foundations Workshop III, p. 293-307

Paper in proceeding

2011

Limiting Information Leakage in Event-based Communication

Willard Thor Rafnsson, Andrei Sabelfeld

ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, p. (Article no. 4)-

Paper in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

There are no projects.

There might be more projects where Willard Thor Rafnsson participates, but you have to be logged in as a Chalmers employee to see them.