Sumários
Static analysis of high-level languages
12 novembro 2019, 09:30 • Ana Almeida Matos
Type Systems for Information Flow.
Static analysis of high-level languages
12 novembro 2019, 08:00 • Ana Almeida Matos
Type Systems for Information Flow.
Static analysis of high-level languages
11 novembro 2019, 11:00 • Ana Almeida Matos
Type Systems for Information Flow.
Static analysis of high-level languages
11 novembro 2019, 09:30 • Ana Almeida Matos
Steps for Information flow analysis: Noninterference.
Type systems for noninterference.
Program Analysis for Security
8 novembro 2019, 11:00 • Ana Almeida Matos
Property vs. Enforcement mechanism.
Power and limitations of programa analysis: Precision. Timing.
Static analysis mechanisms -- an overview.
Static analysis for Information Flow.