Sumários

Security Verification and Bug-Finding

3 fevereiro 2022, 14:00 Ana Almeida Matos

Exercises on Verification of Noninterference: Trace Properties, Self-Composition and Symbolic Execution.


Security Verification and Bug-Finding

3 fevereiro 2022, 12:30 Ana Almeida Matos

Exercises on Verification of Noninterference: Trace Properties, Self-Composition and Symbolic Execution.


Not Taught.

3 fevereiro 2022, 11:30 Miguel Nuno Dias Alves Pupo Correia

Não compareceram alunos. Foi fornecido um vídeo da aula.


Security Verification and Bug-Finding

3 fevereiro 2022, 10:30 Ana Almeida Matos

Exercises on Verification of Noninterference: Trace Properties, Self-Composition and Symbolic Execution.


VSSD Lab 6 – SQLi

2 fevereiro 2022, 17:00 João Ricardo Sares Teles de Matos

Assistance with the resolution of the lab challenges of the week, on the topic of SQL Injection.