Raúl Pardo
Raúl Pardo
Verified email at itu.dk - Homepage
Title
Cited by
Cited by
Year
A formal privacy policy framework for social networks
R Pardo, G Schneider
International Conference on Software Engineering and Formal Methods, 378-392, 2014
362014
Formalising Privacy Policies in Social Networks
R Pardo, M Balliu, G Schneider
Journal of Logical and Algebraic Methods in Programming, 2017
102017
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
82019
Analysis of Privacy Policies to Enhance Informed Consent (Extended Version)
R Pardo, D Le Métayer
arXiv preprint arXiv:1903.06068, 2019
8*2019
Verification of smart contract business logic
W Ahrendt, R Bubel, J Ellul, GJ Pace, R Pardo, V Rebiscoul, G Schneider
International Conference on Fundamentals of Software Engineering, 228-243, 2019
72019
An automata-based approach to evolving privacy policies for social networks
R Pardo, C Colombo, GJ Pace, G Schneider
International Conference on Runtime Verification, 285-301, 2016
72016
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
62016
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
42018
Model checking social network models
R Pardo, G Schneider
International Symposium on Games, Automata, Logics, and Formal Verification …, 2017
42017
Secure photo sharing in social networks
P Picazo-Sanchez, R Pardo, G Schneider
IFIP International Conference on ICT Systems Security and Privacy Protection …, 2017
42017
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
32017
SoK: Three Facets of Privacy Policies
V Morel, R Pardo
Workshop on Privacy in the Electronic Society, 2020
2*2020
Timed epistemic knowledge bases for social networks
R Pardo, C Sánchez, G Schneider
International Symposium on Formal Methods, 185-202, 2018
22018
Timed Epistemic Knowledge Bases for Social Networks (Extended Version)
R Pardo, C Sánchez, G Schneider
arXiv preprint arXiv:1708.04070, 2017
22017
On the runtime enforcement of evolving privacy policies in online social networks
GJ Pace, R Pardo, G Schneider
International Symposium on Leveraging Applications of Formal Methods, 407-412, 2016
22016
ROSA Analyser: An automatized approach to analyse processes of ROSA
R Pardo, FL Pelayo
arXiv preprint arXiv:1207.2736, 2012
22012
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, 100562, 2020
2020
A Runtime Enforcement Mechanism for Collaborative Privacy Policies in Online Social Networks
H Alshareef, R Pardo, G Schneider
Workshop on Programming Theory, 10, 2018
2018
Privacy Policies for Social Networks: A Formal Approach
R Pardo
PQDT-Global, 2017
2017
Privacy in Evolving Social Networks (Extended Abstract)
R Pardo, G Schneider
27th Nordic Workshop on Programming Theory, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–20