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
-
In-Flo: Practical Static Analysis for Information-Flow Control of JavaScript
Rafnsson, W. (PI)
01/07/2022 → 30/06/2023
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
-
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
-
Full Stack Security
Rafnsson, W. (PI) & Hinrichsen, J. K. (Samarbejdspartner)
Nationalt Forsvarsteknologisk Center
01/01/2025 → 31/12/2026
Projekter: Projekt › Forskning
-
Decentralized transactions for open digital markets: Exploring the potential of decentralized and open transaction protocols for digital and digitally mediated services and tools
Dittrich, Y. (PI), Jørgensen, K. P. (CoI), Rafnsson, W. (CoI), Ibsen, P. (Admin), Oppermann, N. (Admin), Godskesen, J. C. (CoI) & Hinrichsen, J. K. (Samarbejdspartner)
01/01/2024 → 31/12/2024
Projekter: Projekt › Forskning
Presse/medier
-
Datatilsynet undersøger EDC efter kæmpelæk af personfølsomme oplysninger
05/12/2023
1 Mediebidrag
Presse/medie
-
-