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 | 43 | 2019 |
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 | 42 | 2019 |
A formal privacy policy framework for social networks R Pardo, G Schneider Software Engineering and Formal Methods: 12th International Conference, SEFM …, 2014 | 42 | 2014 |
SoK: Three facets of privacy policies V Morel, R Pardo Proceedings of the 19th Workshop on Privacy in the Electronic Society, 41-56, 2020 | 38* | 2020 |
Formalising Privacy Policies in Social Networks R Pardo, M Balliu, G Schneider Journal of Logical and Algebraic Methods in Programming, 2017 | 17 | 2017 |
Model checking social network models R Pardo, G Schneider International Symposium on Games, Automata, Logics, and Formal Verification …, 2017 | 13 | 2017 |
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 | 13 | 2016 |
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 | 12* | 2021 |
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 | 12 | 2018 |
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 | 9 | 2020 |
Timed epistemic knowledge bases for social networks R Pardo, C Sánchez, G Schneider International symposium on formal methods, 185-202, 2018 | 8* | 2018 |
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 | 8 | 2017 |
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 | 8 | 2016 |
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 | 7* | 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 | 5 | 2021 |
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 | 5 | 2016 |
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 | 4 | 2017 |
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 | 2 | 2023 |
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 | 2 | 2022 |
How attacker knowledge affects privacy risks: an analysis using probabilistic programming L Halvorsen, SL Steffensen, W Rafnsson, O Kulyk, R Pardo Proceedings of the 2022 ACM on international workshop on security and …, 2022 | 2 | 2022 |