Sumários
Lab 6 (LBS). Security Verification and Bug-Finding
10 janeiro 2025, 12:00 • Nuno Miguel da Silva Sabino
Exercises on Verification of Noninterference: Trace Properties, Self-Composition and Symbolic Execution.
Lab 6 (LBS). Security Verification and Bug-Finding
10 janeiro 2025, 12:00 • João Maria Henriques Madeira Pereira
Exercises on Verification of Noninterference: Trace Properties, Self-Composition and Symbolic Execution.
Lab 6 (LBS). Security Verification and Bug-Finding
10 janeiro 2025, 10:30 • Nuno Miguel da Silva Sabino
Exercises on Verification of Noninterference: Trace Properties, Self-Composition and Symbolic Execution.
Lab 6 (LBS). Security Verification and Bug-Finding
10 janeiro 2025, 10:30 • João Maria Henriques Madeira Pereira
Exercises on Verification of Noninterference: Trace Properties, Self-Composition and Symbolic Execution.
Lab 7 (VSSD). Format Strings
9 janeiro 2025, 17:30 • Pedro Adão
Lab 7 of https://gitlab.rnl.tecnico.ulisboa.pt/ssof2425/labs