Programa
Segurança de Software
Curso de Especialização em Informática
Mestrado Bolonha em Engenharia Informática
Mestrado Bolonha em Informática
Programa
Componente Teórica - Segurança e desenvolvimento de software - Mecanismos de proteção em sistemas operativos convencionais - Estudo exaustivo de várias classes de vulnerabilidades, incluindo > Buffer overflows, format strings, integer overflows > Validação de input (SO, Web e BDs) > Condições de corrida - Testes de segurança, nomeadamente injeção de ataques e análise estática - Auditoria de segurança de software Componente Teórico-prática Aulas hands-on sobre os seguintes temas: - Buffer Overflows - Format strings - Validação de Input (Web e BDs) - Condições de Corrida - Testes de Segurança (Fuzzing e Análise Estática)