Content

This course deals with a variety of advanced and current themes in the field of software security themes that are often, but not necessarily research]oriented.
The contents of this course and the matching discussed themes can (but need not) change each year, in function of:


 

• Progress in the scientific domain
• Research themes that are dealt with in the department
• Research projects that are executed in the department
• Visitors to the department, with an expertise that is not part of the current curriculum.
  The concrete teaching form will depend on the discussed themes, the discussed problems and the teacher. Often, this will occur by means of scientific literature (a number of articles).
  
  A teaching form that is often appropriate consists of:




• a small number of introductory lectures or work sessions by the teacher
• a larger number of lectures or work sessions in which one of more students present one or more articles, followed by a discussion. 
  Example themes that could be addressed in this course include:




• Secure programming languages
• Attacks and defenses for software application
• Verification of security properties of software applications
• Web application security
• Security requirements engineering
• Security architecture and design
• Security testing
• Logical methods in security
• Aspect-oiented approached to secure development
• Security countermeasures for unsafe programming languages
  Typically, several themes will be addressed, often by different teachers.