Almudena Alcaide

Lorena González-Manzano

Álvaro Galán

IET Inf. Secur., 2016

2013

Anonymous authentication for privacy-preserving IoT target-driven applications.

[BibT_eX]

[DOI]

José Montero-Castillo

Comput. Secur., 2013

Privacy-preserving and accountable on-the-road prosecution of invalid vehicular mandatory authorizations.

[BibT_eX]

[DOI]

José María de Fuentes

José Montero-Castillo

Ad Hoc Networks, 2013

Coalitional games for the management of anonymous access in online social networks.

[BibT_eX]

[DOI]

Proceedings of the Eleventh Annual International Conference on Privacy, Security and Trust, 2013

2012

The Peer's Dilemma: A general framework to examine cooperation in pure peer-to-peer systems.

[BibT_eX]

[DOI]

Comput. Networks, 2012

2011

Privacy-enhancing Cryptography-based Materials.

[BibT_eX]

Proceedings of the SECRYPT 2011 - Proceedings of the International Conference on Security and Cryptography, Seville, Spain, 18, 2011

POSTER Towards a Privacy - Respectful Telematic Verification System for Vehicle and Driver Authorizations.

[BibT_eX]

[DOI]

Guillermo Suarez-Tangil

José María de Fuentes

Israel Barroso-Perez

Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2011

2010

A Strong Authentication Protocol Based on Portable One-Time Dynamic URLs.

[BibT_eX]

[DOI]

Elena Castro Galán

Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence, 2010

Formal Proof of Cooperativeness in a Multi-Party P2P Content Authentication Protocol.

[BibT_eX]

[DOI]

Proceedings of the Trust, 2010

A multi-agent scanner to detect stored-XSS vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference for Internet Technology and Secured Transactions, 2010

A Simple Mechanism to Maintain Peer's Cooperativeness: The Peer's RPS Dilemma.

[BibT_eX]

Proceedings of the 2010 International Conference on Internet Computing, 2010

L-PEP: A Logic to Reason about Privacy-Enhancing Cryptography Protocols.

[BibT_eX]

[DOI]

Ali E. Abdallah

José María de Fuentes

Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2010

2008

On the Distinguishability of Distance-Bounded Permutations in Ordered Channels.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2008

Cryptanalysis of Syverson's Rational Exchange Protocol.

[BibT_eX]

[DOI]

Int. J. Netw. Secur., 2008

Bayesian rational exchange.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2008

Cryptanalysis of the RSA-CEGD protocol

[BibT_eX]

[DOI]

CoRR, 2008

Nature-Inspired Synthesis of Rational Protocols.

[BibT_eX]

[DOI]

Proceedings of the Parallel Problem Solving from Nature, 2008

2007

Bayesian Analysis of Secure P2P Sharing Protocols.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

A Multi-party Rational Exchange Protocol.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007

Towards Automated Design of Multi-party Rational Exchange Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2007

2006

An Extended Model of Rational Exchange Based on Dynamic Games of Imperfect Information.

[BibT_eX]

[DOI]

Proceedings of the Emerging Trends in Information and Communication Security, 2006

2005

Unfairness of a protocol for certified delivery.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2005

Secure Electronic Payments in Heterogeneous Networking: New Authentication Protocols Approach.

[BibT_eX]

[DOI]

Joaquín Torres Márquez

Antonio Izquierdo

Proceedings of the Computational Science and Its Applications, 2005

A Formal Analysis of Fairness and Non-repudiation in the RSA-CEGD Protocol.

[BibT_eX]

[DOI]

Antonio Izquierdo

José María Sierra

Proceedings of the Computational Science and Its Applications, 2005

2004

Validating the Use of BAN LOGIC.

[BibT_eX]

[DOI]

José María Sierra