Raul Pardo Jimenez

Doktorand at Chalmers, Computer Science and Engineering (Chalmers), [Formella metoder]

Projects

2012–2016

Data-Driven Secure Business Intelligence (DataBIN)

David Sands Software Technology (Chalmers)
Andrei Sabelfeld Software Technology (Chalmers)
Peter Damaschke Computing Science (Chalmers)
Devdatt Dubhashi Computing Science (Chalmers)
Olof Mogren Computing Science (Chalmers)
Fredrik Johansson Computing Science (Chalmers)
Raul Pardo Jimenez Software Technology (Chalmers)
Gerardo Schneider Software Technology (Chalmers)
Hamid Ebadi Tavallaei Software Technology (Chalmers)
Swedish Foundation for Strategic Research (SSF)

There might be more projects where Raul Pardo Jimenez participates, but you have to be logged in as a Chalmers employee to see them.

Publications

2017

Secure photo sharing in social networks

P. Picazo-Sanchez, Raul Pardo Jimenez, G. Schneider et al
32nd International Conference on ICT Systems Security and Privacy Protection, (IFIP Advances in Information and Communication Technology). Vol. 502, p. 79-92
Conference paper - peer reviewed
2016

Specification of Evolving Privacy Policies for Online Social Networks

Raul Pardo Jimenez, I. Kellyerova, C. Sanchez et al
Proceedings 23rd International Symposium on Temporal Representation and Reasoning - Time 2016, p. 70-79
Conference paper - peer reviewed
2016

On the runtime enforcement of evolving privacy policies in online social networks

Gordon J. Pace, Raul Pardo Jimenez, Gerardo Schneider et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9953, p. 407-412
Conference paper - peer reviewed
2016

An automata-based approach to evolving privacy policies for social networks

Raul Pardo Jimenez, C. Colombo, G.J. Pace et al
Lecture Notes in Computer Science. 16th International Conference on Runtime Verification, RV 2016, Madrid, Spain, 23-30 September 2016. Vol. 10012, p. 285-301
Conference paper - peer reviewed
2015

Formalising Privacy Policies for Social Networks

Raul Pardo Jimenez,
Licentiate thesis
2014

A Formal Privacy Policy Framework for Social Networks

Raul Pardo Jimenez, Gerardo Schneider,
12th International Conference on Software Engineering and Formal Methods (SEFM'14), Grenoble, France. Lecture Notes in Computer Science. Vol. 8702, p. 378-392
Conference paper - peer reviewed
2013

GPU powered ROSA analyzer

Raul Pardo Jimenez, F.L. Pelayo, P.V. Lara et al
42nd Annual International Conference on Parallel Processing, ICPP 2013; Lyon; France; 1 October 2013 through 4 October 2013, p. 901-908
Conference paper - peer reviewed