Selected Topics in Formal Methods for Security Swen Jacobs

News

Timetable and additional documents

Dear students,

the dates of paper presentations (together with paper titles) are now available under Information -> Timetable.

I have also added the template for the final report, as well as scoresheets for report and presentation, under Information -> Materials. Please use the template and take the scoresheets into consideration when preparing your presentation and report.