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