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, Gerardo Schneider
IFIP Advances in Information and Communication Technology. Vol. 502, p. 79-92
Paper in proceedings
2017

Privacy Policies for Social Networks - A Formal Approach

Raul Pardo Jimenez
Doctoral thesis
2017

Formalising privacy policies in social networks

Raul Pardo Jimenez, Musard Balliu, Gerardo Schneider
Journal of Logical and Algebraic Methods in Programming. Vol. 90, p. 125-157
Journal article
2017

Model checking social network models

Raul Pardo Jimenez, Gerardo Schneider
8th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September 2017. Vol. 256, p. 238-252
Paper in proceedings
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
Paper in proceedings
2016

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

Gordon J. Pace, Raul Pardo Jimenez, Gerardo Schneider
Lecture Notes in Computer Science. Vol. 9953, p. 407-412
Paper in proceedings
2016

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

Raul Pardo Jimenez, C. Colombo, Gordon J. Pace et al
Lecture Notes in Computer Science. Vol. 10012, p. 285-301
Paper in proceedings
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
Lecture Notes in Computer Science. Vol. 8702, p. 378-392
Paper in proceedings
2013

GPU powered ROSA analyzer

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