Towards Formal Specification of Abstract Security Properties. - Antonio Maña; Gimena Pujol (ARES, 2008)

Specification of Security and Dependability Properties. - Sigrid Gürgens; Gimena Pujol (Security and Dependability for Ambient Intelligence, 2009)

Verification of Security Policy of Service Oriented Systems. - Antonio Maña; Gimena Pujol (DMS, 2010)

ASSERT4SOA: Toward Security Certification of Service-Oriented Applications. - Marco Anisetti; Claudio A. Ardagna; Franco Guida; Sigrid Gürgens; Volkmar Lotz; Antonio Maña; Claudia Pandolfo; Jean-Christophe R. Pazzaglia; Gimena Pujol; George Spanoudakis (OTM Workshops, 2010)

A Distributed Secure Ontology for Certified Services Oriented Applications. - Antonio Mana; Gimena Pujol; Claudia Pandolfo (ICSC, 2011)