Víctor García Valero y Enrique Gallifa Tronch han comenzado a trabajar con el equipo de desarrollo de la herramienta de análisis de protocolos criptográficos Maude-NPA
Más de 160 estudiantes han asistido al “Cybersecurity Startup Forum” que ha contado con expertos que analizaron los desafíos y oportunidades en Ciberseguridad
La publicación científica aborda las áreas de lenguajes, modelos y paradigmas de programación, especificación, análisis y verificación de propiedades de seguridad de los programas y sistemas ciber-físicos
El primer estudio del proyecto se presentará del 14 al 16 de agosto en la USENIX Security Symposium en Philadelphia (EE.UU), una de las conferencias internacionales más importantes en esta materia