Information Flow Challenge

15 novembro 2019, 11:00 • Ana Almeida Matos

Type systems for noninterference. Exploiting limitations of type systems.

Semantics and Security Properties

15 novembro 2019, 09:30 • Ana Almeida Matos

Formal semantics.

Semantic Properties.

Static analysis of high-level languages

14 novembro 2019, 15:30 • Ana Almeida Matos

Type Systems for Information Flow.

Static analysis of high-level languages

14 novembro 2019, 11:00 • Ana Almeida Matos

Steps for Information flow analysis: Noninterference.
Type systems for noninterference.

Information Flow Challenge

12 novembro 2019, 11:00 • Ana Almeida Matos

Type systems for noninterference. Exploiting limitations of type systems.