02/08/2024
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
01/08/2024
La visita se realiza en el marco de la Cost Action 20111 Red Europea de Investigación sobre Pruebas Formales (EuroProofNet)
23/07/2024
El objetivo de este proyecto es proporcionar herramientas, conocimientos y competencias en ciberseguridad a profesores y colectivos vulnerables de la India, Nepal e Indonesia
22/07/2024
Valencia fue, con 218.083 dispositivos vulnerables, la tercera provincia española con mayor número, según el balance de ciberseguridad de 2023 de INCIBE