Courses in winter term 2018/2019
Seminar Formal Methods and Software Engineering for Security
Contents
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
Preconditions
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.