activity
20172023
most citedModel Checking Social Network Models

9 citations · 12 across the 7 of their papers we have counts for

collaborators

7 papers

cs.CR2023

Exact and Efficient Bayesian Inference for Privacy Risk Quantification (Extended Version)

Rasmus C. Rønneberg, Raúl Pardo, Andrzej Wąsowski

Data analysis has high value both for commercial and research purposes. However, disclosing analysis results may pose severe privacy risk to individuals. Privug is a method to quan…

cs.CR2022

Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic Scores

Raúl Pardo, Willard Rafnsson, Gregor Steinhorn +5

Analysis of genetic data opens up many opportunities for medical and scientific advances. The use of phenotypic information and polygenic risk scores to analyze genetic data is wid…

cs.CR2020

Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis

Raúl Pardo, Willard Rafnsson, Christian Probst +1

Disclosure of data analytics results has important scientific and commercial justifications. However, no data shall be disclosed without a diligent investigation of risks for priva…

cs.CY2019★ 2 cited

SoK: Three Facets of Privacy Policies

Victor Morel, Raúl Pardo

Privacy policies are the main way to obtain information related to personal data collection and processing. Originally, privacy policies were presented as textual documents. Howeve…

cs.CR2019

Analysis of Privacy Policies to Enhance Informed Consent (Extended Version)

Raúl Pardo, Daniel Le Métayer

In this report, we present an approach to enhance informed consent for the processing of personal data. The approach relies on a privacy policy language used to express, compare an…

cs.LO2017★ 9 cited

Model Checking Social Network Models

Raúl Pardo, Gerardo Schneider

A social network service is a platform to build social relations among people sharing similar interests and activities. The underlying structure of a social networks service is the…

cs.LO2017★ 1 cited

Timed Epistemic Knowledge Bases for Social Networks (Extended Version)

Raúl Pardo, César Sánchez, Gerardo Schneider

We present an epistemic logic equipped with time-stamps in the atoms and epistemic operators, which allows to reason not only about information available to the different agents, b…