Follow
Willard Rafnsson
Willard Rafnsson
Associate Professor, IT University of Copenhagen
Verified email at itu.dk - Homepage
Title
Cited by
Cited by
Year
Secure multi-execution: fine-grained, declassification-aware, and transparent
W Rafnsson, A Sabelfeld
Computer Security Foundations Symposium (CSF), 2013 IEEE 26th, 33-48, 2013
802013
Securing interactive programs
W Rafnsson, D Hedin, A Sabelfeld
2012 IEEE 25th Computer Security Foundations Symposium, 293-307, 2012
342012
Compositional information-flow security for interactive systems
W Rafnsson, A Sabelfeld
2014 IEEE 27th Computer Security Foundations Symposium, 277-292, 2014
282014
Limiting information leakage in event-based communication
W Rafnsson, A Sabelfeld
Proceedings of the ACM SIGPLAN 6th Workshop on Programming Languages and …, 2011
212011
Type systems for information flow control: the question of granularity
V Rajani, I Bastys, W Rafnsson, D Garg
ACM SIGLOG News 4 (1), 6-21, 2017
132017
Progress-Sensitive Security for SPARK
W Rafnsson, D Garg, A Sabelfeld
International Symposium on Engineering Secure Software and Systems, 20-37, 2016
112016
Timing-Sensitive Noninterference through Composition
W Rafnsson, L Jia, L Bauer
International Conference on Principles of Security and Trust, 3-25, 2017
102017
“So I Sold My Soul”: Effects of Dark Patterns in Cookie Notices on End-User Behavior and Perceptions
I Borberg, R Hougaard, W Rafnsson, O Kulyk
8*
Privug: using probabilistic programming for quantifying leakage in privacy risk analysis
R Pardo, W Rafnsson, CW Probst, A Wąsowski
European Symposium on Research in Computer Security, 417-438, 2021
62021
Securing class initialization in Java-like languages
W Rafnsson, K Nakata, A Sabelfeld
IEEE Transactions on Dependable and Secure Computing 10 (1), 1-13, 2013
62013
Fixing Vulnerabilities Automatically with Linters
W Rafnsson, R Giustolisi, M Kragerup, M Høyrup
International Conference on Network and System Security, 224-244, 2020
52020
How Attacker Knowledge Affects Privacy Risks: An Analysis Using Probabilistic Programming
L Halvorsen, SL Steffensen, W Rafnsson, O Kulyk, R Pardo
Proceedings of the 2022 ACM on International Workshop on Security and …, 2022
12022
Securing Interactive Systems
W Rafnsson
Chalmers University of Technology, 2014
12014
Tracking Information Flows in Interactive and Object-Oriented Programs
W Rafnsson
Chalmers University of Technology, 2012
12012
The system can't perform the operation now. Try again later.
Articles 1–14