Departament: Sistemas de Comunicación y Control

Faculty: Escuela Técnica Superior de Ingeniería Informática

Area: Systems Engineering and Automation

Research group: CiberCSI Ciberseguridad, Computación y Servicios de Internet

Research group: I4Labs Investigación en Industria Conectada y Tecnologías Educativas para la Ingeniería

Email: llanos@scc.uned.es

Doctor by the Universidad de Castilla-La Mancha with the thesis Formal methods for the analysis of security protocols 2009. Supervised by Dr. Fernando Cuartero Gómez, Dr. Diego Cazorla López.