Personal profile
Keywords
- Security
- Programming languages
- Program analysis
- Program verification
- Program transformation
- Program synthesis
- Programming language theory
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
How Attacker Knowledge Affects Privacy Risks: An Analysis Using Probabilistic Programming
Halvorsen, L., Steffensen, S. L., Rafnsson, W., Kulyk, O. & Pardo, R., 2022, IWSPA '22: Proceedings of the 2022 ACM on International Workshop on Security and Privacy Analytics. Association for Computing MachineryResearch output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic Scores
Pardo, R., Rafnsson, W., Steinhorn, G., Lavrov, D., Lumley, T., Probst, C., Ziedins, I. & Wasowski, A., 2022, Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic Scores. Springer, Vol. 13619. p. 1-16 16 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
-
“So I Sold My Soul'': Effects of Dark Patterns in Cookie Notices on End-User Behavior and Perceptions
Kulyk, O., Rafnsson, W., Borberg, I. M. & Pedersen, R. H., 2022, Proceedings of 2022 Symposium on Usable Security and Privacy. Internet societyResearch output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis
Pardo, R., Rafnsson, W., Probst, C. & Wasowski, A., 2021, European Symposium on Research in Computer Security: Computer Security – ESORICS 2021. Springer, Vol. 12973. (Lecture Notes in Computer Science, Vol. 12973).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
File -
Assessing Privacy Risks Using Probabilistic Programming
Jimenez, R. P., Rafnsson, W., Probst, C. W. & Wasowski, A., 2020.Research output: Contribution to conference - NOT published in proceeding or journal › Poster › Research › peer-review
-
BeHApi: Behavioral Application Program Interfaces
Carbone, M. (PI), Schürmann, C. (CoI) & Rafnsson, W. (CoI)
01/03/2018 → 31/12/2023
Project: Research
-
Towards full-stack security
Rafnsson, W. (PI) & Hinrichsen, J. K. (Collaborator)
Nationalt Forsvarsteknologisk Center
01/01/2025 → 31/12/2026
Project: Research
-
PRO-TEST: Probabilistic Testing of Probabilistic Programs
Wasowski, A. (PI), Pardo Jimenez, R. (CoI), Varshosaz, M. (CoI) & Rafnsson, W. (CoI)
Independent Research Fund Denmark
01/11/2025 → 31/10/2029
Project: Research
-
In-Flo: Practical Static Analysis for Information-Flow Control of JavaScript
Rafnsson, W. (PI)
01/07/2022 → 30/06/2023
Project: Research
-
Uddannelsesprojekt for SMV’er
Godskesen, J. C. (PI), Debois, S. (CoI) & Rafnsson, W. (CoI)
01/04/2019 → 30/09/2023
Project: Research
Press/Media
-
Datatilsynet undersøger EDC efter kæmpelæk af personfølsomme oplysninger
05/12/2023
1 Media contribution
Press/Media: Press / Media
-
SMÅ VIRKSOMHEDER HAR STORE HULLER I ITSIKKERHEDEN
02/02/2021
1 Media contribution
Press/Media: Press / Media
-
Små virksomheder har store huller i it-sikkerheden
30/10/2020 → 16/11/2020
3 Media contributions
Press/Media: Press / Media