Courses in winter term 2018/2019

Seminar Formal Methods and Software Engineering for Security


Dealing with current research topics in the field of secure software engineering, techniques for quality assurance of security protocols, verification methods for the proof of security properties

Focus this term: Detecting exploits of security protocols with the help of model checkers

Forms of Teaching and Proportion

Seminar (2 Hours per Week), 4 ETCS, Master Modul 11896

Time and Location

Start: Monday, 22nd of October 2018, 9:15 - 10:45, room VG1c 2.24


Basic knowledge in software engineering and mathematics (logic, algebra, number theory)

Supporting Material

Since communication will be performed via the Moodle course website, please register here.