| Date | Topic | Slides | Notes | |
| 27.05.13 | Introduction | |||
| 28.05.13 | Cryptographic Mechanisms and Algorithms | |||
| 28.05.13 | Public-Key Infrastructures | |||
| 28.05.13 | Network Security and Internet Protocols | |||
| 29.05.13 | Security Protocol Analysis | |||
| 29.05.13 | Formal Methods or the Security of the Internet of Services | pptx | ||
| 29.05.13 | SSO | |||
| 30.05.13 | AVANTSSAR | |||
| 30.05.13 | AVANTSSAR documents | zip | ||
| 30.05.13 | AVANTSSAR specifications | zip | ||
| 31.05.13 | Security of Web Applications | ppt | ||
| 31.05.13 | Cross-Site-Scripting |