Raúl Pardo

Raúl Pardo

Royal Danish Academy of Fine Arts - København / Denmark
Others
AD Scientific Index ID: 4819713
Det Kongelige Danske Kunstakademis Skoler for Arkitektur, Design og Konservering - Arkitektskolen
person_outline Raúl Pardo's MOST POPULAR ARTICLES
1-) Analysis of Privacy Policies to Enhance Informed ConsentR Pardo, D Le Métayer33rd Annual IFIP WG 11.3 Conference on Data and Applications Security and …, 2019422019
2-) Verification of smart contract business logic: exploiting a Java source code verifierW Ahrendt, R Bubel, J Ellul, GJ Pace, R Pardo, V Rebiscoul, G SchneiderFundamentals of Software Engineering: 8th International Conference, FSEN …, 2019422019
3-) A formal privacy policy framework for social networksR Pardo, G SchneiderSoftware Engineering and Formal Methods: 12th International Conference, SEFM …, 2014422014
4-) SoK: Three facets of privacy policiesV Morel, R PardoProceedings of the 19th Workshop on Privacy in the Electronic Society, 41-56, 202037*2020
5-) Formalising Privacy Policies in Social NetworksR Pardo, M Balliu, G SchneiderJournal of Logical and Algebraic Methods in Programming, 2017172017