Lecture planning
The 10 first hours are common with the PAS
course.
| Lecture | Date | Topic | Teacher | Location | Notes |
|---|---|---|---|---|---|
| 1 |
03/10/2011 | Small-step operational semantics and natural semantics for a small imperative language ; equivalence of semantics | TJ |
[pdf] |
|
| 2 |
10/10/2011 | Semantics of lambda calculus; Semantics of Java byte code | TJ | [pdf] |
|
| 3 |
17/10/2011 | Type systems | TJ | [pdf] |
|
| 4 |
24/10/2011 | Data flow analysis |
TJ |
[pdf] | |
| 5 |
07/11/2011 | Constraint based analysis |
TJ |
[pdf] | |
| 6 | 14/11/2011 | Java security architecture (access control,class
loading) |
TJ | [pdf] |
|
| 7 | 21/11/2011 | Java byte code verification | TJ |
[pdf] |
|
| 8 | 28/11/2011 | Information flow analysis |
TJ |
[pdf] |
|
| 9 | 12/12/2011 | Computer virology; code obfuscation | TJ |
[pdf1][pdf2] |
|
| 10 | 19/12/2011 | Security analysis of cryptographic implementations |
Teacher : Thomas Jensen
(TJ)