El objetivo de este proyecto es proporcionar herramientas, conocimientos y competencias en materia de ciberseguridad a los profesionales de estos países
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