| A formal privacy policy framework for social networks R Pardo, G Schneider International Conference on Software Engineering and Formal Methods, 378-392, 2014 | 37 | 2014 |
| 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 | 11 | 2019 |
| Analysis of Privacy Policies to Enhance Informed Consent (Extended Version) R Pardo, D Le Métayer arXiv preprint arXiv:1903.06068, 2019 | 11* | 2019 |
| Formalising Privacy Policies in Social Networks R Pardo, M Balliu, G Schneider Journal of Logical and Algebraic Methods in Programming, 2017 | 11 | 2017 |
| 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 | 9 | 2019 |
| 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 | 7 | 2016 |
| 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 | 6 | 2016 |
| 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 | 4 | 2018 |
| Model checking social network models R Pardo, G Schneider International Symposium on Games, Automata, Logics, and Formal Verification …, 2017 | 4 | 2017 |
| Secure photo sharing in social networks P Picazo-Sanchez, R Pardo, G Schneider IFIP International Conference on ICT Systems Security and Privacy Protection …, 2017 | 4 | 2017 |
| SoK: Three Facets of Privacy Policies V Morel, R Pardo Proceedings of the 19th Workshop on Privacy in the Electronic Society, 41-56, 2020 | 3* | 2020 |
| 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 | 3 | 2017 |
| Timed epistemic knowledge bases for social networks R Pardo, C Sánchez, G Schneider International Symposium on Formal Methods, 185-202, 2018 | 2 | 2018 |
| Timed Epistemic Knowledge Bases for Social Networks (Extended Version) R Pardo, C Sánchez, G Schneider arXiv preprint arXiv:1708.04070, 2017 | 2 | 2017 |
| 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 | 2 | 2016 |
| ROSA Analyser: An automatized approach to analyse processes of ROSA R Pardo, FL Pelayo arXiv preprint arXiv:1207.2736, 2012 | 2 | 2012 |
| 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 | 1 | 2020 |
| Privug: Quantifying Leakage using Probabilistic Programming for Privacy Risk Analysis R Pardo, W Rafnsson, C Probst, A Wąsowski arXiv preprint arXiv:2011.08742, 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 |
Gerardo SchneiderProfessor of Computer Science, University of GothenburgE-mail confirmado em cse.gu.se
