Summer Semester 2018
| Number | Lecture | Exercise | Remarks |
|---|---|---|---|
| 1 | Introduction | Introduction | |
| 2 |
Link to online exercise: |
||
| 3 | Fuzzing | Fuzzing | Dockerfile for CharybdeFS |
| 4 | Symbolic execution | Klee demo | |
| 5 | Bugs as Deviant Behavior | Bugs as Deviant Behaviour | |
| 6 | Dynamic Taint Analysis | Taint Analysis | |
| 7 | SFT Mechanisms I | SFT Mechanisms I | Mechanisms demo |
| 8 | SFT Mechanisms II | SFT Mechanisms II | |
| 9 | Microservices | Microservices | |
| 10 | Antipatterns | Antipatterns | |
| 11 | RX | Dealing with software faults at runtime |
Required reading:RX - Treating Bugs As Alergies |
| 12 | Cloud FT/Boundless/DieHard/Exterminator |