 | 2011 |
| 19 |  | Ana Isabel González-Tablas Ferreres,
Almudena Alcaide,
Guillermo Suarez-Tangil,
José María de Fuentes,
Israel Barroso-Perez:
POSTER Towards a Privacy - Respectful Telematic Verification System for Vehicle and Driver Authorizations.
MobiQuitous 2011: 224-227 |
| 18 |  | Almudena Alcaide,
Esther Palomar,
Israel Barroso-Perez,
Ali E. Abdallah:
Privacy-enhancing Cryptography-based Materials.
SECRYPT 2011: 379-382 |
| 2010 |
| 17 |  | Almudena Alcaide,
Ali E. Abdallah,
Ana Isabel González-Tablas Ferreres,
José María de Fuentes:
L-PEP: A Logic to Reason about Privacy-Enhancing Cryptography Protocols.
DPM/SETOP 2010: 108-122 |
| 16 |  | Esther Palomar,
Almudena Alcaide,
Ana Isabel González-Tablas Ferreres,
Arturo Ribagorda:
A Simple Mechanism to Maintain Peer's Cooperativeness: The Peer's RPS Dilemma.
International Conference on Internet Computing 2010: 37-43 |
| 15 |  | Almudena Alcaide,
Esther Palomar,
Ana Isabel González-Tablas Ferreres,
Arturo Ribagorda:
Formal Proof of Cooperativeness in a Multi-Party P2P Content Authentication Protocol.
TrustBus 2010: 141-152 |
| 14 |  | Elena Castro Galán,
Julio César Hernández Castro,
Almudena Alcaide,
Arturo Ribagorda:
A Strong Authentication Protocol Based on Portable One-Time Dynamic URLs.
Web Intelligence 2010: 682-685 |
| 2008 |
| 13 |  | Almudena Alcaide,
Juan M. Estévez-Tapiador,
Julio César Hernández Castro,
Arturo Ribagorda:
Nature-Inspired Synthesis of Rational Protocols.
PPSN 2008: 981-990 |
| 12 |  | Juan M. Estévez-Tapiador,
Almudena Alcaide,
Julio César Hernández Castro,
Arturo Ribagorda:
Cryptanalysis of the RSA-CEGD protocol
CoRR abs/0812.0686: (2008) |
| 11 |  | Almudena Alcaide,
Juan M. Estévez-Tapiador,
Julio César Hernández Castro,
Arturo Ribagorda:
Cryptanalysis of Syverson's Rational Exchange Protocol.
I. J. Network Security 7(2): 151-156 (2008) |
| 10 |  | Juan M. Estévez-Tapiador,
Julio César Hernández Castro,
Almudena Alcaide,
Arturo Ribagorda:
On the Distinguishability of Distance-Bounded Permutations in Ordered Channels.
IEEE Transactions on Information Forensics and Security 3(2): 166-172 (2008) |
| 9 |  | Juan M. Estévez-Tapiador,
Almudena Alcaide,
Julio César Hernández Castro,
Arturo Ribagorda:
Bayesian rational exchange.
Int. J. Inf. Sec. 7(1): 85-100 (2008) |
| 2007 |
| 8 |  | Esther Palomar,
Almudena Alcaide,
Juan M. Estévez-Tapiador,
Julio César Hernández Castro:
Bayesian Analysis of Secure P2P Sharing Protocols.
OTM Conferences (2) 2007: 1701-1717 |
| 7 |  | Almudena Alcaide,
Juan M. Estévez-Tapiador,
Julio César Hernández Castro,
Arturo Ribagorda:
A Multi-party Rational Exchange Protocol.
OTM Workshops (1) 2007: 42-43 |
| 6 |  | Almudena Alcaide,
Juan M. Estévez-Tapiador,
Julio César Hernández Castro,
Arturo Ribagorda:
Towards Automated Design of Multi-party Rational Exchange Security Protocols.
Web Intelligence/IAT Workshops 2007: 387-390 |
| 2006 |
| 5 |  | Almudena Alcaide,
Juan M. Estévez-Tapiador,
Julio César Hernández Castro,
Arturo Ribagorda:
An Extended Model of Rational Exchange Based on Dynamic Games of Imperfect Information.
ETRICS 2006: 396-408 |
| 2005 |
| 4 |  | Joaquín Torres Márquez,
Antonio Izquierdo,
Arturo Ribagorda,
Almudena Alcaide:
Secure Electronic Payments in Heterogeneous Networking: New Authentication Protocols Approach.
ICCSA (3) 2005: 729-738 |
| 3 |  | Almudena Alcaide,
Juan M. Estévez-Tapiador,
Antonio Izquierdo,
José María Sierra:
A Formal Analysis of Fairness and Non-repudiation in the RSA-CEGD Protocol.
ICCSA (4) 2005: 1309-1318 |
| 2 |  | Juan M. Estévez-Tapiador,
Almudena Alcaide:
Unfairness of a protocol for certified delivery.
IACR Cryptology ePrint Archive 2005: 40 (2005) |
| 2004 |
| 1 |  | José María Sierra,
Julio César Hernández Castro,
Almudena Alcaide,
Joaquín Torres Márquez:
Validating the Use of BAN LOGIC.
ICCSA (1) 2004: 851-858 |