Publikationer pr. år
Publikationer pr. år
Personlig profil
Emneord
- Security
- Programming languages
- Program analysis
- Program verification
- Program transformation
- Program synthesis
- Programming language theory
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Willard Rafnsson er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
-
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
Presse/medier
-
Datatilsynet undersøger EDC efter kæmpelæk af personfølsomme oplysninger
05/12/2023
1 Mediebidrag
Presse/medie
-
-
-
In-Flo: Practical Static Analysis for Information-Flow Control of JavaScript
Rafnsson, W. (PI)
01/07/2022 → 30/06/2023
Projekter: Projekt › Forskning
-
-
GAMESS: GAMification and Education for Secure Software
Bruni, A. (PI), Kulyk, O. (PI) & Rafnsson, W. (PI)
Styrelsen for Forskning og Uddannelse
01/04/2023 → 31/10/2024
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
-
BeHApi: Behavioral Application Program Interfaces
Carbone, M. (PI), Schürmann, C. (CoI) & Rafnsson, W. (CoI)
01/03/2018 → 31/12/2023
Projekter: Projekt › Forskning