Discussões dos Projectos

10 dezembro 2019, 08:00 • Ana Almeida Matos

Discussões dos Projectos

Discussões dos Projectos

9 dezembro 2019, 11:00 • Ana Almeida Matos

Discussões dos Projectos

Apresentações dos Projectos

9 dezembro 2019, 09:30 • Ana Almeida Matos

Apresentações dos Projectos

Auditing software

6 dezembro 2019, 11:00 • Miguel Nuno Dias Alves Pupo Correia

• Auditing software - goal: risk management
• Attack/threat modeling – mostly for design vulnerabilities
• Code review – coding and design vulnerabilities

Dynamic analysis of high-level languages

6 dezembro 2019, 09:30 • Ana Almeida Matos

Exercises on Dynamic analysis of high-level languages:  Small Step Semantics. Lock-step monitor