Secure multi-execution: fine-grained, declassification-aware, and transparent W Rafnsson, A Sabelfeld Computer Security Foundations Symposium (CSF), 2013 IEEE 26th, 33-48, 2013 | 80 | 2013 |
Securing interactive programs W Rafnsson, D Hedin, A Sabelfeld 2012 IEEE 25th Computer Security Foundations Symposium, 293-307, 2012 | 34 | 2012 |
Compositional information-flow security for interactive systems W Rafnsson, A Sabelfeld 2014 IEEE 27th Computer Security Foundations Symposium, 277-292, 2014 | 28 | 2014 |
Limiting information leakage in event-based communication W Rafnsson, A Sabelfeld Proceedings of the ACM SIGPLAN 6th Workshop on Programming Languages and …, 2011 | 21 | 2011 |
“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 | 21* | |
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 | 13 | 2017 |
Timing-Sensitive Noninterference through Composition W Rafnsson, L Jia, L Bauer International Conference on Principles of Security and Trust, 3-25, 2017 | 12 | 2017 |
Progress-Sensitive Security for SPARK W Rafnsson, D Garg, A Sabelfeld International Symposium on Engineering Secure Software and Systems, 20-37, 2016 | 11 | 2016 |
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 | 10 | 2021 |
Fixing Vulnerabilities Automatically with Linters W Rafnsson, R Giustolisi, M Kragerup, M Høyrup International Conference on Network and System Security, 224-244, 2020 | 7 | 2020 |
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 | 6 | 2013 |
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 | 2 | 2022 |
Securing Interactive Systems W Rafnsson Chalmers University of Technology, 2014 | 1 | 2014 |
Tracking Information Flows in Interactive and Object-Oriented Programs W Rafnsson Chalmers University of Technology, 2012 | 1 | 2012 |