Validating the Use of BAN LOGIC. - José María Sierra; Julio César Hernández Castro; Almudena Alcaide; Joaquín Torres Márquez (ICCSA (1), 2004)

A Formal Analysis of Fairness and Non-repudiation in the RSA-CEGD Protocol. - Almudena Alcaide; Juan M. Estévez-Tapiador; Antonio Izquierdo; José María Sierra (ICCSA (4), 2005)

Secure Electronic Payments in Heterogeneous Networking: New Authentication Protocols Approach. - Joaquín Torres Márquez; Antonio Izquierdo; Arturo Ribagorda; Almudena Alcaide (ICCSA (3), 2005)

Unfairness of a protocol for certified delivery. - Juan M. Estévez-Tapiador; Almudena Alcaide (IACR Cryptol. ePrint Arch., 2005)

An Extended Model of Rational Exchange Based on Dynamic Games of Imperfect Information. - Almudena Alcaide; Juan M. Estévez-Tapiador; Julio César Hernández Castro; Arturo Ribagorda (ETRICS, 2006)

Towards Automated Design of Multi-party Rational Exchange Security Protocols. - Almudena Alcaide; Juan M. Estévez-Tapiador; Julio César Hernández Castro; Arturo Ribagorda (Web Intelligence/IAT Workshops, 2007)

A Multi-party Rational Exchange Protocol. - Almudena Alcaide; Juan M. Estévez-Tapiador; Julio César Hernández Castro; Arturo Ribagorda (OTM Workshops (1), 2007)

Bayesian Analysis of Secure P2P Sharing Protocols. - Esther Palomar; Almudena Alcaide; Juan M. Estévez-Tapiador; Julio César Hernández Castro (OTM Conferences (2), 2007)

Nature-Inspired Synthesis of Rational Protocols. - Almudena Alcaide; Juan M. Estévez-Tapiador; Julio César Hernández Castro; Arturo Ribagorda (PPSN, 2008)

Cryptanalysis of the RSA-CEGD protocol - Juan M. Estévez-Tapiador; Almudena Alcaide; Julio César Hernández Castro; Arturo Ribagorda (CoRR, 2008)

Bayesian rational exchange. - Juan M. Estévez-Tapiador; Almudena Alcaide; Julio César Hernández Castro; Arturo Ribagorda (Int. J. Inf. Sec., 2008)

Cryptanalysis of Syverson's Rational Exchange Protocol. - Almudena Alcaide; Juan M. Estévez-Tapiador; Julio César Hernández Castro; Arturo Ribagorda (Int. J. Netw. Secur., 2008)

On the Distinguishability of Distance-Bounded Permutations in Ordered Channels. - Juan M. Estévez-Tapiador; Julio César Hernández Castro; Almudena Alcaide; Arturo Ribagorda (IEEE Trans. Inf. Forensics Secur., 2008)

L-PEP: A Logic to Reason about Privacy-Enhancing Cryptography Protocols. - Almudena Alcaide; Ali E. Abdallah; Ana Isabel González-Tablas Ferreres; José María de Fuentes (DPM/SETOP, 2010)

A Simple Mechanism to Maintain Peer's Cooperativeness: The Peer's RPS Dilemma. - Esther Palomar; Almudena Alcaide; Ana Isabel González-Tablas Ferreres; Arturo Ribagorda (International Conference on Internet Computing, 2010)

A multi-agent scanner to detect stored-XSS vulnerabilities. - Elena Castro Galán; Almudena Alcaide; Agustín Orfila; Jorge Blasco Alís (ICITST, 2010)

Formal Proof of Cooperativeness in a Multi-Party P2P Content Authentication Protocol. - Almudena Alcaide; Esther Palomar; Ana Isabel González-Tablas Ferreres; Arturo Ribagorda (TrustBus, 2010)

A Strong Authentication Protocol Based on Portable One-Time Dynamic URLs. - Elena Castro Galán; Julio César Hernández Castro; Almudena Alcaide; Arturo Ribagorda (Web Intelligence, 2010)

POSTER Towards a Privacy - Respectful Telematic Verification System for Vehicle and Driver Authorizations. - Ana Isabel González-Tablas Ferreres; Almudena Alcaide; Guillermo Suarez-Tangil; José María de Fuentes; Israel Barroso-Perez (MobiQuitous, 2011)

Privacy-enhancing Cryptography-based Materials. - Almudena Alcaide; Esther Palomar; Israel Barroso-Perez; Ali E. Abdallah (SECRYPT, 2011)

The Peer's Dilemma: A general framework to examine cooperation in pure peer-to-peer systems. - Esther Palomar; Almudena Alcaide; Arturo Ribagorda; Yan Zhang 002 (Comput. Networks, 2012)

Coalitional games for the management of anonymous access in online social networks. - Esther Palomar; Almudena Alcaide; Elisenda Molina; Yan Zhang 002 (PST, 2013)

Privacy-preserving and accountable on-the-road prosecution of invalid vehicular mandatory authorizations. - Ana Isabel González-Tablas Ferreres; Almudena Alcaide; José María de Fuentes; José Montero-Castillo (Ad Hoc Networks, 2013)

Anonymous authentication for privacy-preserving IoT target-driven applications. - Almudena Alcaide; Esther Palomar; José Montero-Castillo; Arturo Ribagorda (Comput. Secur., 2013)

Implementing a privacy-enhanced attribute-based credential system for online social networks with co-ownership management. - Esther Palomar; Lorena González-Manzano; Almudena Alcaide; Álvaro Galán (IET Inf. Secur., 2016)