Almudena Alcaide
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2004–2013
Best venue rank
C
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | PST | Coalitional games for the management of anonymous access in online social networks. | Esther Palomar, Almudena Alcaide, Elisenda Molina, Yan Zhang |
| 2011 | Mobiquitous | POSTER Towards a Privacy - Respectful Telematic Verification System for Vehicle and Driver Authorizations. | Ana Isabel Gonzlez-Tablas Ferreres, Almudena Alcaide, Guillermo Suarez-Tangil, Jos Mara de Fuentes, Israel Barroso-Perez |
| 2011 | SECRYPT | Privacy-enhancing Cryptography-based Materials. | Almudena Alcaide, Esther Palomar, Israel Barroso-Perez, Ali E. Abdallah |
| 2010 | ESORICS | L-PEP: A Logic to Reason about Privacy-Enhancing Cryptography Protocols. | Almudena Alcaide, Ali E. Abdallah, Ana Isabel Gonzlez-Tablas Ferreres, Jos Mara de Fuentes |
| 2010 | TrustBus | Formal Proof of Cooperativeness in a Multi-Party P2P Content Authentication Protocol. | Almudena Alcaide, Esther Palomar, Ana Isabel Gonzlez-Tablas Ferreres, Arturo Ribagorda |
| 2008 | PPSN | Nature-Inspired Synthesis of Rational Protocols. | Almudena Alcaide, Juan M. Estvez-Tapiador, Julio Csar Hernndez Castro, Arturo Ribagorda |
| 2005 | ICCSA | A Formal Analysis of Fairness and Non-repudiation in the RSA-CEGD Protocol. | Almudena Alcaide, Juan M. Estvez-Tapiador, Antonio Izquierdo, Jos Mara Sierra |
| 2005 | ICCSA | Secure Electronic Payments in Heterogeneous Networking: New Authentication Protocols Approach. | Joaqun Torres Mrquez, Antonio Izquierdo, Arturo Ribagorda, Almudena Alcaide |
| 2004 | ICCSA | Validating the Use of BAN LOGIC. | Jos Mara Sierra, Julio Csar Hernndez Castro, Almudena Alcaide, Joaqun Torres Mrquez |