About me

I am a Postdoctoral researcher in the SQUARE group at the IT University of Copenhagen hosted by Andrzej Wąsowski. In the past, I was a Postdoctoral researcher in the Privatics team at Inria hosted by Daniel Le Métayer. I have a PhD degree in Computer Science from Chalmers University of Technology. During my PhD studies I was part of the Formal Methods Division at the Department of Computer Science and Engineering. I was supervised by Gerardo Schneider.

Research interest

My research is focused on developing rigorous techniques to design, analyse and build software to protect online privacy. My interests lie at the intersection of formal methods, online privacy and computer security. Currently, I am working in the following topics:

Formal models for privacy
Privacy risk analysis
Probabilistic programming
Bayesian data analysis

Publications

WPES'20

SoK: Three Facets of Privacy Policies
Victor Morel and Raúl Pardo. In 19th ACM Workshop on Privacy in the Electronic Society, 2020.
[ bib | .pdf | Abstract ]
JLAMP'20

A Collaborative Access Control Framework for Online Social Networks
Hanaa Alshareef, Raúl Pardo, Gerardo Schneider and Pablo Picazo-Sanchez. In Journal of Logical and Algebraic Methods in Programming, 2020.
[ bib | .pdf | Abstract ]
DBSec'19

Analysis of Privacy Policies to Enhance Informed Consent
Raúl Pardo and Daniel Le Métayer. In 33rd Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy, 2019.
[ bib | .pdf | Abstract | Extended Version ]
FSEN'19

Verification of Smart Contract Business Logic: Exploiting a Java Source Code Verifier
Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul and Gerardo Schneider. In 8th IPM International Conference on Fundamentals of Software Engineering, 2019.
[ bib | .pdf | Abstract ]
FM'18

Timed Epistemic Knowledge Bases for Social Networks
Raúl Pardo, César Sánchez and Gerardo Schneider. In 22nd International Symposium on Formal Methods, 2018.
[ bib | .pdf | Abstract | Slides ]
IRC'18

MoVEMo: A Structured Approach for Engineering Reward Functions
Piergiuseppe Mallozzi, Raúl Pardo, Vincent Duplessis, Patrizio Pelliccione and Gerardo Schneider. In 2nd IEEE International Conference on Robotic Computing, 2018.
[ bib | .pdf | Abstract ]
GandALF'17

Model Checking Social Network Models
Raúl Pardo and Gerardo Schneider. In 8th International Symposium on Games, Automata, Logics, and Formal Verification, 2017.
[ bib | .pdf | Abstract ]
IFIP SEC'17

Secure Photo Sharing in Social Networks
Pablo Picazo-Sanchez, Raúl Pardo and Gerardo Schneider. In 32nd International Conference on ICT Systems Security and Privacy Protection, 2017.
[ bib | .pdf | Abstract ]
JLAMP'17

Formalising Privacy Policies in Social Networks
Raúl Pardo, Musard Balliu and Gerardo Schneider. In Journal of Logical and Algebraic Methods in Programming, 2017.
[ bib | .pdf | Abstract ]
TIME'16

Specification of Evolving Privacy Policies for Online Social Networks
Raúl Pardo, Ivana Kellyérová, César Sánchez and Gerardo Schneider. In 23rd International Symposium on Temporal Representation and Reasoning, 2016.
[ bib | .pdf | Abstract ]
RV'16

An Automata-based Approach to Evolving Privacy Policies for Social Networks
Raúl Pardo, Christian Colombo, Gordon J. Pace and Gerardo Schneider. In 16th International Conference on Runtime Verification, 2016.
[ bib | .pdf | Abstract ]
ISoLA'16

On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks
Gordon J. Pace, Raúl Pardo and Gerardo Schneider. In 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2016.
[ bib | .pdf | Abstract ]
SEFM'14

A Formal Privacy Policy Framework for Social Networks
Raúl Pardo and Gerardo Schneider. In 12th International Conference on Software Engineering and Formal Methods, 2014.
[ bib | .pdf | Abstract ]
HUCAA'13

GPU Powered ROSA Analyzer
Raúl Pardo, Fernando L. Pelayo and Pedro Valero-Lara. In 2nd Workshop on Heterogeneous and Unconventional Cluster Architectures and Applications, 2013.
[ bib | .pdf | Abstract ]
ICCI*CC'13

Computational Analysis of Canny & Binary Fuzzy Rough Set Model Based on Triangle Modulus Edge Detector
Raúl Pardo and Fernando L. Pelayo. In 11th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2012.
[ bib | .pdf | Abstract ]
WS-FMDS'12

ROSA Analyser: An automatized approach to analyse processes of ROSA
Raúl Pardo and Fernando L. Pelayo. In 2nd Workshop on Formal Methods in the Development of Software, 2012.
[ bib | .pdf | Abstract ]

Teaching

Master thesis supervision

Current

Mathias Oliver Valdbjørn Jørgensen. Automatic Attacker Generation for Probabilistic Privacy Risk Analysis. IT University of Copenhagen.

Past

Valon Huskaj and Arbnor Viljali. Dynamic Privacy Policies with Multiple Contexts. Chalmers University of Technology, 2020.
Mushfiqur Rahman. A Petri Nets Semantics for Privacy-Aware Data Flow Diagrams. University of Gothenburg, 2017.
Ivana Kellyérová. A Real-Time Extension of the Formal Privacy Policy Framework. University of Gothenburg, 2016.

Courses

IT University of Copenhagen

Practical Concurrent and Parallel Programming: 2021. Course Responsible.
Probabilistic Programming: 2019, 2020. Lecturer.
Applied Information Security: 2019, 2020. Lecturer.

INSA Lyon

Middleware Design and Implementation (IST-4-MID): 2018. Course Responsible.

Université Grenoble Alpes

Advanced Security: 2018. Lecturer.

Chalmers University of Technology

During my PhD studies I was Teaching Assistant (TA) for the following courses:

Formal Methods for Software Development: 2017, 2016, 2015.
Principles of Concurrent Programming: 2017 LP1, 2016 LP3, 2016 LP1, 2015 LP3, 2015 LP1, 2014 LP3, 2014 LP1, 2013 LP3, 2013 LP1.
Databases: 2014, 2013.

Raúl Pardo

About me

Research interest

Publications

Theses

PhD thesis

Licentiate thesis

Activities

PC Member

External Reviewer