Willard Rafnsson

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 10

Top Venues

CSF

CoRR

ACM SIGLOG News

ESSoS

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

Raúl Pardo, Willard Rafnsson, Gregor Steinhorn, Denis Lavrov, Thomas Lumley, Christian W. Probst, Ilze Ziedins, Andrzej Wasowski
Privacy with Good Taste - A Case Study in Quantifying Privacy Risks in Genetic Scores. DPM/CBT@ESORICS (2022)
Louise Halvorsen, Siv L. Steffensen, Willard Rafnsson, Oksana Kulyk, Raúl Pardo
How Attacker Knowledge Affects Privacy Risks: An Analysis Using Probabilistic Programming. IWSPA@CODASPY (2022)
Raúl Pardo, Willard Rafnsson, Gregor Steinhorn, Denis Lavrov, Thomas Lumley, Christian W. Probst, Ilze Ziedins, Andrzej Wasowski
Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic Scores. CoRR (2022)
Raúl Pardo, Willard Rafnsson, Christian W. Probst, Andrzej Wasowski
Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis. ESORICS (2) (2021)
Raúl Pardo, Willard Rafnsson, Christian Probst, Andrzej Wasowski
Privug: Quantifying Leakage using Probabilistic Programming for Privacy Risk Analysis. CoRR (2020)
Willard Rafnsson, Rosario Giustolisi, Mark Kragerup, Mathias Høyrup
Fixing Vulnerabilities Automatically with Linters. NSS (2020)
Willard Rafnsson, Limin Jia, Lujo Bauer
Timing-Sensitive Noninterference through Composition. POST (2017)
Vineet Rajani, Iulia Bastys, Willard Rafnsson, Deepak Garg
Type systems for information flow control: the question of granularity. ACM SIGLOG News 4 (1) (2017)
Willard Rafnsson, Deepak Garg, Andrei Sabelfeld
Progress-Sensitive Security for SPARK. ESSoS (2016)
Willard Rafnsson, Andrei Sabelfeld
Secure multi-execution: Fine-grained, declassification-aware, and transparent. J. Comput. Secur. 24 (1) (2016)
Willard Rafnsson, Andrei Sabelfeld
Compositional Information-Flow Security for Interactive Systems. CSF (2014)
Willard Rafnsson, Keiko Nakata, Andrei Sabelfeld
Securing Class Initialization in Java-like Languages. IEEE Trans. Dependable Secur. Comput. 10 (1) (2013)
Willard Rafnsson, Andrei Sabelfeld
Secure Multi-execution: Fine-Grained, Declassification-Aware, and Transparent. CSF (2013)
Willard Rafnsson, Daniel Hedin, Andrei Sabelfeld
Securing Interactive Programs. CSF (2012)
Willard Rafnsson, Andrei Sabelfeld
Limiting information leakage in event-based communication. PLAS (2011)

Willard Rafnsson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Willard Rafnsson