|
Archivo Abierto Institucional de la Universidad Carlos III de Madrid >
Browsing by Author Alcaide, Almudena
Showing results 1 to 4 of 4
| Issue Date | Title | Author(s) | Type | | 2011 | L–PEP: a logic to reason about privacy–enhancing cryptography protocols | Alcaide, Almudena; Abdallah, Ali; González-Tablas, Ana Isabel; Fuentes, José María de | article; conferenceObject; bookPart |
| Nov-2010 | A multi-agent scanner to detect stored-XSS vulnerabilities | Galán, Eduardo; Alcaide, Almudena; Orfila, Agustín; Blasco, Jorge | bookPart; conferenceObject |
| 2008 | Nature-inspired synthesis of rational protocols | Alcaide, Almudena; Estévez-Tapiador, Juan M.; Hernández-Castro, Julio C.; Ribagorda, Arturo | article; conferenceObject; bookPart |
| 2011 | Towards a privacy-respectful telematic verification system for vehicle & driver authorizations | González-Tablas, Ana Isabel; Alcaide, Almudena; Suárez-Tangil, Guillermo; Fuentes, José María de; Barroso-Pérez, Israel | article; conferenceObject |
Showing results 1 to 4 of 4
|
