Limiting information leakage in event-based communication. - Willard Rafnsson; Andrei Sabelfeld (PLAS, 2011)

Securing Interactive Programs. - Willard Rafnsson; Daniel Hedin; Andrei Sabelfeld (CSF, 2012)

Securing Class Initialization in Java-like Languages. - Willard Rafnsson; Keiko Nakata 001; Andrei Sabelfeld (IEEE Trans. Dependable Secur. Comput., 2013)

Compositional Information-Flow Security for Interactive Systems. - Willard Rafnsson; Andrei Sabelfeld (CSF, 2014)

Securing Interactive Systems. - Willard Rafnsson (2014)

Progress-Sensitive Security for SPARK. - Willard Rafnsson; Deepak Garg 001; Andrei Sabelfeld (ESSoS, 2016)

Secure multi-execution: Fine-grained, declassification-aware, and transparent. - Willard Rafnsson; Andrei Sabelfeld (J. Comput. Secur., 2016)

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

Type systems for information flow control: the question of granularity. - Vineet Rajani; Iulia Bastys; Willard Rafnsson; Deepak Garg 001 (ACM SIGLOG News, 2017)

Fixing Vulnerabilities Automatically with Linters. - Willard Rafnsson; Rosario Giustolisi; Mark Kragerup; Mathias Høyrup (NSS, 2020)

Privug: Quantifying Leakage using Probabilistic Programming for Privacy Risk Analysis. - Raúl Pardo; Willard Rafnsson; Christian W. Probst; Andrzej Wasowski (CoRR, 2020)

Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis. - Raúl Pardo; Willard Rafnsson; Christian W. Probst; Andrzej Wasowski (ESORICS (2), 2021)

How Attacker Knowledge Affects Privacy Risks: An Analysis Using Probabilistic Programming. - Louise Halvorsen; Siv L. Steffensen; Willard Rafnsson; Oksana Kulyk; Raúl Pardo (IWSPA@CODASPY, 2022)

Privacy with Good Taste - A Case Study in Quantifying Privacy Risks in Genetic Scores. - Raúl Pardo; Willard Rafnsson; Gregor Steinhorn; Denis Lavrov; Thomas Lumley; Christian W. Probst; Ilze Ziedins 001; Andrzej Wasowski (DPM/CBT@ESORICS, 2022)

Beyond Platforms - Growing Distributed Transaction Networks for Digital Commerce. - Yvonne Dittrich; Kim Peiter Jørgensen; Ravi Prakash; Willard Rafnsson; Jonas Kastberg Hinrichsen (CoRR, 2025)