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)