Willard Rafnsson

19 papers A 3B 1Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Beyond platforms - Growing distributed transaction networks for digital commerce.
Inf. Softw. Technol.
Yvonne Dittrich, Kim Peiter Jørgensen, Ravi Prakash, Willard Rafnsson, Jonas Kastberg Hinrichsen
2025 J jnl
Beyond Platforms - Growing Distributed Transaction Networks for Digital Commerce.
CoRR
Yvonne Dittrich, Kim Peiter Jørgensen, Ravi Prakash, Willard Rafnsson, Jonas Kastberg Hinrichsen
2022 — conf
How Attacker Knowledge Affects Privacy Risks: An Analysis Using Probabilistic Programming.
IWSPA@CODASPY
Louise Halvorsen, Siv L. Steffensen, Willard Rafnsson, Oksana Kulyk, Raúl Pardo
2022 — conf
Privacy with Good Taste - A Case Study in Quantifying Privacy Risks in Genetic Scores.
DPM/CBT@ESORICS
Raúl Pardo, Willard Rafnsson, Gregor Steinhorn, Denis Lavrov, Thomas Lumley, Christian W. Probst, Ilze Ziedins, Andrzej Wasowski
2022 J jnl
Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic Scores.
CoRR
Raúl Pardo, Willard Rafnsson, Gregor Steinhorn, Denis Lavrov, Thomas Lumley, Christian W. Probst, Ilze Ziedins, Andrzej Wasowski
2021 — conf
Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis.
ESORICS (2)
Raúl Pardo, Willard Rafnsson, Christian W. Probst, Andrzej Wasowski
2020 B conf
Fixing Vulnerabilities Automatically with Linters.
NSS
Willard Rafnsson, Rosario Giustolisi, Mark Kragerup, Mathias Høyrup
2020 J jnl
Privug: Quantifying Leakage using Probabilistic Programming for Privacy Risk Analysis.
CoRR
Raúl Pardo, Willard Rafnsson, Christian W. Probst, Andrzej Wasowski
2019 — ed.
Secure IT Systems - 24th Nordic Conference, NordSec 2019, Aalborg, Denmark, November 18-20, 2019, Proceedings
NordSec
Aslan Askarov, René Rydhof Hansen, Willard Rafnsson
2017 — conf
Timing-Sensitive Noninterference through Composition.
POST
Willard Rafnsson, Limin Jia, Lujo Bauer
2017 J jnl
Type systems for information flow control: the question of granularity.
ACM SIGLOG News
Vineet Rajani, Iulia Bastys, Willard Rafnsson, Deepak Garg
2016 — conf
Progress-Sensitive Security for SPARK.
ESSoS
Willard Rafnsson, Deepak Garg, Andrei Sabelfeld
2016 J jnl
Secure multi-execution: Fine-grained, declassification-aware, and transparent.
J. Comput. Secur.
Willard Rafnsson, Andrei Sabelfeld
2014 A conf
Compositional Information-Flow Security for Interactive Systems.
CSF
Willard Rafnsson, Andrei Sabelfeld
2014 — —
Securing Interactive Systems.
Willard Rafnsson
2013 A conf
Secure Multi-execution: Fine-Grained, Declassification-Aware, and Transparent.
CSF
Willard Rafnsson, Andrei Sabelfeld
2013 J jnl
Securing Class Initialization in Java-like Languages.
IEEE Trans. Dependable Secur. Comput.
Willard Rafnsson, Keiko Nakata, Andrei Sabelfeld
2012 A conf
Securing Interactive Programs.
CSF
Willard Rafnsson, Daniel Hedin, Andrei Sabelfeld
2011 — conf
Limiting information leakage in event-based communication.
PLAS
Willard Rafnsson, Andrei Sabelfeld