Programa

Sistemas de Software Seguros

Mestrado Bolonha em Segurança 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)