| 2025 | SAT | SAT-Metropolis: Combining Markov Chain Monte Carlo with SAT/SMT Sampling. | Maja Aaslyng Dall, Ral Pardo, Thomas Lumley, Andrzej Wasowski |
| 2025 | SEFM | ProbTest: Unit Testing for Probabilistic Programs. | Katrine Christensen, Mahsa Varshosaz, Ral Pardo |
| 2024 | SEFM | Model-Checking the Implementation of Consent. | Ral Pardo, Daniel Le Mtayer |
| 2024 | VECoS | Verification and Learning for Assured Autonomy. | Ral Pardo, Devdatt P. Dubhashi, Gerardo Schneider, Hazem Torfah |
| 2023 | SEFM | Exact and Efficient Bayesian Inference for Privacy Risk Quantification. | Rasmus C. Rnneberg, Ral Pardo, Andrzej Wasowski |
| 2022 | ESORICS | Privacy with Good Taste - A Case Study in Quantifying Privacy Risks in Genetic Scores. | Ral Pardo, Willard Rafnsson, Gregor Steinhorn, Denis Lavrov, Thomas Lumley, Christian W. Probst, Ilze Ziedins, Andrzej Wasowski |
| 2022 | ICTAC | A Specification Logic for Programs in the Probabilistic Guarded Command Language. | Ral Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski |
| 2021 | ESORICS | Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis. | Ral Pardo, Willard Rafnsson, Christian W. Probst, Andrzej Wasowski |
| 2019 | DBSEC | Analysis of Privacy Policies to Enhance Informed Consent. | Ral Pardo, Daniel Le Mtayer |
| 2018 | FM | Timed Epistemic Knowledge Bases for Social Networks. | Ral Pardo, Csar Snchez, Gerardo Schneider |
| 2017 | SEC | Secure Photo Sharing in Social Networks. | Pablo Picazo-Sanchez, Ral Pardo, Gerardo Schneider |
| 2016 | ISoLA | On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks. | Gordon J. Pace, Ral Pardo, Gerardo Schneider |
| 2016 | RV | An Automata-Based Approach to Evolving Privacy Policies for Social Networks. | Ral Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider |
| 2016 | TIME | Specification of Evolving Privacy Policies for Online Social Networks. | Ral Pardo, Ivana Kellyerova, Csar Snchez, Gerardo Schneider |
| 2014 | SEFM | A Formal Privacy Policy Framework for Social Networks. | Ral Pardo, Gerardo Schneider |
| 2013 | ICPP | GPU Powered ROSA Analyzer. | Ral Pardo, Fernando L. Pelayo, Pedro Valero-Lara |