Raúl Pardo

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 27

Top Topics

Social Networks

Privacy Policies

Top Venues

J. Log. Algebraic Methods Program.

Publications

Adam Alami, Raúl Pardo, Johan Linåker
Free open source communities sustainability: Does it make a difference in software quality? Empir. Softw. Eng. 29 (5) (2024)
Adam Alami, Raúl Pardo, Johan Linåker
Free Open Source Communities Sustainability: Does It Make a Difference in Software Quality? CoRR (2024)
Rasmus C. Rønneberg, Raúl Pardo, Andrzej Wasowski
Exact and Efficient Bayesian Inference for Privacy Risk Quantification (Extended Version). CoRR (2023)
Rasmus C. Rønneberg, Raúl Pardo, Andrzej Wasowski
Exact and Efficient Bayesian Inference for Privacy Risk Quantification. SEFM (2023)
Raúl Pardo, Willard Rafnsson, Gregor Steinhorn, Denis Lavrov, Thomas Lumley, Christian W. Probst, Ilze Ziedins, Andrzej Wasowski
Privacy with Good Taste - A Case Study in Quantifying Privacy Risks in Genetic Scores. DPM/CBT@ESORICS (2022)
Louise Halvorsen, Siv L. Steffensen, Willard Rafnsson, Oksana Kulyk, Raúl Pardo
How Attacker Knowledge Affects Privacy Risks: An Analysis Using Probabilistic Programming. IWSPA@CODASPY (2022)
Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski
A Specification Logic for Programs in the Probabilistic Guarded Command Language. ICTAC (2022)
Raúl Pardo, Willard Rafnsson, Gregor Steinhorn, Denis Lavrov, Thomas Lumley, Christian W. Probst, Ilze Ziedins, Andrzej Wasowski
Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic Scores. CoRR (2022)
Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski
A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version). CoRR (2022)
Adam Alami, Raúl Pardo, Marisa Leavitt Cohn, Andrzej Wasowski
Pull Request Governance in Open Source Communities. IEEE Trans. Software Eng. 48 (12) (2022)
Raúl Pardo, Willard Rafnsson, Christian W. Probst, Andrzej Wasowski
Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis. ESORICS (2) (2021)
Victor Morel, Raúl Pardo
SoK: Three Facets of Privacy Policies. WPES@CCS (2020)
Hanaa Alshareef, Raúl Pardo, Gerardo Schneider, Pablo Picazo-Sanchez
A collaborative access control framework for online social networks. J. Log. Algebraic Methods Program. 114 (2020)
Raúl Pardo, Willard Rafnsson, Christian Probst, Andrzej Wasowski
Privug: Quantifying Leakage using Probabilistic Programming for Privacy Risk Analysis. CoRR (2020)
Raúl Pardo, Daniel Le Métayer
Analysis of Privacy Policies to Enhance Informed Consent (Extended Version). CoRR (2019)
Victor Morel, Raúl Pardo
Three Dimensions of Privacy Policies. CoRR (2019)
Raúl Pardo, Daniel Le Métayer
Analysis of Privacy Policies to Enhance Informed Consent. DBSec (2019)
Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider
Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier. FSEN (2019)
Raúl Pardo, César Sánchez, Gerardo Schneider
Timed Epistemic Knowledge Bases for Social Networks. FM (2018)
Piergiuseppe Mallozzi, Raúl Pardo, Vincent Duplessis, Patrizio Pelliccione, Gerardo Schneider
MoVEMo: A Structured Approach for Engineering Reward Functions. IRC (2018)
Raúl Pardo, César Sánchez, Gerardo Schneider
Timed Epistemic Knowledge Bases for Social Networks (Extended Version). CoRR (2017)
Pablo Picazo-Sanchez, Raúl Pardo, Gerardo Schneider
Secure Photo Sharing in Social Networks. SEC (2017)
Raúl Pardo, Gerardo Schneider
Model Checking Social Network Models. GandALF (2017)
Raúl Pardo, Musard Balliu, Gerardo Schneider
Formalising privacy policies in social networks. J. Log. Algebraic Methods Program. 90 (2017)
Raúl Pardo, Ivana Kellyerova, César Sánchez, Gerardo Schneider
Specification of Evolving Privacy Policies for Online Social Networks. TIME (2016)
Raúl Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider
An Automata-Based Approach to Evolving Privacy Policies for Social Networks. RV (2016)
Gordon J. Pace, Raúl Pardo, Gerardo Schneider
On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks. ISoLA (2) (2016)
Raúl Pardo, Gerardo Schneider
A Formal Privacy Policy Framework for Social Networks. SEFM (2014)
Raúl Pardo, Fernando L. Pelayo, Pedro Valero-Lara
GPU Powered ROSA Analyzer. ICPP (2013)
Raúl Pardo, Fernando L. Pelayo
Computational analysis of Canny & Binary Fuzzy Rough Set model based on Triangle Modulus Edge Detectors. ICCI*CC (2012)
Raúl Pardo, Fernando L. Pelayo
ROSA Analyser: An automatized approach to analyse processes of ROSA WS-FMDS (2012)