Contact
Teaching
 |
 |
|
| Seminar Security and Verification SS20 | ||
 |
 |
| News | Content | Grading | Time schedule | Material |
Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
Content
In an increasingly, connected and digital world, the security of systems is crucial.Attacks on systems in areas like (automated) transportation, power generation and medicine may endanger human lives.
However, while formal methods and verification for safety-critical systems has a long-standing tradition, the verification and formal analysis of the security is a comparatively new field of research.
In this seminar, we consider various approaches to the formal analysis of attacks, protocols and apps.
Requirements
- Discrete Structures
- Introduction to Theoretical Computer Science