Sumários
Finding Information Flow Bugs
28 novembro 2019, 11:00 • Ana Almeida Matos
Finding Information Flow Bugs with Symbolic Execution:
Programming Language Security
26 novembro 2019, 11:00 • Ana Almeida Matos
Case study: Java.
Secure programming language design
Dynamic analysis of high-level languages
26 novembro 2019, 09:30 • Ana Almeida Matos
Exercises on Dynamic analysis of high-level languages: Small Step Semantics. Lock-step monitor
Dynamic analysis of high-level languages
26 novembro 2019, 08:00 • Ana Almeida Matos
Exercises on Dynamic analysis of high-level languages: Small Step Semantics. Lock-step monitor
Dynamic analysis of high-level languages
25 novembro 2019, 11:00 • Ana Almeida Matos
Exercises on Dynamic analysis of high-level languages: Small Step Semantics. Lock-step monitor