Follow
Raúl Pardo
Title
Cited by
Cited by
Year
Verification of smart contract business logic: exploiting a Java source code verifier
W Ahrendt, R Bubel, J Ellul, GJ Pace, R Pardo, V Rebiscoul, G Schneider
Fundamentals of Software Engineering: 8th International Conference, FSEN …, 2019
412019
A formal privacy policy framework for social networks
R Pardo, G Schneider
Software Engineering and Formal Methods: 12th International Conference, SEFM …, 2014
412014
Analysis of Privacy Policies to Enhance Informed Consent
R Pardo, D Le Métayer
33rd Annual IFIP WG 11.3 Conference on Data and Applications Security and …, 2019
372019
SoK: Three facets of privacy policies
V Morel, R Pardo
Proceedings of the 19th Workshop on Privacy in the Electronic Society, 41-56, 2020
29*2020
Formalising Privacy Policies in Social Networks
R Pardo, M Balliu, G Schneider
Journal of Logical and Algebraic Methods in Programming, 2017
152017
An automata-based approach to evolving privacy policies for social networks
R Pardo, C Colombo, GJ Pace, G Schneider
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016
122016
Model checking social network models
R Pardo, G Schneider
International Symposium on Games, Automata, Logics, and Formal Verification …, 2017
112017
MoVEMo: a structured approach for engineering reward functions
P Mallozzi, R Pardo, V Duplessis, P Pelliccione, G Schneider
2018 Second IEEE International Conference on Robotic Computing (IRC), 250-257, 2018
102018
Secure photo sharing in social networks
P Picazo-Sanchez, R Pardo, G Schneider
ICT Systems Security and Privacy Protection: 32nd IFIP TC 11 International …, 2017
82017
Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis
R Pardo, W Rafnsson, CW Probst, A Wąsowski
European Symposium on Research in Computer Security, 417-438, 2021
7*2021
A collaborative access control framework for online social networks
H Alshareef, R Pardo, G Schneider, P Picazo-Sanchez
Journal of Logical and Algebraic Methods in Programming 114, 100562, 2020
72020
Timed epistemic knowledge bases for social networks
R Pardo, C Sánchez, G Schneider
International symposium on formal methods, 185-202, 2018
7*2018
Specification of Evolving Privacy Policies for Online Social Networks
R Pardo, I Kellyérová, C Sánchez, G Schneider
Temporal Representation and Reasoning (TIME), 2016 23rd International …, 2016
72016
A specification logic for programs in the probabilistic guarded command language
R Pardo, EB Johnsen, I Schaefer, A Wąsowski
International Colloquium on Theoretical Aspects of Computing, 369-387, 2022
5*2022
Pull request governance in open source communities
A Alami, R Pardo, ML Cohn, A Wąsowski
IEEE Transactions on Software Engineering 48 (12), 4838-4856, 2021
42021
A Runtime Monitoring System to Secure Browser Extensions (Extended Abstract)
R Pardo, P Picazo-Sanchez, G Schneider, J Tapiador
Security Principles and Trust Hotspot 2017, 2017
42017
On the runtime enforcement of evolving privacy policies in online social networks
GJ Pace, R Pardo, G Schneider
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
42016
ROSA Analyser: An automatized approach to analyse processes of ROSA
R Pardo, FL Pelayo
arXiv preprint arXiv:1207.2736, 2012
22012
Exact and Efficient Bayesian Inference for Privacy Risk Quantification
RC Rønneberg, R Pardo, A Wąsowski
International Conference on Software Engineering and Formal Methods, 263-281, 2023
12023
Privacy with good taste: a case study in quantifying privacy risks in genetic scores
R Pardo, W Rafnsson, G Steinhorn, D Lavrov, T Lumley, CW Probst, ...
International workshop on data privacy management, 103-119, 2022
12022
The system can't perform the operation now. Try again later.
Articles 1–20