Summer Semester 2019
Announcement: Starting from 10th of April, the lecture will take place in E023!
Both the dates and the order of lectures are preliminary. They may be changed during the semester.
Lectures
| Number | Date (preliminary) | Lecture |
|---|---|---|
| 1 | 03.04.19 | Introduction |
| 2 | 10.04.19 | |
| 3 | 17.04.19 | Symbolic execution |
| 4 | 24.04.19 | |
| 5 | 03.05.19 | |
| 6 | 08.05.19 | Dynamic Taint Analysis |
| 7 | 15.05.19 & 17.05.19 | SFT Mechanisms I |
| 8 | 29.05.19 | SFT Mechanisms II |
| 9 | 05.06.19 | Antipatterns |
| 10 | 26.06.19 | Microservices and ChaosMonkey |
| 11 | 03.07.19 | RX |
| 12 | 10.07.19 | RX (cont.) |
Exercises
| Number | Date (preliminary) | Exercise | Tutor | Remarks |
|---|---|---|---|---|
| 1 | 12.04.19 | Introduction | Bohdan Trach | |
| 2 | 26.04.19 | Do Le Quoc | ||
| 3 | 03.05.19 | Fuzzing | Bohdan Trach | Fuzzing scripts |
| 4 | 10.05.19 | Symbolic execution | Do Le Quoc | KLEE-demo |
| 5 | 24.05.19 | Bugs as Deviant Behaviour | Robert Krahn | |
| 6 | 31.05.19 | Taint Analysis | Do Le Quoc | |
| 7 | 07.06.19 | SFT Mechanisms I | Pamenas Kariuki | Demo |
| 8 | 21.06.19 | SFT Mechanisms II | Pamenas Kariuki | Demo |
| 9 | 28.06.19 | Microservices |
Wojciech Ozga |
|
| 10 | 05.07.19 | Antipatterns | Wojciech Ozga | |
| 11 | 12.07.19 | RX | Bohdan Trach | Read the paper |