Sobre el programa de formación
Análisis de vulnerabilidades conocidas y emergentes, su sistematización, desarrollo de métodos de búsqueda inteligente de nuevas clases de vulnerabilidades. Modelado de políticas de seguridad de la información, amenazas y ataques, bases metodológicas para el desarrollo de perfiles de protección. Métodos de diseño, modelado, análisis, transformación de programas para identificar posibles vulnerabilidades en sistemas de software teniendo en cuenta la especificidad de las fases del ciclo de vida: desarrollo de requisitos, diseño de arquitectura, desarrollo de código de software, pruebas, verificación, certificación y operación. Métodos, algoritmos y medios de análisis profundo post-lanzamiento de la seguridad de software y hardware.