Willard Rafnsson

According to our database, Willard Rafnsson authored at least 14 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, Andrzej Wasowski

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2022

How Attacker Knowledge Affects Privacy Risks: An Analysis Using Probabilistic Programming.

Louise Halvorsen, Siv L. Steffensen, Willard Rafnsson, Oksana Kulyk, Raúl Pardo

Proceedings of the IWSPA@CODASPY 2022: Proceedings of the 2022 ACM on International Workshop on Security and Privacy Analytics, 2022

2021

Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis.

Raúl Pardo, Willard Rafnsson, Christian W. Probst, Andrzej Wasowski

Proceedings of the Computer Security - ESORICS 2021, 2021

2020

Privug: Quantifying Leakage using Probabilistic Programming for Privacy Risk Analysis.

Raúl Pardo, Willard Rafnsson, Christian W. Probst, Andrzej Wasowski

CoRR, 2020

Fixing Vulnerabilities Automatically with Linters.

Willard Rafnsson, Rosario Giustolisi, Mark Kragerup, Mathias Høyrup

Proceedings of the Network and System Security - 14th International Conference, 2020

2017

Type systems for information flow control: the question of granularity.

Vineet Rajani, Iulia Bastys, Willard Rafnsson, Deepak Garg

ACM SIGLOG News, 2017

Timing-Sensitive Noninterference through Composition.

Willard Rafnsson, Limin Jia, Lujo Bauer

Proceedings of the Principles of Security and Trust - 6th International Conference, 2017

2016

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

Willard Rafnsson, Andrei Sabelfeld

J. Comput. Secur., 2016

Progress-Sensitive Security for SPARK.

Willard Rafnsson, Deepak Garg, Andrei Sabelfeld

Proceedings of the Engineering Secure Software and Systems - 8th International Symposium, 2016

2014

Securing Interactive Systems.

Willard Rafnsson

PhD thesis, 2014

Compositional Information-Flow Security for Interactive Systems.

Willard Rafnsson, Andrei Sabelfeld

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

Securing Class Initialization in Java-like Languages.

Willard Rafnsson, Keiko Nakata, Andrei Sabelfeld

IEEE Trans. Dependable Secur. Comput., 2013

2012

Securing Interactive Programs.

Willard Rafnsson, Daniel Hedin, Andrei Sabelfeld

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

2011

Limiting information leakage in event-based communication.

Willard Rafnsson, Andrei Sabelfeld

Proceedings of the 2011 Workshop on Programming Languages and Analysis for Security, 2011