Security Engineering

Overview

Lecturer: 
Prof. David Basin

Assistants: 
Srdan Krstic, Lara Schmid

Lectures: 
Wed 10-12h, CAB G51

Exercises: 
Wed 15-17h, CAB G59

Credits: 5 ECTS (2V + 2U)

Language: English

Announcements

• The exam review sessions will be on Tuesday, 20th February, 13.00-14.30 and Wednesday, 21th February, 10.00-11.30 in the room CNB F110.
• We have updated the GUI model file course_ta.gtm (specifically lines 29, 53, and 85) in order to avoid underconstraining the security model. You can download the new version of the file on the course moodle page (in the Project -- Part II).
• Project description updated: based on some of your questions, we have further clarified some points. 
• Project description updated: a minor correction has been done in Section 1.3 (indicated in red) to make the description consistent with the GUI Model that you have.
  
• Project: The project description has been announced (see this week's Additional material column). Link for submissions: Moodle 
• Exam: The exam will take place on December 20th, 15.15-17.15 in room ML D 28
• We will grant access to the Fortify tool to those students who hand in a NDA. You can fill in a copy that we will provide in the next exercise session or print out the protected pageNDAlock yourself and bring it to us. Note that we need the original NDA and not a scanned copy.