Personlig profil
Emneord
- Security
- Programming languages
- Program analysis
- Program verification
- Program transformation
- Program synthesis
- Programming language theory
Fingeraftryk
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
-
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 MachineryPublikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
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, Bind 13619. s. 1-16 16 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › 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 societyPublikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
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, Bind 12973. (Lecture Notes in Computer Science, Bind 12973).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Fil -
Assessing Privacy Risks Using Probabilistic Programming
Jimenez, R. P., Rafnsson, W., Probst, C. W. & Wasowski, A., 2020.Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Poster › Forskning › peer review
-
BeHApi: Behavioral Application Program Interfaces
Carbone, M. (PI), Schürmann, C. (CoI) & Rafnsson, W. (CoI)
01/03/2018 → 31/12/2023
Projekter: Projekt › Forskning
-
PRO-TEST: Probabilistic Testing of Probabilistic Programs
Wasowski, A. (PI), Pardo Jimenez, R. (CoI), Varshosaz, M. (CoI) & Rafnsson, W. (CoI)
01/11/2025 → 31/10/2029
Projekter: Projekt › Forskning
-
Full Stack Security
Rafnsson, W. (PI) & Hinrichsen, J. K. (Samarbejdspartner)
Nationalt Forsvarsteknologisk Center
01/01/2025 → 31/12/2026
Projekter: Projekt › Forskning
-
Uddannelsesprojekt for SMV’er
Godskesen, J. C. (PI), Debois, S. (CoI) & Rafnsson, W. (CoI)
01/04/2019 → 30/09/2023
Projekter: Projekt › Forskning
-
In-Flo: Practical Static Analysis for Information-Flow Control of JavaScript
Rafnsson, W. (PI)
01/07/2022 → 30/06/2023
Projekter: Projekt › Forskning
Presse/medier
-
Datatilsynet undersøger EDC efter kæmpelæk af personfølsomme oplysninger
05/12/2023
1 Mediebidrag
Presse/medie
-
-