Description

The description of this lecture can be found on the SIF master webpage.

Lecture planning and notes


Lecture Date Topic Teacher Notes

18/09/2018 NO LECTURE

1
19/09/2018 Operational semantics (1/2) DD
[.pdf]
2
25/09/2018 Operational semantics (2/2)
DD
3
26/09/2018 Lambda-calculus and type systems DD

4
02/10/2018 Dataflow analysis (1/2) TJ
5 03/10/2018 Dataflow analysis (2/2) TJ
09/10/2018 LECTURE BREAK - HOMEWORK
6
10/10/2018 Points-to analysis TJ
16/10/2018 LECTURE BREAK - HOMEWORK

7 17/10/2018
Introduction to Abstract interpretation TJ

8 23/10/2018
Static information flow control DD

9
24/10/2018
Dynamic information flow control TJ



LECTURE BREAK - FALL BREAK

10
06/11/2018
Low-level security (TDB)
TJ


07/11/2018
EXAM PREPARATION


13/11/2018
NO LECTURE

11
14/11/2018
EXAM

Teachers: Thomas Jensen (TJ) and Delphine Demange (DD)