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 [.pdf]
3
26/09/2018 Lambda-calculus and type systems DD
[.pdf]
4
02/10/2018 Dataflow analysis (1/2) TJ [.pdf]
5 03/10/2018 Dataflow analysis (Java BCV) (2/2) TJ [.pdf]
6 09/10/2018 Points-to analysis TJ [.pdf]
7
10/10/2018 Introduction to Abstract interpretation TJ [.pdf]

16/10/2018 LECTURE BREAK - HOMEWORK


17/10/2018
LECTURE BREAK - HOMEWORK

8 23/10/2018
Static information flow control DD
[.pdf]
9
24/10/2018
Dynamic information flow control TJ
[.pdf]


LECTURE BREAK - FALL BREAK

10
06/11/2018
Side-channel analysis
TJ
[.pdf]

07/11/2018
EXAM PREPARATION


13/11/2018
NO LECTURE

11
14/11/2018
EXAM

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

Exam SOS from 2017