Sumários
Corridas
17 Novembro 2020, 16:30 • Nuno Fuentecilla Maia Ferreira Neves
Corridas e atomicidade; TOCTOU; Ficheiros temporários; Concorrência e funções reentrantes; Rotinas de tratamento de sinais; Servlets
Análise Estática - Hands On
10 Novembro 2020, 18:30 • Nuno Fuentecilla Maia Ferreira Neves
Realização do guião do trabalho com experiências com ferramentas de análise estática. Apresentação e discussão de artigos relacionados com a segurança de software.
Análise Estática de Código
10 Novembro 2020, 16:30 • Nuno Fuentecilla Maia Ferreira Neves
Análise estática de código; Métodos básicos; Análise semântica; Verificação de tipos; Análise de controlo de fluxo; Análise de fluxo de dados; Ferramenta WAP; Análise simbólica
Fuzzers - Hands On
3 Novembro 2020, 18:30 • Nuno Fuentecilla Maia Ferreira Neves
Realização do guião do trabalho com experiências com ferramentas de fuzzing. Apresentação e discussão de artigos relacionados com a segurança de software.
Teste de Software, Fuzzing e Injecção de Ataques
3 Novembro 2020, 16:30 • Nuno Fuentecilla Maia Ferreira Neves
Segurança vs testes funcionais tradicionais; Padrões de ataque; Metodologia para testes de segurança: fuzzers e diversos métodos disponíveis; formas de injecção de ataques; scanners de vulnerabilidades; proxies