Research output per year
Research output per year
Search results
-
2023
Exact and Efficient Bayesian Inference for Privacy Risk Quantification
Rønneberg, R. C., Pardo, R. & Wasowski, A., 31 Oct 2023, Proceedings of Software Engineering and Formal Methods (SEFM'23). Springer, Cham, Vol. 14323. p. 263-281 18 p. (Lecture Notes in Computer Science).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
File -
2022
A Specification Logic for Programs in the Probabilistic Guarded Command Language
Pardo, R., Broch Johnsen, E., Schaefer, I. & Wasowski, A., Oct 2022, A Specification Logic for Programs in the Probabilistic Guarded Command Language. Springer, Cham, Vol. 13572. 19 p. (Proceedings of 19th International Colloquium on Theoretical Aspects of Computing - ICTAC 2022).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
File -
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, Cham, Vol. 13619. p. 1-16 16 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
-
2021
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 -
2020
SoK: Three Facets of Privacy Policies
Morel, V. & Jimenez, R. P., Nov 2020, WPES'20: Proceedings of the 19th Workshop on Privacy in the Electronic Society. Association for Computing Machinery, p. 41-56 16 p. (Proceedings of the 19th Workshop on Privacy in the Electronic Society 2020).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review