Demonstração da coerência do programa com os objectivos

O programa abrange metodologias de segurança para o desenvolvimento, teste e auditoria de software. Uma vez que a maioria do software precisa ser executado no contexto de um sistema operativo, também analisamos vários dos controlos de segurança atualmente implementados. Dá-se especial atenção ao estudo das classes de vulnerabilidades mais impactantes, com muitos exemplos práticos, permitindo aos alunos compreender como estas falhas se manifestam no software. Métodos automatizados para a deteção e localização de vulnerabilidades também são abordados (e.g., fuzzing e análise estática).