Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Seminar Security and Verification SS20

  News | Content | Grading | Time schedule | Material

Explanation

Each student will be given a topic (alongside one or two relevant papers) from the following list and prepare a presentation about it under the supervision of a member of the chair.

List of topics

See slides 10 and 11 of the the slides for the pre-course meeting