Zobrazeno 1 - 10
of 93
pro vyhledávání: '"Pardo, Raúl"'
Autor:
Pardo, Raúl, Métayer, Daniel Le
Privacy policies define the terms under which personal data may be collected and processed by data controllers. The General Data Protection Regulation (GDPR) imposes requirements on these policies that are often difficult to implement. Difficulties a
Externí odkaz:
http://arxiv.org/abs/2409.11803
Context: Free and Open Source Software (FOSS) communities' ability to stay viable and productive over time is pivotal for society as they maintain the building blocks that digital infrastructure, products, and services depend on. Sustainability may,
Externí odkaz:
http://arxiv.org/abs/2402.06916
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 quantify privacy risks of data analytics programs by analyzing their sourc
Externí odkaz:
http://arxiv.org/abs/2308.16700
Autor:
Pardo, Raúl, Rafnsson, Willard, Steinhorn, Gregor, Lavrov, Denis, Lumley, Thomas, Probst, Christian W., Ziedins, Ilze, Wąsowski, Andrzej
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 widespread. Most work on genetic privacy focuses on basic genetic data su
Externí odkaz:
http://arxiv.org/abs/2208.12497
The semantics of probabilistic languages has been extensively studied, but specification languages for their properties have received little attention. This paper introduces the probabilistic dynamic logic pDL, a specification logic for programs in t
Externí odkaz:
http://arxiv.org/abs/2205.04822
Disclosure of data analytics results has important scientific and commercial justifications. However, no data shall be disclosed without a diligent investigation of risks for privacy of subjects. Privug is a tool-supported method to explore informati
Externí odkaz:
http://arxiv.org/abs/2011.08742
Autor:
Morel, Victor, Pardo, Raúl
Publikováno v:
Workshop on Privacy in the Electronic Society, Nov 2020, Virtual, France
Privacy policies are the main way to obtain information related to personal data collection and processing. Originally, privacy policies were presented as textual documents. However, the unsuitability of this format for the needs of today's society g
Externí odkaz:
http://arxiv.org/abs/1908.06814
Autor:
Pardo, Raúl, Métayer, Daniel Le
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 and analyze privacy policies. We describe a tool that automatically repo
Externí odkaz:
http://arxiv.org/abs/1903.06068
Autor:
Pardo, Raúl, Schneider, Gerardo
Publikováno v:
EPTCS 256, 2017, pp. 238-252
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 social graph, where nodes represent users and the arcs represent the
Externí odkaz:
http://arxiv.org/abs/1709.02105
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, but also about the moments at which events happens and new knowledge is
Externí odkaz:
http://arxiv.org/abs/1708.04070