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.